Qinheping Hu - PLDI 2020

Write a Blog >>

Mon 15 - Fri 19 June 2020

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

2020

PLDI

Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems

Show activities from other conferences

PLDI 2020-profile
View general profile