Chenglong Wang
Chenglong Wang
Microsoft Research
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
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
Cosette: An Automated Prover for SQL.
S Chu, C Wang, K Weitz, A Cheung
CIDR, 2017
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
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
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
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
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
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
Program synthesis using deduction-guided reinforcement learning
Y Chen, C Wang, O Bastani, I Dillig, Y Feng
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
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
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
Learning transferable graph exploration
H Dai, Y Li, C Wang, R Singh, PS Huang, P Kohli
Advances in Neural Information Processing Systems 32, 2019
Speeding up symbolic reasoning for relational queries
C Wang, A Cheung, R Bodík
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 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
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/CVF Conference on Computer Vision and Pattern …, 2019
The system can't perform the operation now. Try again later.
Articles 1–20