Loris D'Antoni

Loris D'Antoni

Department of Computer and Information Science
Ph.D. student
University of Pennsylvania
Levine 565
3330 Walnut Street, Philadelphia, PA 19104-6389
lorisdan (at) seas (dot) upenn (another dot) edu

I am a fifth year Ph.D student, advised by Rajeev Alur.
I previously studied at the Universita' degli studi di Torino where I got my master's degree in computer science.

CV | LinkedIn | Quora


I'm interested in using the power of scalable decision procedures to design languages that help users dealing with complex programming tasks. Here are my main projects:

  • Automata based Programming Languages: I designed domain-specific languages that use automata techniques to perform useful program analysis and to enable fast execution (e.g Bex, and Fast).
  • Symbolic Automata: I try to combine automata and SMT solvers to reason about strings and tress over complex and infinite alphabets.
  • AutomataTutor: A tool for teaching finite automata has already been used at Penn, UIUC, University of Reykjavik, EPFL, and UCSD.

Selected Publications (Full List of Publications, DBLP, Google Scholar)

  • DReX: A Declarative Language for Efficiently Computable Regular String Transformations
    R. Alur, L. D'Antoni, M. Raghothaman, POPL 2015
  • Program Boosting: Program Synthesis via Crowd-Sourcing
    R. Cochran, L. D'Antoni, B. Livshits, D. Molnar, M. Veanes, POPL 2015
  • Symbolic Visibly Pushdown Automata [ pdf ]
    L. D'Antoni, R. Alur, CAV 2014
  • Fast: A Transducer-Based Language for Tree Manipulation [ short pdf, pdf, slides ]
    L. D'Antoni, M. Veanes, B. Livshits, D. Molnar, PLDI 2014
    Fast is live, try it out!!
  • Minimization of Symbolic Automata [ pdf, slides ]
    L. D'Antoni, M. Veanes, POPL 2014
  • Regular Functions, Register Cost Automata, and Generalized Min-Cost Problems [ short pdf, pdf ]
    R. Alur, L. D'Antoni, J. V. Deshmukh, M. Raghothaman, Y. Yuan , LICS 2013
  • Automated Grading of DFA Constructions [ pdf, slides ]
    R. Alur, L. D'Antoni, S. Gulwani, D. Kini, M. Viswanathan, IJCAI 2013
    AutomataTutor is live, try it out!!
  • 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 2013
  • Equivalence of Extended Symbolic Finite Transducers [ short pdf, pdf, slides ]
    L. D'Antoni, M. Veanes, CAV 2013
    Selected for the Special Issue of the journal Formal Methods in System Design for CAV 2013!!
  • High-Performance Complex Event Processing over Hierarchical Data [ pdf ]
    B. Mozafari, K. Zeng, L. D'Antoni, C. Zaniolo, ACM TODS 2013
  • Static Analysis of String Encoders and Decoders [ pdf, slides ]
    L. D'Antoni, M. Veanes, VMCAI 2013
  • Streaming Tree Transducers [ short pdf, pdf, slides ]
    R. Alur, L. D'Antoni, ICALP 2012


  • Programmins using Automata and Transducers [ link ]
    L. D'Antoni, M. Veanes, POPL 2015

Professional Activities

  • PC Member of CAV 2015 Artifact Evaluation Commitee



Music: piano, saxophone, drums;
Sport: squash, soccer, volleyball;
Magic: cards, coins, and more;
Cooking and Japanese Animation