Loris D'Antoni
University of Wisconsin-Madison
H-index: 27
North America-United States
Top articles of Loris D'Antoni
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Verified Training for Counterfactual Explanation Robustness under Data Shift | arXiv preprint arXiv:2403.03773 | Anna P Meyer Yuhao Zhang Aws Albarghouthi Loris D'Antoni | 2024/3/6 |
Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs | arXiv preprint arXiv:2401.13244 | Shaan Nagy Jinwoo Kim Loris D'Antoni Thomas Reps | 2024/1/24 |
PECAN: A Deterministic Certified Defense Against Backdoor Attacks | arXiv preprint arXiv:2301.11824 | Yuhao Zhang Aws Albarghouthi Loris D'Antoni | 2023/1/27 |
Modular System Synthesis | CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023 | Kanghee Park Keith JC Johnson Loris D’Antoni Thomas Reps | 2023/10/24 |
Unrealizability logic | Proceedings of the ACM on Programming Languages | Jinwoo Kim Loris D'Antoni Thomas Reps | 2023/1/9 |
Check for Verifying Infinitely Many Programs at Once | Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings | Loris D'Antoni | 2023/10/23 |
Learned load balancing | Brian Chang Aditya Akella Loris D'Antoni Kausik Subramanian | 2023/1/4 | |
Verifying Infinitely Many Programs at Once | Loris D’Antoni | 2023/10/22 | |
Synthesizing specifications | Proceedings of the ACM on Programming Languages | Kanghee Park Loris D'Antoni Thomas Reps | 2023/10/16 |
The dataset multiplicity problem: How unreliable data impacts predictions | Anna P Meyer Aws Albarghouthi Loris D'Antoni | 2023/6/12 | |
P4BID: information flow control in p4 | Karuna Grewal Loris D'Antoni Justin Hsu | 2022/6/9 | |
Synthesizing Transducers from Complex Specifications. | Anvay Grover Ruediger Ehlers Loris D'Antoni | 2022/10/12 | |
Certifying data-bias robustness in linear regression | arXiv preprint arXiv:2206.03575 | Anna P Meyer Aws Albarghouthi Loris D'Antoni | 2022/6/7 |
Solving program sketches with large integer values | ACM Transactions on Programming Languages and Systems (TOPLAS) | Qinheping Hu Rishabh Singh Loris D’Antoni | 2022/7/20 |
Bagflip: A certified defense against data poisoning | Advances in Neural Information Processing Systems | Yuhao Zhang Aws Albarghouthi Loris D'Antoni | 2022/12/6 |
Synthesizing abstract transformers | Proceedings of the ACM on Programming Languages | Pankaj Kumar Kalita Sujit Kumar Muduli Loris D’Antoni Thomas Reps Subhajit Roy | 2022/10/31 |
Distributed, packet-mediated, packet routing | 2021/7/27 | ||
Automata modulo theories | Loris D'Antoni Margus Veanes | 2021/4/26 | |
Certifying robustness to programmable data bias in decision trees | Advances in Neural Information Processing Systems | Anna Meyer Aws Albarghouthi Loris D'Antoni | 2021/12/6 |
Certified robustness to programmable transformations in LSTMs | arXiv preprint arXiv:2102.07818 | Yuhao Zhang Aws Albarghouthi Loris D'Antoni | 2021/2/15 |