Loris D'Antoni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
55
Venues
23
Active years
2008–2025
Best venue rank
A*
Where they publish
- A*CAV14 papers
- A*PLDI7 papers
- A*POPL5 papers
- BFMCAD4 papers
- A*CHI2 papers
- A*ICML2 papers
- BSAS2 papers
- A*IJCAI2 papers
- ATACAS2 papers
- A*LICS2 papers
- NationalICDCN1 paper
- A*EMNLP1 paper
- A*SIGCOMM1 paper
- AESOP1 paper
- A*SIGMETRICS1 paper
- A*ICSE1 paper
- A*MICRO1 paper
- BLPAR1 paper
- AHotOS1 paper
- AICFP1 paper
- BVMCAI1 paper
- A*ICALP1 paper
- BCONCUR1 paper
Papers
55 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CHI | Perceptions of the Fairness Impacts of Multiplicity in Machine Learning. | Anna P. Meyer, Yea-Seul Kim, Loris D'Antoni, Aws Albarghouthi |
| 2025 | FMCAD | Modeling the AWS Authorization Engine. | Lee A. Barnett, Loris D'Antoni, Amit Goel, Rami Gkhan Kici, Neha Rungta, Mary Southern, Chungha Sung |
| 2025 | ICML | Flexible and Efficient Grammar-Constrained Decoding. | Kanghee Park, Timothy Zhou, Loris D'Antoni |
| 2024 | CAV | The SemGuS Toolkit. | Keith J. C. Johnson, Andrew Reynolds, Thomas W. Reps, Loris D'Antoni |
| 2024 | FMCAD | Projective Model Counting for IP Addresses in Access Control Policies. | Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gkhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung |
| 2023 | FMCAD | Modular System Synthesis. | Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps |
| 2023 | ICDCN | Learned Load Balancing. | Brian Chang, Aditya Akella, Loris D'Antoni, Kausik Subramanian |
| 2023 | SAS | Verifying Infinitely Many Programs at Once. | Loris D'Antoni |
| 2022 | FMCAD | Synthesizing Transducers from Complex Specifications. | Anvay Grover, Ruediger Ehlers, Loris D'Antoni |
| 2022 | PLDI | P4BID: information flow control in p4. | Karuna Grewal, Loris D'Antoni, Justin Hsu |
| 2021 | CAV | Programmable Program Synthesis. | Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas W. Reps |
| 2021 | CAV | Synthesis with Asymptotic Resource Bounds. | Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps |
| 2021 | EMNLP | Certified Robustness to Programmable Transformations in LSTMs. | Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni |
| 2021 | SIGCOMM | Prognosis: closed-box analysis of network protocol implementations. | Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva |
| 2020 | CAV | Automata Tutor v3. | Loris D'Antoni, Martin Helfrich, Jan Kretnsk, Emanuel Ramneantu, Maximilian Weininger |
| 2020 | ESOP | Solving Program Sketches with Large Integer Values. | Rong Pan, Qinheping Hu, Rishabh Singh, Loris D'Antoni |
| 2020 | ICML | Robustness to Programmable String Transformations via Augmented Abstract Training. | Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni |
| 2020 | PLDI | Proving data-poisoning robustness in decision trees. | Samuel Drews, Aws Albarghouthi, Loris D'Antoni |
| 2020 | PLDI | Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems. | Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps |
| 2020 | PLDI | Detecting network load violations for distributed control planes. | Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, Aditya Akella |
| 2019 | CAV | Symbolic Register Automata. | Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva |
| 2019 | CAV | Efficient Synthesis with Probabilistic Constraints. | Samuel Drews, Aws Albarghouthi, Loris D'Antoni |
| 2019 | CAV | Proving Unrealizability for Syntax-Guided Synthesis. | Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps |
| 2019 | SAS | Direct Manipulation for Imperative Programs. | Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni |
| 2018 | CAV | The Learnability of Symbolic Automata. | George Argyros, Loris D'Antoni |
| 2018 | CAV | Syntax-Guided Synthesis with Quantitative Syntactic Objectives. | Qinheping Hu, Loris D'Antoni |
| 2018 | SIGMETRICS | Synthesis of Fault-Tolerant Distributed Router Configurations. | Kausik Subramanian, Loris D'Antoni, Aditya Akella |
| 2017 | CAV | Repairing Decision-Making Programs Under Uncertainty. | Aws Albarghouthi, Loris D'Antoni, Samuel Drews |
| 2017 | CAV | The Power of Symbolic Automata and Transducers. | Loris D'Antoni, Margus Veanes |
| 2017 | CHI | Exploring the Design Space of Automatically Synthesized Hints for Introductory Programming Assignments. | Ryo Suzuki, Gustavo Soares, Elena L. Glassman, Andrew Head, Loris D'Antoni, Bjrn Hartmann |
| 2017 | IJCAI | Weighted Model Integration with Orthogonal Transformations. | David Merrell, Aws Albarghouthi, Loris D'Antoni |
| 2017 | ICSE | Learning syntactic program transformations from examples. | Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjrn Hartmann |
| 2017 | PLDI | Automatic program inversion using symbolic transducers. | Qinheping Hu, Loris D'Antoni |
| 2017 | PLDI | Control-flow recovery from partial failure reports. | Peter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit |
| 2017 | POPL | Monadic second-order logic on finite sequences. | Loris D'Antoni, Margus Veanes |
| 2017 | POPL | Genesis: synthesizing forwarding tables in multi-tenant networks. | Kausik Subramanian, Loris D'Antoni, Aditya Akella |
| 2017 | TACAS | Forward Bisimulations for Nondeterministic Symbolic Finite Automata. | Loris D'Antoni, Margus Veanes |
| 2017 | TACAS | Learning Symbolic Automata. | Samuel Drews, Loris D'Antoni |
| 2016 | CAV | Qlose: Program Repair with Quantitative Objectives. | Loris D'Antoni, Roopsha Samanta, Rishabh Singh |
| 2016 | LICS | Minimization of Symbolic Tree Automata. | Loris D'Antoni, Margus Veanes |
| 2016 | MICRO | HARE: Hardware accelerator for regular expressions. | Vaibhav Gogte, Aasheesh Kolli, Michael J. Cafarella, Loris D'Antoni, Thomas F. Wenisch |
| 2015 | LPAR | Symbolic WS1S. | Loris D'Antoni, Margus Veanes |
| 2015 | POPL | DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. | Rajeev Alur, Loris D'Antoni, Mukund Raghothaman |
| 2015 | POPL | Program Boosting: Program Synthesis via Crowd-Sourcing. | Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes |
| 2014 | CAV | Symbolic Visibly Pushdown Automata. | Loris D'Antoni, Rajeev Alur |
| 2014 | PLDI | Fast: a transducer-based language for tree manipulation. | Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar |
| 2014 | POPL | Minimization of symbolic automata. | Loris D'Antoni, Margus Veanes |
| 2013 | CAV | Equivalence of Extended Symbolic Finite Transducers. | Loris D'Antoni, Margus Veanes |
| 2013 | HotOS | Operating System Support for Augmented Reality Applications. | Loris D'Antoni, Alan M. Dunn, Suman Jana, Tadayoshi Kohno, Benjamin Livshits, David Molnar, Alexander Moshchuk, Eyal Ofek, Franziska Roesner, T. Scott Saponas, Margus Veanes, Helen J. Wang |
| 2013 | ICFP | Sensitivity analysis using type-based constraints. | Loris D'Antoni, Marco Gaboardi, Emilio Jess Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce |
| 2013 | IJCAI | Automated Grading of DFA Constructions. | Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan |
| 2013 | LICS | Regular Functions and Cost Register Automata. | Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan |
| 2013 | VMCAI | Static Analysis of String Encoders and Decoders. | Loris D'Antoni, Margus Veanes |
| 2012 | ICALP | Streaming Tree Transducers. | Rajeev Alur, Loris D'Antoni |
| 2008 | CONCUR | Global Progress in Dynamically Interleaved Multiparty Sessions. | Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |