
Registered user since Wed 15 Jun 2016
Name:Joseph Devietti
Affiliation:University of Pennsylvania
Personal website:http://cis.upenn.edu/~devietti/
Contributions
CPP 2017 | Verifying dynamic race detection | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile