33 citations · 166 across the 51 of their papers we have counts for
4 papers · 1 filter
Modular System Synthesis
Kanghee Park, Keith J. C. Johnson, Loris D'Antoni +1
This paper describes a way to improve the scalability of program synthesis by exploiting modularity: larger programs are synthesized from smaller programs. The key issue is to make…
The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
We introduce dataset multiplicity, a way to study how inaccuracies, uncertainty, and social bias in training datasets impact test-time predictions. The dataset multiplicity framewo…
PECAN: A Deterministic Certified Defense Against Backdoor Attacks
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
Neural networks are vulnerable to backdoor poisoning attacks, where the attackers maliciously poison the training set and insert triggers into the test input to change the predicti…
Synthesizing Specifications
Kanghee Park, Loris D'Antoni, Thomas Reps
Every program should be accompanied by a specification that describes important aspects of the code's behavior, but writing good specifications is often harder than writing the cod…