Chenglong Wang
Chenglong Wang
Verified email at
Cited by
Cited by
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
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
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
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
Execution-guided neural program decoding
C Wang, PS Huang, A Polozov, M Brockschmidt, R Singh
ICML workshop on Neural Abstract Machines and Program Induction v2 (NAMPI), 2018
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
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
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
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
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
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
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
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
Learning transferable graph exploration
H Dai, Y Li, C Wang, R Singh, PS Huang, P Kohli
Advances in Neural Information Processing Systems, 2518-2529, 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
Program Synthesis Using Deduction-Guided Reinforcement Learning
Y Chen, C Wang, O Bastani, I Dillig, Y Feng
International Conference on Computer Aided Verification, 587-610, 2020
Scout: Rapid Exploration of Interface Layout Alternatives through High-Level Design Constraints
A Swearngin, C Wang, A Oleson, J Fogarty, AJ Ko
Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems …, 2020
The system can't perform the operation now. Try again later.
Articles 1–20