| Program synthesis using abstraction refinement X Wang, I Dillig, R Singh Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 82 | 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 | 47 | 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 | 45 | 2017 |
| FIDEX: filtering spreadsheet data using examples X Wang, S Gulwani, R Singh ACM SIGPLAN Notices 51 (10), 195-213, 2016 | 39 | 2016 |
| 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 | 38 | 2018 |
| Bottom-up context-sensitive pointer analysis for Java Y Feng, X Wang, I Dillig, T Dillig Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015 | 34 | 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 | 22 | 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 | 19 | 2020 |
| Relational program synthesis Y Wang, X Wang, I Dillig Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018 | 16 | 2018 |
| 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 | 16 | 2015 |
| 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 | 15 | 2021 |
| 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 | 10 | 2021 |
| 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 | 9 | 2020 |
| Learning Abstractions for Program Synthesis X Wang, G Anderson, I Dillig, KL McMillan Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 9 | 2018 |
| 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 | 6 | 2021 |
| 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 | 6 | 2017 |
| Near-optimal spectrum allocation for cognitive radios: a frequency-time auction perspective X Wang, G Sun, J Yin, Y Wang, X Tian, X Wang 2012 IEEE Global Communications Conference (GLOBECOM), 4921-4926, 2012 | 5 | 2012 |
| 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 | 4 | 2022 |
| Impact of correlated mobility and cluster scalability on connectivity of wireless networks Q Wang, L Liu, J Zhang, X Wang, X Wang, S Lu ACM SIGMETRICS Performance Evaluation Review 42 (1), 549-550, 2014 | 2 | 2014 |
| 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 | | 2022 |
