Cutting down on database maintenance with automated toolsWith 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 automationThe 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 2021The 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.