Xinyu Wang

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Sketch-Driven Regular Expression Generation from Natural Language and Examples.
Trans. Assoc. Comput. Linguistics, 2020

Automated policy synthesis for system call sandboxing.
Proc. ACM Program. Lang., 2020

Multi-modal synthesis of regular expressions.
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.
Proc. VLDB Endow., 2018

Program synthesis using abstraction refinement.
Proc. ACM Program. Lang., 2018

Relational program synthesis.
Proc. ACM Program. Lang., 2018

Learning Abstractions for Program Synthesis.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Synthesis of data completion scripts using finite tree automata.
Proc. ACM Program. Lang., 2017

2016
FIDEX: filtering spreadsheet data using examples.
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.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Bottom-Up Context-Sensitive Pointer Analysis for Java.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015


  Loading...