I am a final-year Ph.D. student at Penn advised by Rajeev Alur. 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

I am on the academic job market this year (Research Statement, Teaching Statement, CV).
I will be serving as a Program Commitee member for PLOOC 2015!
AutomataTutor is now being used by more than 2,000 students and it has graded more than 30,000 assignments!!

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.
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 ]

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

POPL 2016: External review committee member
CAV 2015: PC member of the artifact evaluation commitee
PLOOC 2015: PC member

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.