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
Research interests:programming languages, formal methods, software engineering

Contributions

PLDI 2022 Artifact Evaluation Co-Chair in Organizing Committee
Committee Member in PLDI within the PLDI-track
APLAS 2021 Committee Member in Program Committee within the Research Papers-track
SPLASH 2021 Committee Member in Reviewers/Judges within the Student Research Competition-track
Author of Web Question Answering with Neurosymbolic Program Synthesis within the SIGPLAN Papers-track
Author of Synthesizing Data Structure Refinements from Integrity Constraints within the SIGPLAN Papers-track
PLDI 2021 Author of Web Question Answering with Neurosymbolic Program Synthesis within the PLDI-track
Author of Synthesizing Data Structure Refinements from Integrity Constraints within the PLDI-track
Committee Member in Program Committee within the PLDI-track
SPLASH 2022 Committee Member in Review Committee within the OOPSLA-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