Xinyu Wang
NSF backs U-M research to enhance reliability of distributed systems
Researchers in CSE have received a four-year NSF grant to support their development of semantic checkers for distributed systems.Seven CSE faculty earn NSF CAREER Awards
The NSF Faculty Early Career Development (CAREER) Program is the most prestigious award in support of early-career faculty who have the potential to serve as academic role models in research and education.Xinyu Wang earns NSF CAREER Award to democratize web automation
The AI-based programming assistant will enable users to describe a repetitive task and generate a program to help them automate it.Cutting down on database maintenance with automated tools
With the help of formal methods, Prof. Xinyu Wang is working to make the evolution of databases and its surrounding code less labor intensive and costly during schema changes.Prof. Xinyu Wang collaborates with UiPath to democratize automation
The two will collaborate on building new programming techniques that are accessible to non-experts and non-programmers.Four CSE co-authored papers presented at PLDI 2021
The papers define new ways to reconstruct program failures, program with live graphical elements, and extract information from webpages.Tool to automate popular security technique earns distinguished paper
The new technique automatically constructs policies for applications that keep them from compromising other programs.
Get to know: Xinyu Wang
“My research has the potential to democratize programming and make it possible for millions of people around the globe to automate otherwise tedious tasks using programming.”
7 new faculty in CSE
The new additions to the department offer a breadth of research and educational experience, with projects spanning robotic interaction and the future of programming languages.