| 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 | 226 | 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 | 193 | 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 | 116 | 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 | 115 | 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 | 76 | 2017 |
| Cosette: An Automated Prover for SQL. S Chu, C Wang, K Weitz, A Cheung CIDR, 2017 | 73 | 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 | 68 | 2018 |
| Pointing out SQL queries from text C Wang, M Brockschmidt, R Singh | 42 | 2018 |
| 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 | 40 | 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 | 36 | 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 | 34 | 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 | 31 | 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 | 27 | 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 | 27 | 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 | 21 | 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 | 20 | 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 | 19 | 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 | 13 | 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 | 13 | 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 | 10 | 2019 |
