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
3222018
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
2502017
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
1642018
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
1362018
Cosette: An Automated Prover for SQL.
S Chu, C Wang, K Weitz, A Cheung
CIDR, 2017
1022017
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
1002018
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
882017
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
622020
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
542017
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
522023
Pointing out SQL queries from text
C Wang, M Brockschmidt, R Singh
522018
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
492020
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
472021
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
442018
Demystifying gpt self-repair for code generation
TX Olausson, JP Inala, C Wang, J Gao, A Solar-Lezama
arXiv preprint arXiv:2306.09896, 2023
432023
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
402022
Interactive code generation via test-driven user-intent formalization
SK Lahiri, A Naik, G Sakkas, P Choudhury, C von Veh, M Musuvathi, ...
arXiv preprint arXiv:2208.05950, 2022
392022
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
302017
Learning transferable graph exploration
H Dai, Y Li, C Wang, R Singh, PS Huang, P Kohli
Advances in Neural Information Processing Systems 32, 2019
282019
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
222015
The system can't perform the operation now. Try again later.
Articles 1–20