Chenglong Wang
Chenglong Wang
Verified email at
TitleCited byYear
Synthesizing highly expressive sql queries from input-output examples
C Wang, A Cheung, R Bodik
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
Formalizing visualization design knowledge as constraints: Actionable and extensible models in Draco
D Moritz, C Wang, GL Nelson, H Lin, AM Smith, B Howe, J Heer
IEEE transactions on visualization and computer graphics 25 (1), 438-448, 2018
Cosette: An Automated Prover for SQL.
S Chu, C Wang, K Weitz, A Cheung
CIDR, 2017
Program synthesis from natural language using recurrent neural networks
XV Lin, C Wang, D Pang, K Vu, L Zettlemoyer, MD Ernst
University of Washington Department of Computer Science and Engineering …, 2017
Natural Language to Structured Query Generation via Meta-Learning
PS Huang, C Wang, R Singh, W Yih, X He
arXiv preprint arXiv:1803.02400, 2018
Swin: Towards type-safe java program adaptation between apis
J Li, C Wang, Y Xiong, Z Hu
Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015
NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System
XV Lin, C Wang, L Zettlemoyer, MD Ernst
arXiv preprint arXiv:1802.08979, 2018
Pointing Out SQL Queries From Text
C Wang, M Brockschmidt, R Singh
Robust text-to-sql generation with execution-guided decoding
C Wang, K Tatwawadi, M Brockschmidt, PS Huang, Y Mao, O Polozov, ...
arXiv preprint arXiv:1807.03100, 2018
Transforming Programs between APIs with Many-to-Many Mappings
C Wang, J Jiang, J Li, Y Xiong, X Luo, L Zhang, Z Hu
30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016
Execution-Guided Neural Program Decoding
C Wang, PS Huang, A Polozov, M Brockschmidt, R Singh
arXiv preprint arXiv:1807.03100, 2018
Interactive query synthesis from input-output examples
C Wang, A Cheung, R Bodik
Proceedings of the 2017 ACM International Conference on Management of Data …, 2017
Demonstration of the Cosette Automated SQL Prover
S Chu, D Li, C Wang, A Cheung, D Suciu
Proceedings of the 2017 ACM International Conference on Management of Data …, 2017
Speeding up symbolic reasoning for relational queries
C Wang, A Cheung, R Bodík
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 157, 2018
Composable and hygienic typed syntax macros
C Omar, C Wang, J Aldrich
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1986-1991, 2015
Learning Transferable Graph Exploration
H Dai, Y Li, C Wang, R Singh, PS Huang, P Kohli
arXiv preprint arXiv:1910.12980, 2019
Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specifications
C Wang, R Bunel, K Dvijotham, PS Huang, E Grefenstette, P Kohli
arXiv preprint arXiv:1904.12004, 2019
The system can't perform the operation now. Try again later.
Articles 1–17