|
|
About Me |
|
I am an applied scientist in the proof platforms (P2) team within the Automated Reasoning Group at Amazon Web Services.
I completed my Ph.D. in Computer Science at University of Wisconsin-Madison advised by Loris D'Antoni. My research aims to propel program synthesizers---automated tools generating programs from specification---to real world scenarios by exploring effective specification mechanism for users to express their intents, and studying when and why synthesizers fail on given problems. Before that, I obtained my bachelor's degree in Computer Science from the Yao Class at Tsinghua University, advised by Giulio Chiribella. |
News |
I defended my PhD thesis: Guarantees in Program Synthesis! June 2021 |
Synthesis with Asymptotic Resource Bounds accepted at CAV 21! Apr 2021 |
Semantics-guided Synthesis conditionally accepted at POPL 21! Oct 2020 |
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems to appear at PLDI 20! Feb 2020 |
Our work on synthesis for programs involved large integer values accepted at ESOP 20 and selected for a special issue of TOPLAS! Feb 2020 |
I presented our paper on direct manipulation at SAS 2019. Here is a demonstration video of direct manipulation for JAVA. Oct 2019 |
Talk at MWPLS19: "Guarantees in Program Synthesis". Sep 2019 |
Publications |
|
Workshop |
Talks & Posters |
Service |
|
Programming Language Design and Implementation (PLDI) — Artifact Evaluation Committee 2019 |