I’m a 4th-year computer science PhD student at University of Washington PLSE group, working with Ras Bodik and Alvin Cheung. I want to make it easier for people to play with data.
Quite 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.
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.