|
I am a second year Ph.D student. I'm advised by Rajeev Alur.
I previously studied
at the
Universita' degli studi di Torino where I
got my master's degree in computer science. This is my Resume.
Research
I am interested in formal modeling and verification, model checking, software analysis, logic, automata theory and complexity.
Now I am working on transducers, particularly tree-to-tree and string-to-term.
Coursework
Fall 2011: Teaching Assistant
for CIS 262: Automata, Computability, and Complexity.
Spring 2012: Teaching Assistant
for CIS 500: Software foundations.
Publications
-
R. Alur, L. D'Antoni, J. V. Deshmukh, M. Ragothaman, and Y. Yuan
Regular Functions, Register Cost Automata, and Generalized Min-Cost Problems [short pdf, pdf]
28th ACM/IEEE Symposium on Logic in Computer Science, 2013
-
R. Alur, L. D'Antoni, S. Gulwani, D. Kini, and M. Viswanathan
Automated Grading of DFA Constructions [pdf]
23th International Joint Conference on Artificial Intelligence, 2013
NEW: Live Running Version, Try it out!!
-
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
Operating System Support For Augmented Reality Applications [pdf]
14th Workshop on Hot Topics in Operating Systems, 2013
-
L. D'Antoni, and M. Veanes
Equivalence of Extended Symbolic Finite Transducers [short pdf, pdf]
in Proceedings of
25th International Conference on Computer-Aided Verification, 2013
-
B. Mozafari, K. Zeng, C. Zaniolo, and L. D'Antoni
High-Performance Complex Event Processing over Hierarchical Data
In ACM TODS's Special Issue on "Best of SIGMOD", Dec, 2013
-
L. D'Antoni, and M. Veanes
Static Analysis of String Encoders and Decoders [pdf]
14th International Conference on Verification, Model Checking, and Abstract Interpretation, 2013
-
R. Alur, and L. D'Antoni
Streaming tree transducers [short pdf, pdf]
39th International Colloquium on Automata, Languages, and Programming, 2012
-
L. Bettini, M. Coppo, L. D'Antoni, M. De Luca, M. Dezani-Ciancaglini, and N. Yoshida
Global Progress in Dynamically Merged Multiparty Sessions [pdf]
19th International Conference on Concurrency Theory, 2008
Submitted
Internal Reports
- L. D'Antoni, Written Preliminary Test II, 2012
In the Maze of Data Languages, [pdf]
Working Experience
Hobbies
Music: piano, saxophone, drums
Sport: squash, soccer, volleyball
then
Cooking and Japanese Animation
|
