Xinyu Wang
Titel
Zitiert von
Zitiert von
Jahr
Program synthesis using abstraction refinement
X Wang, I Dillig, R Singh
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
402017
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
242017
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
232018
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
212015
FIDEX: filtering spreadsheet data using examples
X Wang, S Gulwani, R Singh
ACM SIGPLAN Notices 51 (10), 195-213, 2016
202016
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
122015
Relational program synthesis
Y Wang, X Wang, I Dillig
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
72018
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
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
42020
Learning Abstractions for Program Synthesis
X Wang, G Anderson, I Dillig, KL McMillan
International Conference on Computer Aided Verification, 407-426, 2018
42018
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
32020
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
32017
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
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
2020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15