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
| PLDI 2020 | Author of Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems within the PLDI Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2020-profile
View general profile
View general profile