Xinyu Wang
Title
Cited by
Cited by
Year
Program synthesis using abstraction refinement
X Wang, I Dillig, R Singh
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
482017
FIDEX: filtering spreadsheet data using examples
X Wang, S Gulwani, R Singh
ACM SIGPLAN Notices 51 (10), 195-213, 2016
292016
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
282018
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
282017
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
232015
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
142020
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
132015
Relational program synthesis
Y Wang, X Wang, I Dillig
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
92018
Sketch-Driven Regular Expression Generation from Natural Language and Examples
X Ye, Q Chen, X Wang, I Dillig, G Durrett
arXiv preprint arXiv:1908.05848, 2019
62019
Learning Abstractions for Program Synthesis
X Wang, G Anderson, I Dillig, KL McMillan
International Conference on Computer Aided Verification, 407-426, 2018
62018
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
52017
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
52012
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
22014
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
12020
Web Question Answering with Neurosymbolic Program Synthesis
Q Chen, A Lamoreaux, X Wang, G Durrett, O Bastani, I Dillig
arXiv preprint arXiv:2104.07162, 2021
2021
Interpretable Program Synthesis
T Zhang, Z Chen, Y Zhu, P Vaithilingam, X Wang, EL Glassman
2021
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
2020
The system can't perform the operation now. Try again later.
Articles 1–17