Xinyu Wang

According to our database, Xinyu Wang authored at least 11 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Sketch-Driven Regular Expression Generation from Natural Language and Examples.

Xi Ye, Qiaochu Chen, Xinyu Wang, Isil Dillig, Greg Durrett

Trans. Assoc. Comput. Linguistics, 2020

Automated policy synthesis for system call sandboxing.

Shankara Pailoor, Xinyu Wang, Hovav Shacham, Isil Dillig

Proc. ACM Program. Lang., 2020

Multi-modal synthesis of regular expressions.

Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2018

Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example.

Navid Yaghmazadeh, Xinyu Wang, Isil Dillig

Proc. VLDB Endow., 2018

Program synthesis using abstraction refinement.

Xinyu Wang, Isil Dillig, Rishabh Singh

Proc. ACM Program. Lang., 2018

Relational program synthesis.

Yuepeng Wang, Xinyu Wang, Isil Dillig

Proc. ACM Program. Lang., 2018

Learning Abstractions for Program Synthesis.

Xinyu Wang, Greg Anderson, Isil Dillig, Kenneth L. McMillan

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Synthesis of data completion scripts using finite tree automata.

Xinyu Wang, Isil Dillig, Rishabh Singh

Proc. ACM Program. Lang., 2017

2016

FIDEX: filtering spreadsheet data using examples.

Xinyu Wang, Sumit Gulwani, Rishabh Singh

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

EXPLORER : query- and demand-driven exploration of interprocedural control flow properties.

Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Bottom-Up Context-Sensitive Pointer Analysis for Java.

Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015