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

PLDI 2023	Artifact Evaluation Co-Chair in Organizing Committee Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Research Artifacts-track
SPLASH 2022	Committee Member in Review Committee within the OOPSLA-track
ESEC/FSE 2022	Author of NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis within the Research Papers-track
PLDI 2022	Artifact Evaluation Co-Chair in Organizing Committee Co-chair in Artifact Evaluation Committee within the Research Artifacts-track Session Chair of Synthesis I (part of SIGPLAN Track) Author of WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration within the PLDI-track Committee Member in PLDI within the PLDI-track
SPLASH 2021	Committee Member in Reviewers within the Student Research Competition-track Author of Web Question Answering with Neurosymbolic Program Synthesis within the SIGPLAN Papers-track Committee Member in Judges within the Student Research Competition-track Author of Automated Policy Synthesis for System Call Sandboxing within the SIGPLAN Papers-track
APLAS 2021	Session Chair of Invited talk 1 (part of Keynote Talks) Committee Member in Program Committee within the Research 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 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