Loris D'Antoni

144 papers A* 27A 2B 11Misc 1Journal 79Unranked 24
YearRankTypeTitle / Venue / Authors
2026 J jnl
ChopChop: A Programmable Framework for Semantically Constraining the Output of Language Models.
Proc. ACM Program. Lang.
Shaan Nagy, Timothy Zhou, Nadia Polikarpova, Loris D'Antoni
2026 J jnl
Continuous Diffusion Models Can Obey Formal Syntax.
CoRR
Jinwoo Kim, Taylor Berg-Kirkpatrick, Loris D'Antoni
2026 J jnl
Corrigendum: Unrealizability Logic.
Proc. ACM Program. Lang.
Jinwoo Kim, Loris D'Antoni, Thomas Reps
2026 J jnl
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers.
Proc. ACM Program. Lang.
Xuanyu Peng, Dominic Kennedy, Yuyou Fan, Ben Greenman, John Regehr, Loris D'Antoni
2025 J jnl
Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models.
CoRR
Sairam Vaidya, Marcel Böhme, Loris D'Antoni
2025 J jnl
ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models.
CoRR
Shaan Nagy, Timothy Zhou, Nadia Polikarpova, Loris D'Antoni
2025 J jnl
Constrained Adaptive Rejection Sampling.
CoRR
Pawel Parys, Sairam Vaidya, Taylor Berg-Kirkpatrick, Loris D'Antoni
2025 J jnl
Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective.
CoRR
Emmanuel Anaya Gonzalez, Sairam Vaidya, Kanghee Park, Ruyi Ji, Taylor Berg-Kirkpatrick, Loris D'Antoni
2025 A* conf
Flexible and Efficient Grammar-Constrained Decoding.
ICML
Kanghee Park, Timothy Zhou, Loris D'Antoni
2025 J jnl
Flexible and Efficient Grammar-Constrained Decoding.
CoRR
Kanghee Park, Timothy Zhou, Loris D'Antoni
2025 J jnl
LOUD: Synthesizing Strongest and Weakest Specifications.
Proc. ACM Program. Lang.
Kanghee Park, Xuanyu Peng, Loris D'Antoni
2025 B conf
Modeling the AWS Authorization Engine.
FMCAD
Lee A. Barnett, Loris D'Antoni, Amit Goel, Rami Gökhan Kici, Neha Rungta, Mary Southern, Chungha Sung
2025 J jnl
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers.
CoRR
Xuanyu Peng, Dominic Kennedy, Yuyou Fan, Ben Greenman, John Regehr, Loris D'Antoni
2025 A* conf
Perceptions of the Fairness Impacts of Multiplicity in Machine Learning.
CHI
Anna P. Meyer, Yea-Seul Kim, Loris D'Antoni, Aws Albarghouthi
2025 J jnl
Semantics of Sets of Programs.
Proc. ACM Program. Lang.
Jinwoo Kim, Shaan Nagy, Thomas Reps, Loris D'Antoni
2025 J jnl
Verifying Solutions to Semantics-Guided Synthesis Problems.
Proc. ACM Program. Lang.
Charlie Murphy, Keith J. C. Johnson, Thomas Reps, Loris D'Antoni
2024 J jnl
A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness.
CoRR
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2024 J jnl
Automatically Reducing Privilege for Access Control Policies.
Proc. ACM Program. Lang.
Loris D'Antoni, Shuo Ding, Amit Goel, Mathangi Ramesh, Neha Rungta, Chungha Sung
2024 J jnl
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics.
CoRR
Keith J. C. Johnson, Rahul Krishnan, Thomas W. Reps, Loris D'Antoni
2024 J jnl
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics.
Proc. ACM Program. Lang.
Keith J. C. Johnson, Rahul Krishnan, Thomas W. Reps, Loris D'Antoni
2024 J jnl
Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs.
Proc. ACM Program. Lang.
Shaan Nagy, Jinwoo Kim, Thomas W. Reps, Loris D'Antoni
2024 J jnl
Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs.
CoRR
Shaan Nagy, Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
2024 A* conf
Grammar-Aligned Decoding.
NeurIPS
Kanghee Park, Jiayu Wang, Taylor Berg-Kirkpatrick, Nadia Polikarpova, Loris D'Antoni
2024 J jnl
Grammar-Aligned Decoding.
CoRR
Kanghee Park, Jiayu Wang, Taylor Berg-Kirkpatrick, Nadia Polikarpova, Loris D'Antoni
2024 J jnl
LOUD: Synthesizing Strongest and Weakest Specifications.
CoRR
Kanghee Park, Xuanyu Peng, Loris D'Antoni
2024 J jnl
Learned load balancing.
Theor. Comput. Sci.
Brian Chang, Kausik Subramanian, Loris D'Antoni, Aditya Akella
2024 J jnl
Perceptions of the Fairness Impacts of Multiplicity in Machine Learning.
CoRR
Anna P. Meyer, Yea-Seul Kim, Aws Albarghouthi, Loris D'Antoni
2024 B conf
Projective Model Counting for IP Addresses in Access Control Policies.
FMCAD
Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gökhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung
2024 J jnl
Semantics of Sets of Programs.
CoRR
Jinwoo Kim, Shaan Nagy, Thomas W. Reps, Loris D'Antoni
2024 J jnl
Synthesizing Formal Semantics from Executable Interpreters.
CoRR
Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni
2024 J jnl
Synthesizing Formal Semantics from Executable Interpreters.
Proc. ACM Program. Lang.
Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni
2024 — conf
The SemGuS Toolkit.
CAV (3)
Keith J. C. Johnson, Andrew Reynolds, Thomas W. Reps, Loris D'Antoni
2024 J jnl
The SemGuS Toolkit.
CoRR
Keith J. C. Johnson, Andrew Reynolds, Thomas W. Reps, Loris D'Antoni
2024 J jnl
Verified Training for Counterfactual Explanation Robustness under Data Shift.
CoRR
Anna P. Meyer, Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2024 J jnl
Verifying Solutions to Semantics-Guided Synthesis Problems.
CoRR
Charlie Murphy, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni
2023 Misc conf
Learned Load Balancing.
ICDCN
Brian Chang, Aditya Akella, Loris D'Antoni, Kausik Subramanian
2023 B conf
Modular System Synthesis.
FMCAD
Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps
2023 J jnl
Modular System Synthesis.
CoRR
Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps
2023 J jnl
PECAN: A Deterministic Certified Defense Against Backdoor Attacks.
CoRR
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2023 J jnl
Proving Data-Poisoning Robustness in Decision Trees.
Commun. ACM
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
2023 J jnl
Synthesizing Specifications.
CoRR
Kanghee Park, Loris D'Antoni, Thomas W. Reps
2023 J jnl
Synthesizing Specifications.
Proc. ACM Program. Lang.
Kanghee Park, Loris D'Antoni, Thomas W. Reps
2023 — conf
The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions.
FAccT
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
2023 J jnl
The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions.
CoRR
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
2023 J jnl
Unrealizability Logic.
Proc. ACM Program. Lang.
Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
2023 B conf
Verifying Infinitely Many Programs at Once.
SAS
Loris D'Antoni
2022 A* conf
BagFlip: A Certified Defense Against Data Poisoning.
NeurIPS
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2022 J jnl
BagFlip: A Certified Defense against Data Poisoning.
CoRR
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2022 J jnl
Certifying Data-Bias Robustness in Linear Regression.
CoRR
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
2022 J jnl
P4BID: Information Flow Control in P4.
CoRR
Karuna Grewal, Loris D'Antoni, Justin Hsu
2022 A* conf
P4BID: information flow control in p4.
PLDI
Karuna Grewal, Loris D'Antoni, Justin Hsu
2022 J jnl
Prognosis: Closed-Box Analysis of Network Protocol Implementations.
CoRR
Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva
2022 J jnl
Solving Program Sketches with Large Integer Values.
ACM Trans. Program. Lang. Syst.
Qinheping Hu, Rishabh Singh, Loris D'Antoni
2022 B conf
Synthesizing Transducers from Complex Specifications.
FMCAD
Anvay Grover, Ruediger Ehlers, Loris D'Antoni
2022 J jnl
Synthesizing Transducers from Complex Specifications.
CoRR
Anvay Grover, Rüdiger Ehlers, Loris D'Antoni
2022 J jnl
Synthesizing abstract transformers.
Proc. ACM Program. Lang.
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
2022 J jnl
Unrealizability Logic.
CoRR
Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
2021 J jnl
Automata modulo theories.
Commun. ACM
Loris D'Antoni, Margus Veanes
2021 — conf
Certified Robustness to Programmable Transformations in LSTMs.
EMNLP (1)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2021 J jnl
Certified Robustness to Programmable Transformations in LSTMs.
CoRR
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2021 A* conf
Certifying Robustness to Programmable Data Bias in Decision Trees.
NeurIPS
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
2021 J jnl
Certifying Robustness to Programmable Data Bias in Decision Trees.
CoRR
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
2021 — conf
D2R: Policy-Compliant Fast Reroute.
SOSR
Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, Aditya Akella
2021 — conf
Learning Quick Fixes from Code Repositories.
SBES
Reudismam Rolim de Sousa, Gustavo Soares, Rohit Gheyi, Titus Barik, Loris D'Antoni
2021 A* conf
Prognosis: closed-box analysis of network protocol implementations.
SIGCOMM
Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva
2021 — conf
Programmable Program Synthesis.
CAV (1)
Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas W. Reps
2021 J jnl
Semantics-guided synthesis.
Proc. ACM Program. Lang.
Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps
2021 — conf
Synthesis with Asymptotic Resource Bounds.
CAV (1)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2021 J jnl
Synthesis with Asymptotic Resource Bounds.
CoRR
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2021 J jnl
Synthesizing Abstract Transformers.
CoRR
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
2020 — conf
Automata Tutor v3.
CAV (2)
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
2020 J jnl
Automata Tutor v3.
CoRR
Loris D'Antoni, Martin Helfrich, Jan Kretínský, Emanuel Ramneantu, Maximilian Weininger
2020 A* conf
Detecting network load violations for distributed control planes.
PLDI
Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, Aditya Akella
2020 J jnl
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems.
CoRR
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2020 A* conf
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems.
PLDI
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2020 A* conf
Proving data-poisoning robustness in decision trees.
PLDI
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
2020 A* conf
Robustness to Programmable String Transformations via Augmented Abstract Training.
ICML
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2020 J jnl
Robustness to Programmable String Transformations via Augmented Abstract Training.
CoRR
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2020 J jnl
Semantics-Guided Synthesis.
CoRR
Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps
2020 A conf
Solving Program Sketches with Large Integer Values.
ESOP
Rong Pan, Qinheping Hu, Rishabh Singh, Loris D'Antoni
2019 J jnl
Automatic repair of regular expressions.
Proc. ACM Program. Lang.
Rong Pan, Qinheping Hu, Gaowei Xu, Loris D'Antoni
2019 J jnl
D2R: Dataplane-Only Policy-Compliant Routing Under Failures.
CoRR
Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, Aditya Akella
2019 B conf
Direct Manipulation for Imperative Programs.
SAS
Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni
2019 — conf
Efficient Synthesis with Probabilistic Constraints.
CAV (1)
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
2019 J jnl
Efficient Synthesis with Probabilistic Constraints.
CoRR
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
2019 J jnl
Proving Data-Poisoning Robustness in Decision Trees.
CoRR
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
2019 — conf
Proving Unrealizability for Syntax-Guided Synthesis.
CAV (1)
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
2019 J jnl
Proving Unrealizability for Syntax-Guided Synthesis.
CoRR
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
2019 — conf
Symbolic Register Automata.
CAV (1)
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
2018 B conf
A Symbolic Decision Procedure for Symbolic Alternating Finite Automata.
MFPS
Loris D'Antoni, Zachary Kincaid, Fang Wang
2018 J jnl
Learning Quick Fixes from Code Repositories.
CoRR
Reudismam Rolim, Gustavo Soares, Rohit Gheyi, Loris D'Antoni
2018 J jnl
Program Repair via Direct State Manipulation.
CoRR
Qinheping Hu, Isaac Evavold, Roopsha Samanta, Rishabh Singh, Loris D'Antoni
2018 J jnl
Symbolic Register Automata.
CoRR
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
2018 — conf
Syntax-Guided Synthesis with Quantitative Syntactic Objectives.
CAV (1)
Qinheping Hu, Loris D'Antoni
2018 — conf
Synthesis of Fault-Tolerant Distributed Router Configurations.
SIGMETRICS (Abstracts)
Kausik Subramanian, Loris D'Antoni, Aditya Akella
2018 J jnl
Synthesis of Fault-Tolerant Distributed Router Configurations.
Proc. ACM Meas. Anal. Comput. Syst.
Kausik Subramanian, Loris D'Antoni, Aditya Akella
2018 — conf
The Learnability of Symbolic Automata.
CAV (1)
George Argyros, Loris D'Antoni
2017 A* conf
Automatic program inversion using symbolic transducers.
PLDI
Qinheping Hu, Loris D'Antoni
2017 A* conf
Control-flow recovery from partial failure reports.
PLDI
Peter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit
2017 — conf
Exploring the Design Space of Automatically Synthesized Hints for Introductory Programming Assignments.
CHI Extended Abstracts
Ryo Suzuki, Gustavo Soares, Elena L. Glassman, Andrew Head, Loris D'Antoni, Björn Hartmann
2017 J jnl
FairSquare: probabilistic verification of program fairness.
Proc. ACM Program. Lang.
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
2017 — conf
Forward Bisimulations for Nondeterministic Symbolic Finite Automata.
TACAS (1)
Loris D'Antoni, Margus Veanes
2017 A* conf
Genesis: synthesizing forwarding tables in multi-tenant networks.
POPL
Kausik Subramanian, Loris D'Antoni, Aditya Akella
2017 — conf
Learning Symbolic Automata.
TACAS (1)
Samuel Drews, Loris D'Antoni
2017 A* conf
Learning syntactic program transformations from examples.
ICSE
Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann
2017 A* conf
Monadic second-order logic on finite sequences.
POPL
Loris D'Antoni, Margus Veanes
2017 — conf
NoFAQ: synthesizing command repairs from examples.
ESEC/SIGSOFT FSE
Loris D'Antoni, Rishabh Singh, Michael Vaughn
2017 J jnl
Quantifying Program Bias.
CoRR
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
2017 — conf
Repairing Decision-Making Programs Under Uncertainty.
CAV (1)
Aws Albarghouthi, Loris D'Antoni, Samuel Drews
2017 J jnl
Streaming Tree Transducers.
J. ACM
Rajeev Alur, Loris D'Antoni
2017 — conf
The Power of Symbolic Automata and Transducers.
CAV (1)
Loris D'Antoni, Margus Veanes
2017 J jnl
TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences.
CoRR
Ryo Suzuki, Gustavo Soares, Andrew Head, Elena L. Glassman, Ruan Reis, Melina Mongiovi, Loris D'Antoni, Bjoern Hartmann
2017 B conf
TraceDiff: Debugging unexpected code behavior using trace divergences.
VL/HCC
Ryo Suzuki, Gustavo Soares, Andrew Head, Elena L. Glassman, Ruan Reis, Melina Mongiovi, Loris D'Antoni, Björn Hartmann
2017 A* conf
Weighted Model Integration with Orthogonal Transformations.
IJCAI
David Merrell, Aws Albarghouthi, Loris D'Antoni
2017 B conf
Writing Reusable Code Feedback at Scale with Mixed-Initiative Program Synthesis.
L@S
Andrew Head, Elena L. Glassman, Gustavo Soares, Ryo Suzuki, Lucas Figueredo, Loris D'Antoni, Björn Hartmann
2016 J jnl
A Symbolic Decision Procedure for Symbolic Alternating Finite Automata.
CoRR
Loris D'Antoni, Zachary Kincaid, Fang Wang
2016 J jnl
Fairness as a Program Property.
CoRR
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
2016 A* conf
HARE: Hardware accelerator for regular expressions.
MICRO
Vaibhav Gogte, Aasheesh Kolli, Michael J. Cafarella, Loris D'Antoni, Thomas F. Wenisch
2016 J jnl
Learning Syntactic Program Transformations from Examples.
CoRR
Reudismam Rolim de Sousa, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjoern Hartmann
2016 A* conf
Minimization of Symbolic Tree Automata.
LICS
Loris D'Antoni, Margus Veanes
2016 J jnl
NoFAQ: Synthesizing Command Repairs from Examples.
CoRR
Loris D'Antoni, Rishabh Singh, Michael Vaughn
2016 — conf
Qlose: Program Repair with Quantitative Objectives.
CAV (2)
Loris D'Antoni, Roopsha Samanta, Rishabh Singh
2015 J jnl
Automata Tutor and what we learned from building an online teaching tool.
Bull. EATCS
Loris D'Antoni, Matthew Weavery, Alexander Weinert, Rajeev Alur
2015 A* conf
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations.
POPL
Rajeev Alur, Loris D'Antoni, Mukund Raghothaman
2015 J jnl
Extended symbolic finite automata and transducers.
Formal Methods Syst. Des.
Loris D'Antoni, Margus Veanes
2015 J jnl
Fast: A Transducer-Based Language for Tree Manipulation.
ACM Trans. Program. Lang. Syst.
Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
2015 J jnl
How Can Automatic Feedback Help Students Construct Automata?
ACM Trans. Comput. Hum. Interact.
Loris D'Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
2015 A* conf
Program Boosting: Program Synthesis via Crowd-Sourcing.
POPL
Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes
2015 — conf
Symbolic WS1S.
LPAR (short papers)
Loris D'Antoni, Margus Veanes
2014 A* conf
Fast: a transducer-based language for tree manipulation.
PLDI
Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
2014 A* conf
Minimization of symbolic automata.
POPL
Loris D'Antoni, Margus Veanes
2014 A* conf
Symbolic Visibly Pushdown Automata.
CAV
Loris D'Antoni, Rajeev Alur
2013 A* conf
Automated Grading of DFA Constructions.
IJCAI
Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan
2013 A* conf
Equivalence of Extended Symbolic Finite Transducers.
CAV
Loris D'Antoni, Margus Veanes
2013 J jnl
High-performance complex event processing over hierarchical data.
ACM Trans. Database Syst.
Barzan Mozafari, Kai Zeng, Loris D'Antoni, Carlo Zaniolo
2013 A conf
Operating System Support for Augmented Reality Applications.
HotOS
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 A* conf
Regular Functions and Cost Register Automata.
LICS
Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan
2013 — conf
Sensitivity analysis using type-based constraints.
FPCDSL@ICFP
Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce
2013 B conf
Static Analysis of String Encoders and Decoders.
VMCAI
Loris D'Antoni, Margus Veanes
2012 J jnl
In the Maze of Data Languages
CoRR
Loris D'Antoni
2012 — conf
Streaming Tree Transducers.
ICALP (2)
Rajeev Alur, Loris D'Antoni
2011 J jnl
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems
CoRR
Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan
2011 J jnl
Streaming Tree Transducers
CoRR
Rajeev Alur, Loris D'Antoni
2008 B conf
Global Progress in Dynamically Interleaved Multiparty Sessions.
CONCUR
Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida