Follow
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
822017
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
472020
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
452017
FIDEX: filtering spreadsheet data using examples
X Wang, S Gulwani, R Singh
ACM SIGPLAN Notices 51 (10), 195-213, 2016
392016
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
382018
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
342015
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
222020
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
192020
Relational program synthesis
Y Wang, X Wang, I Dillig
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
162018
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
162015
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
152021
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
102021
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
92020
Learning Abstractions for Program Synthesis
X Wang, G Anderson, I Dillig, KL McMillan
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
92018
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
62021
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
62017
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
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
42022
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
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
The system can't perform the operation now. Try again later.
Articles 1–20