MENU 
News by Faculty
Xinyu Wang
Five papers by CSE researchers to be presented at POPL 2024
New research by CSE authors covers a range of cutting-edge topics related to programming languages.CSE researchers present new findings and tech at UIST 2023
CSE researchers have 2 papers and 4 demos appearing at the conference, covering new tech that improves accessibility, enhances user experience, and helps surgeons-in-training.U-M hosts 2023 Midwest Programming Languages Summit
The Summit brought together researchers interested in programming languages and compilers from across the region to exchange ideas and promote collaboration.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.UiPath Blog: August 17, 2022
Democratizing Automation: UiPath and University of Michigan Join Efforts
Prof. Xinyu Wang has a goal of building fundamental intelligent programming techniques that are useful in practice, and is supported by UiPath as he works toward his vision of democratizing automation so that more and more people around the world can automate their tedious tasks.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.