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 | 311 | 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 | 241 | 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 | 157 | 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 | 134 | 2018 |
Cosette: An Automated Prover for SQL. S Chu, C Wang, K Weitz, A Cheung CIDR, 2017 | 100 | 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 | 98 | 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 | 87 | 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 | 56 | 2020 |
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 | 52 | 2017 |
Pointing out SQL queries from text C Wang, M Brockschmidt, R Singh | 51 | 2018 |
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 | 46 | 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 | 43 | 2018 |
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 | 42 | 2021 |
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 | 41 | 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 | 37 | 2022 |
Demystifying gpt self-repair for code generation TX Olausson, JP Inala, C Wang, J Gao, A Solar-Lezama arXiv preprint arXiv:2306.09896, 2023 | 36 | 2023 |
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 | 31 | 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 | 30 | 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 |
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 | 22 | 2015 |