Xinyu Wang

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 24

Top Topics

Relational Tables

Regular Expressions

Program Synthesis

Top Venues

Proc. ACM Program. Lang.

Proc. VLDB Endow.

Publications

Xiang Li, Xiangyu Zhou, Rui Dong, Yihong Zhang, Xinyu Wang
Efficient Bottom-Up Synthesis for Programs with Local Variables. Proc. ACM Program. Lang. 8 (POPL) (2024)
Yang He, Pinhan Zhao, Xinyu Wang, Yuepeng Wang
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Yang He, Pinhan Zhao, Xinyu Wang, Yuepeng Wang
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints. CoRR (2024)
Rui Dong, Jie Liu, Yuxuan Zhu, Cong Yan, Barzan Mozafari, Xinyu Wang
SlabCity: Whole-Query Optimization using Program Synthesis. Proc. VLDB Endow. 16 (11) (2023)
Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie
NL2Viz: natural language to visualization via constrained syntax-guided synthesis. ESEC/SIGSOFT FSE (2022)
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
Web question answering with neurosymbolic program synthesis. PLDI (2021)
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig
Web Question Answering with Neurosymbolic Program Synthesis. CoRR (2021)
Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig
Synthesizing data structure refinements from integrity constraints. PLDI (2021)
Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig
Multi-modal synthesis of regular expressions. PLDI (2020)
Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett
Sketch-Driven Regular Expression Generation from Natural Language and Examples. Trans. Assoc. Comput. Linguistics 8 (2020)
Shankara Pailoor, Xinyu Wang, Hovav Shacham, Isil Dillig
Automated policy synthesis for system call sandboxing. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig
Multi-Modal Synthesis of Regular Expressions. CoRR (2019)
Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett
Sketch-Driven Regular Expression Generation from Natural Language and Examples. CoRR (2019)
Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan
Learning Abstractions for Program Synthesis. CAV (1) (2018)
Navid Yaghmazadeh, Xinyu Wang, Isil Dillig
Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example. Proc. VLDB Endow. 11 (5) (2018)
Xinyu Wang, Isil Dillig, Rishabh Singh
Program synthesis using abstraction refinement. Proc. ACM Program. Lang. 2 (POPL) (2018)
Yuepeng Wang, Xinyu Wang, Isil Dillig
Relational Program Synthesis. CoRR (2018)
Yuepeng Wang, Xinyu Wang, Isil Dillig
Relational program synthesis. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan
Learning Abstractions for Program Synthesis. CoRR (2018)
Xinyu Wang, Isil Dillig, Rishabh Singh
Synthesis of data completion scripts using finite tree automata. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Xinyu Wang, Isil Dillig, Rishabh Singh
Synthesis of Data Completion Scripts using Finite Tree Automata. CoRR (2017)
Navid Yaghmazadeh, Xinyu Wang, Isil Dillig
Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example. CoRR (2017)
Xinyu Wang, Isil Dillig, Rishabh Singh
Program Synthesis using Abstraction Refinement. CoRR (2017)
Xinyu Wang, Sumit Gulwani, Rishabh Singh
FIDEX: filtering spreadsheet data using examples. OOPSLA (2016)
Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig
Bottom-Up Context-Sensitive Pointer Analysis for Java. APLAS (2015)
Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties. OOPSLA (2015)