| Program synthesis using abstraction refinement X Wang, I Dillig, R Singh Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 117 | 2017 |
| Multi-modal synthesis of regular expressions Q Chen, X Wang, X Ye, G Durrett, I Dillig Proceedings of the 41st ACM SIGPLAN conference on programming language …, 2020 | 95 | 2020 |
| Interactive program synthesis by augmented examples T Zhang, L Lowmanstone, X Wang, EL Glassman Proceedings of the 33rd Annual ACM Symposium on User Interface Software and …, 2020 | 65 | 2020 |
| Synthesis of data completion scripts using finite tree automata X Wang, I Dillig, R Singh Proceedings of the ACM on Programming Languages 1 (OOPSLA), 2017 | 59 | 2017 |
| Automated migration of hierarchical data to relational tables using programming-by-example N Yaghmazadeh, X Wang, I Dillig Proceedings of the VLDB Endowment 11 (5), 580-593, 2018 | 55 | 2018 |
| FIDEX: filtering spreadsheet data using examples X Wang, S Gulwani, R Singh ACM SIGPLAN Notices 51 (10), 195-213, 2016 | 52 | 2016 |
| Bottom-up context-sensitive pointer analysis for Java Y Feng, X Wang, I Dillig, T Dillig Asian Symposium on Programming Languages and Systems, 465-484, 2015 | 45 | 2015 |
| Sketch-driven regular expression generation from natural language and examples X Ye, Q Chen, X Wang, I Dillig, G Durrett Transactions of the Association for Computational Linguistics 8, 679-694, 2020 | 39 | 2020 |
| Automated policy synthesis for system call sandboxing S Pailoor, X Wang, H Shacham, I Dillig Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-26, 2020 | 36 | 2020 |
| Web question answering with neurosymbolic program synthesis Q Chen, A Lamoreaux, X Wang, G Durrett, O Bastani, I Dillig Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 34 | 2021 |
| Relational program synthesis Y Wang, X Wang, I Dillig Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018 | 33 | 2018 |
| Interpretable program synthesis T Zhang, Z Chen, Y Zhu, P Vaithilingam, X Wang, EL Glassman Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems …, 2021 | 29 | 2021 |
| WebRobot: web robotic process automation using interactive programming-by-demonstration R Dong, Z Huang, II Lam, Y Chen, X Wang Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 22 | 2022 |
| EXPLORER: query-and demand-driven exploration of interprocedural control flow properties Y Feng, X Wang, I Dillig, C Lin Acm Sigplan Notices 50 (10), 520-534, 2015 | 17 | 2015 |
| Learning abstractions for program synthesis X Wang, G Anderson, I Dillig, KL McMillan Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 16 | 2018 |
| Semanticon: Specifying content-based semantic conditions for web automation programs K Pu, R Fu, R Dong, X Wang, Y Chen, T Grossman Proceedings of the 35th Annual ACM Symposium on User Interface Software and …, 2022 | 15 | 2022 |
| Synthesizing data structure refinements from integrity constraints S Pailoor, Y Wang, X Wang, I Dillig Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 15 | 2021 |
| DiLogics: Creating Web Automation Programs With Diverse Logics K Pu, J Yang, A Yuan, M Ma, R Dong, X Wang, Y Chen, T Grossman Proceedings of the 36th Annual ACM Symposium on User Interface Software and …, 2023 | 7 | 2023 |
| Connectivity analysis in wireless networks with correlated mobility and cluster scalability J Zhang, L Fu, Q Wang, L Liu, X Wang, X Wang IEEE/ACM Transactions on Networking 25 (4), 2375-2390, 2017 | 7 | 2017 |
| NL2Viz: natural language to visualization via constrained syntax-guided synthesis Z Wu, V Le, A Tiwari, S Gulwani, A Radhakrishna, I Radiček, G Soares, ... Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 6 | 2022 |
