I am a final-year Ph.D. student at Penn advised by Rajeev Alur. In Fall 2015 I will join the University of Wisconsin, Madison, as an assistant professor. I am part of the NSF Expeditions in Computer Augmented Program Engineering (ExCAPE) to develop synthesis tools that can partially automate tricky programming tasks.

News

Our paper Extended Symbolic Finite Automata and Transducers was accepted to FMSD.
The extended version of Fast: A Transducer-Based Language for Tree Manipulation was accepted to TOPLAS.
In Fall 2015 I will join the University of Wisconsin, Madison, as an assistant professor!
I will be serving as a Program Commitee member for ICALP 2016, PLDI 2016, and POPL-SRC 2016!
My dissertation on Programming using Automata and Transducers won the Morris and Dorothy Rubinoff Award!
Luca Aceto wrote a blog post about AutomataTutor! Read it here.

Research Projects

My research focuses on combining formal methods and programming languages techniques to make programming simpler, less error-prone, and more efficient. These are some of the projects I worked on:

Automata-based Programming Languages: I designed domain-specific languages that use automata techniques to prove program properties and to generate efficient implementations (Bex, Fast, and DReX).
Symbolic Automata: I'm working on combining automata and SMT solvers to reason about strings and tress over complex and infinite alphabets. You can download my library here.
AutomataTutor: A tool for teaching finite automata that has already been used by more than 2,000 students at Penn, UIUC, University of Reykjavik, EPFL, UCSD, Mahidol University International College, University of Louisiana at Monroe, Cambridge, IIIT Delhi, John Hopkins, and University of Liverpool.

Selected Publications [ full list, DBLP, Google Scholar ]

Extended Symbolic Finite Automata and Transducers
L. D'Antoni, and M. Veanes
FMSD 15
Fast: A Transducer-Based Language for Tree Manipulation (extended version)
L. D'Antoni, M. Veanes, B. Livshits, D. Molnar
TOPLAS 15
How Can Automatic Feedback Help Students Construct Automata? [ pdf ]
L. D'Antoni, D. Kini, R. Alur, S. Gulwani, M. Viswanathan, B. Hartmann,
TOCHI 15
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations [ pdf ]
R. Alur, L. D'Antoni, M. Raghothaman,
DReX is live, try it out!
Approved by the POPL15 artifact evaluation committee!
POPL 15
Program Boosting: Program Synthesis via Crowd-Sourcing [ pdf, slides ]
R. Cochran, L. D'Antoni, B. Livshits, D. Molnar, M. Veanes
POPL 15
Symbolic Visibly Pushdown Automata [ pdf ]
L. D'Antoni, R. Alur
CAV 14
Fast: A Transducer-Based Language for Tree Manipulation [ short pdf, pdf, slides ]
L. D'Antoni, M. Veanes, B. Livshits, D. Molnar,
Fast is live, try it out!
PLDI 14
Minimization of Symbolic Automata [ pdf, slides ]
L. D'Antoni, M. Veanes
POPL 14
Regular Functions, Register Cost Automata, and Generalized Min-Cost Problems [ pdf ]
R. Alur, L. D'Antoni, J. V. Deshmukh, M. Raghothaman, Y. Yuan
LICS 13
Automated Grading of DFA Constructions [ pdf, slides ]
R. Alur, L. D'Antoni, S. Gulwani, D. Kini, M. Viswanathan,
AutomataTutor is live, try it out!
IJCAI 13
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
HotOS 13
Equivalence of Extended Symbolic Finite Transducers [ pdf, slides ]
L. D'Antoni, M. Veanes,
Selected for the Special Issue of the journal Formal Methods in System Design for CAV 2013!
CAV 13
High-Performance Complex Event Processing over Hierarchical Data [ pdf ]
B. Mozafari, K. Zeng, L. D'Antoni, C. Zaniolo
ACM TODS 13
Static Analysis of String Encoders and Decoders [ pdf, slides ]
L. D'Antoni, M. Veanes
VMCAI 13
Streaming Tree Transducers [ short pdf, pdf, slides ]
R. Alur, L. D'Antoni
ICALP 12

Tutorials

Programming using Automata and Transducers [ slides ]
L. D'Antoni, M. Veanes
POPL 15

Professional Activities

I am or have been on the program committees for PLDI'16, ICALP'16, CAV-AEC'15, PLOOC'15. I am in the external review committee member for POPL'16.

Teaching

Teaching Assistant for CIS 262: Automata, Computability, and Complexity (Fall 2011).
Teaching Assistant for CIS 500: Software foundations (Spring 2012).
I built AutomataTutor, a tool that automatically grades and provides feedback for automata constructions. The tool is being used for teaching automata at Penn, UIUC, University of Reykjavik, and EPFL.
I'm a secondary contributor of the ebook Software foundations, used to teach Coq in many universities.

Hobbies

Sport: volleyball, squash, soccer, hiking, climbing...
Magic: cards, coins, and more.
Cooking and eating what I cook.
Music: piano, saxophone, drums.