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
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
Cosette: An Automated Prover for SQL.
S Chu, C Wang, K Weitz, A Cheung
CIDR, 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
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
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
Execution-Guided Neural Program Decoding
C Wang, PS Huang, A Polozov, M Brockschmidt, R Singh
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
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
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
Speeding up symbolic reasoning for relational queries
C Wang, A Cheung, R Bodik
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018
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
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
Proceedings of the IEEE Conference on Computer Vision and Pattern …, 2019
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
Scout: Rapid Exploration of Interface Layout Alternatives through High-Level Design Constraints
A Swearngin, C Wang, A Oleson, J Fogarty, AJ Ko
arXiv preprint arXiv:2001.05424, 2020
Visualization by example
C Wang, Y Feng, R Bodik, A Cheung, I Dillig
Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019
Learning Transferable Graph Exploration
H Dai, Y Li, C Wang, R Singh, PS Huang, P Kohli
Advances in Neural Information Processing Systems, 2514-2525, 2019
The system can't perform the operation now. Try again later.
Articles 1–19