Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Xinyu Wang

Registered user since Mon 7 Sep 2015

Name:Xinyu Wang

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


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
Web Question Answering with Neurosymbolic Program Synthesis
Synthesizing Data Structure Refinements from Integrity Constraints
Show activities from other conferences

Using general profile