Xinyu Wang
Three papers and keynote by CSE researchers at SPLASH 2024
Prof. Cyrus Omar delivered a keynote lecture on programming experience design and new papers by CSE authors cover a range of topics related to programming languages.CSE researchers win Distinguished Paper Award at OOPSLA 2024
The award recognizes the significance of their research on SQL query equivalence checking.Eleven papers by CSE researchers at VLDB 2024
CSE authors are presenting new research on topics related to data management, analysis, mining, and more.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.Eight 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.