This page shows all presentations of this author published in EasyChair Smart Slide.
Direct Manipulation for Imperative Programs
Qinheping Hu, Roopsha Samanta, Rishabh Singh and Loris D'Antoni
Syntax Guided Synthesis with Quantitative Syntactic Objectives
Qinheping Hu and Loris D'Antoni