Write a Blog >>
Loris D'Antoni

Registered user since Fri 10 Apr 2015

Name:Loris D'Antoni

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

Affiliation:University of Wisconsin–Madison
Research interests:Programming languages, verification, synthesis, automata


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