Følg
Xinyu Wang
Tittel
Sitert av
Sitert av
År
Program synthesis using abstraction refinement
X Wang, I Dillig, R Singh
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
1052017
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
762020
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
552017
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
472018
FIDEX: filtering spreadsheet data using examples
X Wang, S Gulwani, R Singh
ACM SIGPLAN Notices 51 (10), 195-213, 2016
472016
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
452020
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
402015
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
322021
Relational program synthesis
Y Wang, X Wang, I Dillig
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
272018
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
262020
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
262020
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
232021
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
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
142022
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
132021
Learning abstractions for program synthesis
X Wang, G Anderson, I Dillig, KL McMillan
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
132018
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
72017
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
52022
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
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
22023
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20