33 citations · 166 across the 51 of their papers we have counts for
6 papers · 1 filter
Unrealizability Logic
Jinwoo Kim, Loris D'Antoni, Thomas Reps
We consider the problem of establishing that a program-synthesis problem is unrealizable (i.e., has no solution in a given search space of programs). Prior work on unrealizability…
Synthesizing Transducers from Complex Specifications
Anvay Grover, Ruediger Ehlers, Loris D'Antoni
Automating string transformations has been one of the killer applications of program synthesis. Existing synthesizers that solve this problem produce programs in domain-specific la…
Certifying Data-Bias Robustness in Linear Regression
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
Datasets typically contain inaccuracies due to human error and societal biases, and these inaccuracies can affect the outcomes of models trained on such datasets. We present a tech…
BagFlip: A Certified Defense against Data Poisoning
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
Machine learning models are vulnerable to data-poisoning attacks, in which an attacker maliciously modifies the training set to change the prediction of a learned model. In a trigg…
P4BID: Information Flow Control in P4
Karuna Grewal, Loris D'Antoni, Justin Hsu
Modern programmable network switches can implement custom applications using efficient packet processing hardware, and the programming language P4 provides high-level constructs to…
Prognosis: Closed-Box Analysis of Network Protocol Implementations
Tiago Ferreira, Harrison Brewton, Loris D'Antoni +1
We present Prognosis, a framework offering automated closed-box learning and analysis of models of network protocol implementations. Prognosis can learn models that vary in abstrac…