Loris D'Antoni | DeepAI

DeepAI AI Chat

Featured Co-authors

Yuhao Zhang
55 publications
Rishabh Singh
49 publications
Justin Hsu
32 publications
Alexandra Silva
29 publications
Ryo Suzuki
28 publications
Thomas Reps
28 publications
Aws Albarghouthi
27 publications
Aditya Akella
21 publications
Aditya Nori
17 publications
Jinwoo Kim
16 publications
Subhajit Roy
14 publications

∙ 08/14/2023

Modular System Synthesis

This paper describes a way to improve the scalability of program synthes...

0 Kanghee Park, et al. ∙

∙ 04/20/2023

The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions

We introduce dataset multiplicity, a way to study how inaccuracies, unce...

0 Anna P. Meyer, et al. ∙

∙ 01/27/2023

PECAN: A Deterministic Certified Defense Against Backdoor Attacks

Neural networks are vulnerable to backdoor poisoning attacks, where the ...

0 Yuhao Zhang, et al. ∙

∙ 01/26/2023

Synthesizing Specifications

Every program should always be accompanied by a specification that descr...

0 Kanghee Park, et al. ∙

∙ 11/14/2022

Unrealizability Logic

We consider the problem of establishing that a program-synthesis problem...

0 Jinwoo Kim, et al. ∙

∙ 06/07/2022

Certifying Data-Bias Robustness in Linear Regression

Datasets typically contain inaccuracies due to human error and societal ...

0 Anna P. Meyer, et al. ∙

∙ 05/26/2022

BagFlip: A Certified Defense against Data Poisoning

Machine learning models are vulnerable to data-poisoning attacks, in whi...

0 Yuhao Zhang, et al. ∙

∙ 04/06/2022

P4BID: Information Flow Control in P4

Modern programmable network switches can implement custom applications u...

0 Karuna Grewal, et al. ∙

∙ 11/14/2021

Prognosis: Closed-Box Analysis of Network Protocol Implementations

We present Prognosis, a framework offering automated closed-box learning...

0 Tiago Ferreira, et al. ∙

∙ 10/08/2021

Certifying Robustness to Programmable Data Bias in Decision Trees

Datasets can be biased due to societal inequities, human biases, under-r...

0 Anna P. Meyer, et al. ∙

∙ 05/02/2021

Synthesizing Abstract Transformers

This paper addresses the problem of creating abstract transformers autom...

0 Pankaj Kumar Kalita, et al. ∙

∙ 03/06/2021

Synthesis with Asymptotic Resource Bounds

We present a method for synthesizing recursive functions that satisfy bo...

0 Qinheping Hu, et al. ∙

∙ 02/15/2021

Certified Robustness to Programmable Transformations in LSTMs

Deep neural networks for natural language processing are fragile in the ...

0 Yuhao Zhang, et al. ∙

∙ 08/22/2020

Semantics-Guided Synthesis

This paper develops a new framework for program synthesis, called semant...

0 Jinwoo Kim, et al. ∙

∙ 04/02/2020

Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems

We consider the problem of automatically establishing that a given synta...

0 Qinheping Hu, et al. ∙

∙ 02/22/2020

Robustness to Programmable String Transformations via Augmented Abstract Training

Deep neural networks for natural language processing tasks are vulnerabl...

0 Yuhao Zhang, et al. ∙

∙ 12/05/2019

D2R: Dataplane-Only Policy-Compliant Routing Under Failures

In networks today, the data plane handles forwarding—sending a packet to...

0 Kausik Subramanian, et al. ∙

∙ 12/02/2019

Proving Data-Poisoning Robustness in Decision Trees

Machine learning models are brittle, and small changes in the training d...

0 Samuel Drews, et al. ∙

∙ 05/20/2019

Efficient Synthesis with Probabilistic Constraints

We consider the problem of synthesizing a program given a probabilistic ...

0 Samuel Drews, et al. ∙

∙ 05/14/2019

Proving Unrealizability for Syntax-Guided Synthesis

Proving Unrealizability for Syntax-Guided Synthesis We consider the pr...

0 Qinheping Hu, et al. ∙

∙ 03/20/2018

Program Repair via Direct State Manipulation

The goal of program repair is to automatically fix programs to meet a sp...

0 Qinheping Hu, et al. ∙

∙ 03/10/2018

Learning Quick Fixes from Code Repositories

Code analyzers such as ErrorProne and FindBugs detect code patterns symp...

0 Reudismam Rolim, et al. ∙

∙ 08/12/2017

TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences

Recent advances in program synthesis offer means to automatically debug ...

0 Ryo Suzuki, et al. ∙

∙ 02/17/2017

Quantifying Program Bias

With the range and sensitivity of algorithmic decisions expanding at a b...

0 Aws Albarghouthi, et al. ∙

∙ 10/19/2016

Fairness as a Program Property

We explore the following question: Is a decision-making program fair, fo...

0 Aws Albarghouthi, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world