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