Write a Blog >>
ECOOP 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
co-located with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / ECOOP 2017 (series) / Loris D'Antoni
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