
Registered user since Thu 10 Nov 2016
Name:Qinheping Hu
Affiliation:University of Wisconsin-Madison, USA
Personal website:http://pages.cs.wisc.edu/~qhu28/
Research interests:Programming Lnagugage
Contributions
POPL 2021 | Semantics-Guided Synthesis | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile