Home > News > All News > Xinyu Wang

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.