Follow
Chenglong Wang
Chenglong Wang
Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
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
3562018
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
2702017
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
1932018
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
1422018
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
1112018
Cosette: An Automated Prover for SQL.
S Chu, C Wang, K Weitz, A Cheung
CIDR, 1-7, 2017
1092017
Program synthesis from natural language using recurrent neural networks
XV Lin, C Wang, D Pang, K Vu, MD Ernst
University of Washington Department of Computer Science and Engineering …, 2017
912017
On the design of ai-powered code assistants for notebooks
AM McNutt, C Wang, RA Deline, SM Drucker
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems …, 2023
702023
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
672020
Demystifying gpt self-repair for code generation
TX Olausson, JP Inala, C Wang, J Gao, A Solar-Lezama
CoRR, 2023
632023
Interactive code generation via test-driven user-intent formalization
SK Lahiri, S Fakhoury, A Naik, G Sakkas, S Chakraborty, M Musuvathi, ...
arXiv preprint arXiv:2208.05950, 2022
622022
Falx: Synthesis-powered visualization authoring
C Wang, Y Feng, R Bodik, I Dillig, A Cheung, AJ Ko
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems …, 2021
572021
Is Self-Repair a Silver Bullet for Code Generation?
TX Olausson, JP Inala, C Wang, J Gao, A Solar-Lezama
The Twelfth International Conference on Learning Representations, 2023
552023
Fault-aware neural code rankers
JP Inala, C Wang, M Yang, A Codas, M Encarnación, S Lahiri, ...
Advances in Neural Information Processing Systems 35, 13419-13432, 2022
552022
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
552017
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
542020
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
462018
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
332017
Execution-based evaluation for data science code generation models
J Huang, C Wang, J Zhang, C Yan, H Cui, JP Inala, C Clement, N Duan, ...
arXiv preprint arXiv:2211.09374, 2022
302022
Learning math reasoning from self-sampled correct and partially-correct solutions
A Ni, JP Inala, C Wang, O Polozov, C Meek, D Radev, J Gao
arXiv preprint arXiv:2205.14318, 2022
292022
The system can't perform the operation now. Try again later.
Articles 1–20