research
∙
08/14/2023
Modular System Synthesis
This paper describes a way to improve the scalability of program synthes...
share
research
∙
04/20/2023
The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions
We introduce dataset multiplicity, a way to study how inaccuracies, unce...
research
∙
01/27/2023
PECAN: A Deterministic Certified Defense Against Backdoor Attacks
Neural networks are vulnerable to backdoor poisoning attacks, where the ...
research
∙
01/26/2023
Synthesizing Specifications
Every program should always be accompanied by a specification that descr...
research
∙
11/14/2022
Unrealizability Logic
We consider the problem of establishing that a program-synthesis problem...
research
∙
06/07/2022
Certifying Data-Bias Robustness in Linear Regression
Datasets typically contain inaccuracies due to human error and societal ...
research
∙
05/26/2022
BagFlip: A Certified Defense against Data Poisoning
Machine learning models are vulnerable to data-poisoning attacks, in whi...
research
∙
04/06/2022
P4BID: Information Flow Control in P4
Modern programmable network switches can implement custom applications u...
research
∙
11/14/2021
Prognosis: Closed-Box Analysis of Network Protocol Implementations
We present Prognosis, a framework offering automated closed-box learning...
research
∙
10/08/2021
Certifying Robustness to Programmable Data Bias in Decision Trees
Datasets can be biased due to societal inequities, human biases, under-r...
research
∙
05/02/2021
Synthesizing Abstract Transformers
This paper addresses the problem of creating abstract transformers autom...
research
∙
03/06/2021
Synthesis with Asymptotic Resource Bounds
We present a method for synthesizing recursive functions that satisfy bo...
research
∙
02/15/2021
Certified Robustness to Programmable Transformations in LSTMs
Deep neural networks for natural language processing are fragile in the ...
research
∙
08/22/2020
Semantics-Guided Synthesis
This paper develops a new framework for program synthesis, called semant...
research
∙
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...
research
∙
02/22/2020
Robustness to Programmable String Transformations via Augmented Abstract Training
Deep neural networks for natural language processing tasks are vulnerabl...
research
∙
12/05/2019
D2R: Dataplane-Only Policy-Compliant Routing Under Failures
In networks today, the data plane handles forwarding—sending a packet to...
research
∙
12/02/2019
Proving Data-Poisoning Robustness in Decision Trees
Machine learning models are brittle, and small changes in the training d...
research
∙
05/20/2019
Efficient Synthesis with Probabilistic Constraints
We consider the problem of synthesizing a program given a probabilistic ...
research
∙
05/14/2019
Proving Unrealizability for Syntax-Guided Synthesis
Proving Unrealizability for Syntax-Guided Synthesis We consider the pr...
research
∙
03/20/2018
Program Repair via Direct State Manipulation
The goal of program repair is to automatically fix programs to meet a sp...
research
∙
03/10/2018
Learning Quick Fixes from Code Repositories
Code analyzers such as ErrorProne and FindBugs detect code patterns symp...
research
∙
08/12/2017
TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences
Recent advances in program synthesis offer means to automatically debug ...
research
∙
02/17/2017
Quantifying Program Bias
With the range and sensitivity of algorithmic decisions expanding at a b...
research
∙
10/19/2016