Peer-reviewed Conferences

FairSquare: Probabilistic Verification of Program Fairness [ pdf ]
A. Albarghouthi, L. D'Antoni, S. Drews, A. Nori
2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
NoFAQ: Synthesizing Command Repairs from Examples [ pdf ]
L. D'Antoni, R. Singh, M. Vaughn
11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symbosium on the Foundations of Software Engineering
A Symbolic Decision Procedure for Symbolic Alternating Finite Automata [ pdf ]
L. D'Antoni, Z. Kincaid, F. Wang
33rd Conference on the Mathematical Foundations of Programming Semantics, Ljubljana, Slovenia, 2017
Weighted Model Integration with Orthogonal Transformations [ pdf ]
D. Merrell, A. Albarghothi, L. D'Antoni
26th International Joint Conference on Artificial Intelligence, Melbourne, Australia, 2017
Repairing Decision-Making Programs under Uncertainty [ pdf ]
S. Drews, A. Albarghothi, L. D'Antoni
29th international conference on Computer Aided Verification, Heidelberg, Germany, 2017
The Power of Symbolic Automata and Transducers [ pdf ]
L. D'Antoni, M. Veanes
29th international conference on Computer Aided Verification, Heidelberg, Germany, 2017, Invited Contribution
Automatic Program Inversion using Symbolic Transducers [ pdf ]
Q. Hu and L. D'Antoni
38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Barcelona, Spain, 2017
Control-Flow Recovery from Partial Failure Reports [ pdf ]
P. Ohmann, A. Brooks, L. D'Antoni, B. Liblit
38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Barcelona, Spain, 2017
Learning Symbolic Automata [ pdf ]
S. Drews and L. D'Antoni
23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2017
Forward Bisimulations for Nondeterministic Symbolic Finite Automata [ pdf ]
L. D'Antoni and M. Veanes
23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2017
Writing Reusable Code Feedback at Scale with Mixed-Initiative Program Synthesis [ pdf ]
A. Head, E. Glassman, G. Soares, R. Suzuki, L. Figueredo, L. D'Antoni and B. Hartmann
4th International Conference on Learning at Scale, 2017
Learning Syntactic Program Transformations from Examples [ pdf ]
R. Rolim, G. Soares, L. D'Antoni, O. Polozov, S. Gulwani, R. Gheyi, R. Suzuki, B. Hartmann
39th International Conference on Software Engineering, 2017
Monadic second-order logic on finite sequences [ pdf ]
L. D'Antoni, M. Veanes
44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2017
Genesis: Synthesizing Forwarding Tables in Multi-tenant Networks [ pdf ]
A. Akella, L. D'Antoni, K. Subramanian
44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2017
HARE: Hardware acceleration for regular expressions [ pdf ]
V. Gogte, A. Kolli, M. Cafarella, L. D'Antoni, T. Wenisch
The 49th Annual IEEE/ACM International Symposium on Microarchitecture
Qlose: Program Repair with Quantitative Objectives [ pdf ]
L. D'Antoni, R. Samanta, R. Singh
28th International Conference on Computer Aided Verification
Minimization of Symbolic Tree Automata [ pdf ]
L. D'Antoni, M. Veanes
31st Annual ACM/IEEE Symposium on Logic in Computer Science
DReX: A Declarative Language for Efficiently Computable Regular String Transformations [ pdf ]
R. Alur, L. D'Antoni, M. Raghothaman
42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Approved by the POPL15 artifact evaluation committee!
Program Boosting: Program Synthesis via Crowd-Sourcing [ pdf ]
R. Cochran, L. D'Antoni, B. Livshits, D. Molnar, M. Veanes
42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Symbolic Visibly Pushdown Automata [ pdf ]
L. D'Antoni, R. Alur
26th International Conference on Computer Aided Verification, 2014
Fast: A Transducer-Based Language for Tree Manipulation [ pdf, slides ]
L. D'Antoni, M. Veanes, B. Livshits, D. Molnar
35th annual ACM SIGPLAN conference on Programming Language Design and Implementation
Fast is live, try it out!!
Minimization of Symbolic Automata [ pdf, slides ]
L. D'Antoni, M. Veanes
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Regular Functions, Register Cost Automata, and Generalized Min-Cost Problems [ short pdf, pdf ]
R. Alur, L. D'Antoni, J. V. Deshmukh, M. Raghothaman, and Y. Yuan
28th ACM/IEEE Symposium on Logic in Computer Science, 2013
Automated Grading of DFA Constructions [ pdf, slides ]
R. Alur, L. D'Antoni, S. Gulwani, D. Kini, and M. Viswanathan
23th International Joint Conference on Artificial Intelligence, 2013
AutomataTutor is live, try it out!!
Equivalence of Extended Symbolic Finite Transducers [ short pdf, pdf, slides ]
L. D'Antoni, and M. Veanes
in Proceedings of 25th International Conference on Computer-Aided Verification, 2013
Selected for the Special Issue of the journal Formal Methods in System Design for CAV 2013!!
Static Analysis of String Encoders and Decoders [ pdf, slides ]
L. D'Antoni, and M. Veanes
14th International Conference on Verification, Model Checking, and Abstract Interpretation, 2013
Streaming Tree Transducers [ pdf ]
R. Alur, and L. D'Antoni
39th International Colloquium on Automata, Languages, and Programming, 2012
Global Progress in Dynamically Merged Multiparty Sessions [ pdf ]
L. Bettini, M. Coppo, L. D'Antoni, M. De Luca, M. Dezani-Ciancaglini, and N. Yoshida
19th International Conference on Concurrency Theory, 2008

