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 | 328 | 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 | 259 | 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 | 171 | 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 | 136 | 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 | 104 | 2018 |
Cosette: An Automated Prover for SQL. S Chu, C Wang, K Weitz, A Cheung CIDR, 1-7, 2017 | 102 | 2017 |
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 | 88 | 2017 |
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 | 63 | 2020 |
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 | 54 | 2023 |
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 | 54 | 2017 |
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 | 51 | 2020 |
Demystifying gpt self-repair for code generation TX Olausson, JP Inala, C Wang, J Gao, A Solar-Lezama arXiv preprint arXiv:2306.09896, 2023 | 50 | 2023 |
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 | 49 | 2021 |
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 | 48 | 2022 |
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 | 45 | 2018 |
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 | 38 | 2022 |
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 | 29 | 2017 |
Learning transferable graph exploration H Dai, Y Li, C Wang, R Singh, PS Huang, P Kohli Advances in Neural Information Processing Systems 32, 2019 | 28 | 2019 |
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 | 24 | 2023 |
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 | 23 | 2022 |