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 | 356 | 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 | 270 | 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 | 193 | 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 | 142 | 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 | 111 | 2018 |
Cosette: An Automated Prover for SQL. S Chu, C Wang, K Weitz, A Cheung CIDR, 1-7, 2017 | 109 | 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 | 91 | 2017 |
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 | 70 | 2023 |
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 | 67 | 2020 |
Demystifying gpt self-repair for code generation TX Olausson, JP Inala, C Wang, J Gao, A Solar-Lezama CoRR, 2023 | 63 | 2023 |
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 | 62 | 2022 |
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 | 57 | 2021 |
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 | 55 | 2023 |
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 | 55 | 2022 |
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 | 55 | 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 | 54 | 2020 |
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 | 46 | 2018 |
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 | 33 | 2017 |
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 | 30 | 2022 |
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 | 29 | 2022 |