Xinyu Wang

Registered user since Mon 7 Sep 2015

Name: Xinyu Wang

Bio: I’m an assistant professor in the Computer Science and Engineering Department at the University of Michigan, Ann Arbor.

Country: United States

Affiliation: University of Michigan

Personal website: https://web.eecs.umich.edu/~xwangsd/

Twitter: https://twitter.com/xwangsd

Research interests: programming languages, formal methods, software engineering

Contributions

APLAS 2021 Committee Member in Program Committee
SPLASH 2021 Committee Member in Reviewers/Judges within the Student Research Competition-track
PLDI 2021 Author of Web Question Answering with Neurosymbolic Program Synthesis within the PLDI Research Papers-track
Author of Synthesizing Data Structure Refinements from Integrity Constraints within the PLDI Research Papers-track
Committee Member in Program Committee within the PLDI Research Papers-track
SPLASH 2020 Author of Automated Policy Synthesis for System Call Sandboxing within the OOPSLA-track
PLDI 2020 Author of Multi-modal Synthesis of Regular Expressions within the PLDI Research Papers-track
SPLASH 2018 Author of Relational Program Synthesis within the OOPSLA-track
POPL 2018 Author of Program Synthesis using Abstraction Refinement within the Research Papers-track
SPLASH 2017 Author of Synthesis of Data Completion Scripts using Finite Tree Automata within the OOPSLA-track
SPLASH 2016 Author of FIDEX: Filtering Spreadsheet Data using Examples within the OOPSLA-track
SPLASH 2015 Author of EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties within the OOPSLA-track