
Registered user since Thu 10 Nov 2016
Name: Qinheping Hu
Country: United States
Affiliation: University of Wisconsin-Madison
Personal website: http://pages.cs.wisc.edu/~qhu28/
Research interests: Programming Lnagugage
Contributions
PLDI 2017 | Automatic Program Inversion using Symbolic Transducers | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile