Write a Blog >>
Loris D'Antoni

Registered user since Fri 10 Apr 2015

Name: Loris D’Antoni

Bio: I am an assistant professor at the University of Wisconsin, Madison.

Country: Italy

Affiliation: University of Wisconsin–Madison

Personal website: http://pages.cs.wisc.edu/~loris/

Research interests: Programming languages, verification, synthesis, automata

Contributions

PLDI 2017 Control-Flow Recovery from Partial Failure Reports
Automatic Program Inversion using Symbolic Transducers
Session Chair of Static Analysis (part of PLDI Research Papers)
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile