Loris D'Antoni

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 95

Top Venues

CoRR

CAV (1)

PLDI

Proc. ACM Program. Lang.

Publications

Shaan Nagy, Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs. CoRR (2024)
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions. FAccT (2023)
Loris D'Antoni
Verifying Infinitely Many Programs at Once. SAS (2023)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
PECAN: A Deterministic Certified Defense Against Backdoor Attacks. CoRR (2023)
Kanghee Park, Loris D'Antoni, Thomas W. Reps
Synthesizing Specifications. CoRR (2023)
Kanghee Park, Loris D'Antoni, Thomas W. Reps
Synthesizing Specifications. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps
Modular System Synthesis. CoRR (2023)
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
Proving Data-Poisoning Robustness in Decision Trees. Commun. ACM 66 (2) (2023)
Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps
Modular System Synthesis. FMCAD (2023)
Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
Unrealizability Logic. Proc. ACM Program. Lang. 7 (POPL) (2023)
Brian Chang, Aditya Akella, Loris D'Antoni, Kausik Subramanian
Learned Load Balancing. ICDCN (2023)
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions. CoRR (2023)
Anvay Grover, Ruediger Ehlers, Loris D'Antoni
Synthesizing Transducers from Complex Specifications. FMCAD (2022)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
BagFlip: A Certified Defense against Data Poisoning. CoRR (2022)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
BagFlip: A Certified Defense Against Data Poisoning. NeurIPS (2022)
Qinheping Hu, Rishabh Singh, Loris D'Antoni
Solving Program Sketches with Large Integer Values. ACM Trans. Program. Lang. Syst. 44 (2) (2022)
Karuna Grewal, Loris D'Antoni, Justin Hsu
P4BID: Information Flow Control in P4. CoRR (2022)
Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva
Prognosis: Closed-Box Analysis of Network Protocol Implementations. CoRR (2022)
Anvay Grover, Rüdiger Ehlers, Loris D'Antoni
Synthesizing Transducers from Complex Specifications. CoRR (2022)
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
Synthesizing abstract transformers. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
Certifying Data-Bias Robustness in Linear Regression. CoRR (2022)
Karuna Grewal, Loris D'Antoni, Justin Hsu
P4BID: information flow control in p4. PLDI (2022)
Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
Unrealizability Logic. CoRR (2022)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
Certified Robustness to Programmable Transformations in LSTMs. CoRR (2021)
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
Synthesizing Abstract Transformers. CoRR (2021)
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
Certifying Robustness to Programmable Data Bias in Decision Trees. NeurIPS (2021)
Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps
Semantics-guided synthesis. Proc. ACM Program. Lang. 5 (POPL) (2021)
Reudismam Rolim de Sousa, Gustavo Soares, Rohit Gheyi, Titus Barik, Loris D'Antoni
Learning Quick Fixes from Code Repositories. SBES (2021)
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
Certifying Robustness to Programmable Data Bias in Decision Trees. CoRR (2021)
Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas W. Reps
Programmable Program Synthesis. CAV (1) (2021)
Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva
Prognosis: closed-box analysis of network protocol implementations. SIGCOMM (2021)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
Synthesis with Asymptotic Resource Bounds. CoRR (2021)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
Certified Robustness to Programmable Transformations in LSTMs. EMNLP (1) (2021)
Loris D'Antoni, Margus Veanes
Automata modulo theories. Commun. ACM 64 (5) (2021)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
Synthesis with Asymptotic Resource Bounds. CAV (1) (2021)
Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, Aditya Akella
D2R: Policy-Compliant Fast Reroute. SOSR (2021)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems. CoRR (2020)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems. PLDI (2020)
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
Proving data-poisoning robustness in decision trees. PLDI (2020)
Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, Aditya Akella
Detecting network load violations for distributed control planes. PLDI (2020)
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
Automata Tutor v3. CAV (2) (2020)
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
Automata Tutor v3. CoRR (2020)
Rong Pan, Qinheping Hu, Rishabh Singh, Loris D'Antoni
Solving Program Sketches with Large Integer Values. ESOP (2020)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
Robustness to Programmable String Transformations via Augmented Abstract Training. CoRR (2020)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
Robustness to Programmable String Transformations via Augmented Abstract Training. ICML (2020)
Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps
Semantics-Guided Synthesis. CoRR (2020)
Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, Aditya Akella
D2R: Dataplane-Only Policy-Compliant Routing Under Failures. CoRR (2019)
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
Proving Unrealizability for Syntax-Guided Synthesis. CAV (1) (2019)
Rong Pan, Qinheping Hu, Gaowei Xu, Loris D'Antoni
Automatic repair of regular expressions. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
Efficient Synthesis with Probabilistic Constraints. CoRR (2019)
Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni
Direct Manipulation for Imperative Programs. SAS (2019)
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
Efficient Synthesis with Probabilistic Constraints. CAV (1) (2019)
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
Proving Data-Poisoning Robustness in Decision Trees. CoRR (2019)
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
Proving Unrealizability for Syntax-Guided Synthesis. CoRR (2019)
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
Symbolic Register Automata. CAV (1) (2019)
Qinheping Hu, Isaac Evavold, Roopsha Samanta, Rishabh Singh, Loris D'Antoni
Program Repair via Direct State Manipulation. CoRR (2018)
Loris D'Antoni, Zachary Kincaid, Fang Wang
A Symbolic Decision Procedure for Symbolic Alternating Finite Automata. MFPS (2018)
George Argyros, Loris D'Antoni
The Learnability of Symbolic Automata. CAV (1) (2018)
Kausik Subramanian, Loris D'Antoni, Aditya Akella
Synthesis of Fault-Tolerant Distributed Router Configurations. Proc. ACM Meas. Anal. Comput. Syst. 2 (1) (2018)
Kausik Subramanian, Loris D'Antoni, Aditya Akella
Synthesis of Fault-Tolerant Distributed Router Configurations. SIGMETRICS (Abstracts) (2018)
Qinheping Hu, Loris D'Antoni
Syntax-Guided Synthesis with Quantitative Syntactic Objectives. CAV (1) (2018)
Reudismam Rolim, Gustavo Soares, Rohit Gheyi, Loris D'Antoni
Learning Quick Fixes from Code Repositories. CoRR (2018)
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
Symbolic Register Automata. CoRR (2018)
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
Quantifying Program Bias. CoRR (2017)
Loris D'Antoni, Margus Veanes
Forward Bisimulations for Nondeterministic Symbolic Finite Automata. TACAS (1) (2017)
Loris D'Antoni, Rishabh Singh, Michael Vaughn
NoFAQ: synthesizing command repairs from examples. ESEC/SIGSOFT FSE (2017)
Ryo Suzuki, Gustavo Soares, Andrew Head, Elena L. Glassman, Ruan Reis, Melina Mongiovi, Loris D'Antoni, Bjoern Hartmann
TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences. CoRR (2017)
Samuel Drews, Loris D'Antoni
Learning Symbolic Automata. TACAS (1) (2017)
Ryo Suzuki, Gustavo Soares, Andrew Head, Elena L. Glassman, Ruan Reis, Melina Mongiovi, Loris D'Antoni, Björn Hartmann
TraceDiff: Debugging unexpected code behavior using trace divergences. VL/HCC (2017)
Loris D'Antoni, Margus Veanes
Monadic second-order logic on finite sequences. POPL (2017)
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
FairSquare: probabilistic verification of program fairness. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Kausik Subramanian, Loris D'Antoni, Aditya Akella
Genesis: synthesizing forwarding tables in multi-tenant networks. POPL (2017)
Ryo Suzuki, Gustavo Soares, Elena L. Glassman, Andrew Head, Loris D'Antoni, Björn Hartmann
Exploring the Design Space of Automatically Synthesized Hints for Introductory Programming Assignments. CHI Extended Abstracts (2017)
Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann
Learning syntactic program transformations from examples. ICSE (2017)
Aws Albarghouthi, Loris D'Antoni, Samuel Drews
Repairing Decision-Making Programs Under Uncertainty. CAV (1) (2017)
Andrew Head, Elena L. Glassman, Gustavo Soares, Ryo Suzuki, Lucas Figueredo, Loris D'Antoni, Björn Hartmann
Writing Reusable Code Feedback at Scale with Mixed-Initiative Program Synthesis. L@S (2017)
Loris D'Antoni, Margus Veanes
The Power of Symbolic Automata and Transducers. CAV (1) (2017)
David Merrell, Aws Albarghouthi, Loris D'Antoni
Weighted Model Integration with Orthogonal Transformations. IJCAI (2017)
Rajeev Alur, Loris D'Antoni
Streaming Tree Transducers. J. ACM 64 (5) (2017)
Qinheping Hu, Loris D'Antoni
Automatic program inversion using symbolic transducers. PLDI (2017)
Peter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit
Control-flow recovery from partial failure reports. PLDI (2017)
Loris D'Antoni, Margus Veanes
Minimization of Symbolic Tree Automata. LICS (2016)
Loris D'Antoni, Roopsha Samanta, Rishabh Singh
Qlose: Program Repair with Quantitative Objectives. CAV (2) (2016)
Loris D'Antoni, Rishabh Singh, Michael Vaughn
NoFAQ: Synthesizing Command Repairs from Examples. CoRR (2016)
Vaibhav Gogte, Aasheesh Kolli, Michael J. Cafarella, Loris D'Antoni, Thomas F. Wenisch
HARE: Hardware accelerator for regular expressions. MICRO (2016)
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
Fairness as a Program Property. CoRR (2016)
Loris D'Antoni, Zachary Kincaid, Fang Wang
A Symbolic Decision Procedure for Symbolic Alternating Finite Automata. CoRR (2016)
Reudismam Rolim de Sousa, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjoern Hartmann
Learning Syntactic Program Transformations from Examples. CoRR (2016)
Loris D'Antoni, Matthew Weavery, Alexander Weinert, Rajeev Alur
Automata Tutor and what we learned from building an online teaching tool. Bull. EATCS 117 (2015)
Rajeev Alur, Loris D'Antoni, Mukund Raghothaman
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. POPL (2015)
Loris D'Antoni, Margus Veanes
Extended symbolic finite automata and transducers. Formal Methods Syst. Des. 47 (1) (2015)
Loris D'Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
How Can Automatic Feedback Help Students Construct Automata? ACM Trans. Comput. Hum. Interact. 22 (2) (2015)
Loris D'Antoni, Margus Veanes
Symbolic WS1S. LPAR (short papers) (2015)
Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
Fast: A Transducer-Based Language for Tree Manipulation. ACM Trans. Program. Lang. Syst. 38 (1) (2015)
Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes
Program Boosting: Program Synthesis via Crowd-Sourcing. POPL (2015)
Loris D'Antoni, Margus Veanes
Minimization of symbolic automata. POPL (2014)
Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
Fast: a transducer-based language for tree manipulation. PLDI (2014)
Loris D'Antoni, Rajeev Alur
Symbolic Visibly Pushdown Automata. CAV (2014)
Loris D'Antoni, Margus Veanes
Equivalence of Extended Symbolic Finite Transducers. CAV (2013)
Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan
Automated Grading of DFA Constructions. IJCAI (2013)

Loris D'Antoni.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Loris D'Antoni