I’m a 5th-year computer science PhD candidate at University of Washington PLSE group, working with Ras Bodik and Alvin Cheung. I'm working towards automated end-user programming.
A while ago, I studied in Peking University. I was lucky to work with Zhenjiang Hu and Yingfei Xiong on program transformation.
I'm excited about the following projects:
- Draco: Formalizing Visualization Design Knowledge as Constraints.
- Scythe: Synthesizing SQL queries from input-output examples.
- Cosette: Reasoning about SQL qurey equivalence.
Visualization by Example (POPL 2020, to appear)
Learning Transferable Graph Exploration (NeurIPS 2019)
Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specs (CVPR 2019)
Speeding up Symbolic Reasoning for Relational Queries (OOPSLA 2018)
Formalizing Visualization Design Knowledge as Constraints: Actionable and Extensible Models in Draco (InfoVis 2018, Best Paper)
Natural Language to Structured Query Generation via Meta-Learning (NAACL 2018) (short paper)
NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System. (LREC 2018)
Synthesizing Highly Expressive SQL Queries from Input-Output Examples (PLDI 2017)
Cosette: An Automated SQL Solver (CIDR 2017)
Transforming Programs between APIs with Many-to-Many Mappings (ECOOP 2016)
Execution-Guided Neural Program Decoding (NAMPI 2018)
Demonstration of the Cosette Automated SQL Prover (SIGMOD Demo 2017, Best Demo)
Interactive Query Synthesis from Input-Output Examples (SIGMOD Demo 2017)
Composable and Hygienic Typed Syntax Macros (SAC 2015)
SWIN: Towards Type-Safe Java Program Adaptation between APIs (PEPM 2015)
© 2018 Chenglong Wang.
"So long as you retain your spirit of exploration, surely you shall find your way out. This I believe."
--- Map system
(From the game Cave Story
I enjoy piano, drama, badminton, hiking, and skydiving.