Peer-reviewed Journals

Streaming Tree Transducers [ pdf ]
R. Alur, and L. D'Antoni
Journal of the ACM, 2017
Automata Tutor and what we learned from building an online teaching tool [ pdf ]
L. D'Antoni, M. Weaver, A. Weinert, R. Alur
Bulletin of EATCS
Extended Symbolic Finite Automata and Transducers [ link ]
L. D'Antoni, and M. Veanes
Formal Methods in System Design
Fast: A Transducer-Based Language for Tree Manipulation (extended version) [ link ]
L. D'Antoni, M. Veanes, B. Livshits, D. Molnar
ACM Transactions on Programming Languages and Systesm
How Can Automatic Feedback Help Students Construct Automata? [ pdf ]
L. D'Antoni, D. Kini, R. Alur, S. Gulwani, M. Viswanathan, B. Hartmann,
Special Issue of ACM Transactions on Computer-Human Interaction (ACM TOCHI 2015)
High-Performance Complex Event Processing over Hierarchical Data [ pdf ]
B. Mozafari, K. Zeng, L. D'Antoni, and C. Zaniolo
In ACM TODS's Special Issue on "Best of SIGMOD", Dec, 2013

Tutorials

Programming using Automata and Transducers [ slides ]
L. D'Antoni, and M. Veanes
42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Workshops

Fairness as a Program Property
A. Albarghouthi, L. D'Antoni, S. Drews, and A. Nori
FATML 16, Fairness and Accountability in Machine Learning [ pdf ]
Teaching Finite Automata with AutomataTutor
R. Alur, L. D'Antoni, B. Hartmann, S. Gulwani, D. Kini, and M. Viswanathan
Programming Language Technologies for Online Open Courses, 2013
Towards Understanding Web Scrapers [ pdf ]
L. D'Antoni
PLDI Student Research Competition, 2013
Streaming Tree Transducers [ pdf ]
R. Alur, and L. D'Antoni
Highlights of Logic, Games and Automata, 2013
Automated Grading of DFA Constructions [ pdf ]
R. Alur, L. D'Antoni, S. Gulwani, D. Kini, and M. Viswanathan
Highlights of Logic, Games and Automata, 2013
Sensitivity Analysis using Type-Based Constraints [ pdf ]
L. D'Antoni, M. Gaboardi, E. J. G. Arias, A. Haeberlen, and B. C. Pierce
Functional Programming Concepts in Domain-Specific Languages, 2013
Streaming Tree Transducers [ pdf ]
R. Alur, and L. D'Antoni
Tree Transducers and Formal Methods (Dagstuhl Seminar 13192), 2013
Fast: Functional Abstraction of Symbolic Transductions [ pdf ]
L. D'Antoni, and M. Veanes
Tree Transducers and Formal Methods (Dagstuhl Seminar 13192), 2013
Operating System Support For Augmented Reality Applications [ pdf ]
L. D'Antoni, A. Dunn, T. Kohno, B. Livshits, D. Molnar, A. Moshchuk, E. Ofek, F. Roesner, S. Saponas, M. Veanes, and H.J. Wang
14th Workshop on Hot Topics in Operating Systems, 2013

Dissertation

Programming using Automata and Transducers [ pdf ]
L. D'Antoni
PhD Thesis, University of Pennsylvania, 2015

Books

Software Foundations [ ebook ]
B. C. Pierce et al.
Secondary contributor

Internal Reports

In the Maze of Data Languages [ pdf, slides ]
L. D'Antoni
Written Preliminary Test II, 2012