associate professor @UMichCSE. previously researcher @Microsoft and PhD @UTCompSci. programming languages and formal methods.
Ann Arbor, MI
Joined May 2020
- Tweets1.3K
- Following571
- Followers1.3K
- Likes3.9K
Xinyu Wang retweeted
Today we are releasing JST-2, the world's first full-stack physics-native world foundation model.
Many world models learn in pixel/video space. We went back to first principles and built the entire model stack in 3D.
Generate a 3D scene in seconds and expand it in real time. Create characters with motion built in, all through one general architecture.
Xinyu Wang retweeted
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
Back to Ann Arbor from PLDI. Always amazed by how organized things are at PLDI. Many thanks to the organizers etc. Hope the PL and formal methods community to continue being relevant, if not more!
anyone, without background in AND/OR(types, synthesis, LLMs, AI for code, scientific computing), interested in doing a postdoc at U of Michigan?
Xinyu Wang retweeted
RIP Tony Hoare. 😢
I only met him a couple times many years ago at MSR and was not accomplished enough at the time to have much useful to say, but he sure cast a long shadow over the field...
Xinyu Wang retweeted
“How I Became a Storyteller (and How You Can Too)” — the most important talk I’ve ever given. And now, it’s yours to experience.
youtu.be/ur_YQpVgW5s
Xinyu Wang retweeted
Thrilled to join the UMich faculty in 2026!
I'll also be recruiting PhD students this upcoming cycle. If you're interested in AI and formal reasoning, consider applying!
We’re happy to announce that @GabrielPoesia will be joining our faculty as an assistant professor in Fall 2026. Welcome to CSE!
▶️Learn more about Gabriel here: gpoesia.com
#UMichCSE #GoBlue
ALT Welcome to Assistant Professor Gabriel Poesia!
Xinyu Wang retweeted
Looking forward to discuss the promise of neurosymbolic approaches to trustworthy AI at @NSF CISE nsf.gov/events/neurosymbolic…
Xinyu Wang retweeted
My colleague Tom Doeppner retired after 49 years of teaching at @BrownCSDept. On his last day of class, a whole bunch of faculty and staff showed up and sang a song we made for him. You can feel the love!
youtube.com/watch?v=2254BrKY…
Xinyu Wang retweeted
@amoellercsaudk and I are co-chairing OOPSLA'26 and soliciting PC nominations. If you'd like to serve on the OOPSLA PC next year or know anyone (e.g., recent graduate) who you think would do a good job, please nominate them here: forms.gle/bhnrKuAqJEKFGmXq5
Xinyu Wang retweeted
🚨 CSE is hiring faculty! 🚨
Join a top 10 program where you can shape the future through the power of computing. Applicants for tenure-track positions are encouraged to apply by November 15. #UMCSE #UMich
▶️ Learn more and apply: cse.engin.umich.edu/about/fa…
Xinyu Wang retweeted
Professor Tom Reps retires after 39 years of research and mentorship.
Dubbed "the soul of the department" by colleagues, his parting gift is a new professorship honoring late wife (and CS Professor Emerita) Susan B. Horwitz.
Get the full story: cs.wisc.edu/2024/07/16/profe…
Xinyu Wang retweeted
If you're an NSF PI (or aspirant) not in AI, you probably don't know that @mlittmancs sends out a monthly newsletter educating the community about the workings of the NSF. With a healthy dose of Littmania (jokes, puzzles, etc.). 💯 recommended!
littmania.com/courses/my-nsf…
RIP
Will miss him, a great scientist with work spanning architecture, PL, and formal methods, and a wonderful person; RIP
news.mit.edu/2024/computer-s…
Xinyu Wang retweeted
A beautiful sunrise view of North Campus from the Beyster building balcony, courtesy of a CSE staff member @UMengineering
ALT Red and orange sunrise over North Campus
Xinyu Wang retweeted
Last month the "DB Research Meeting" was held @mitcsail, hosted by Sam Madden and Natassa Ailamaki (🙏). An encounter of the who's who in data systems research.
I warned for the declining impact of DB research & pitched better incentives for system work: bit.ly/dbmeeting-boncz
Xinyu Wang retweeted
I'm recruiting PhD students (again) this year! If you're interested in hardware security, formal synthesis, or the intersection of formal methods and computer architecture in general, please apply to @UMichCSE's PhD program and mention me in your app!
RTs greatly appreciated🙏.
After PLDI deadline, doing okay! (This is Michigan CSE building from the other side.) – at Ann Arbor, MI
Program synthesis for the win! – at Ann Arbor, MI
I'm recruiting PhD students for Fall 2024 @CIS_Penn! Our lab is using ML to build the next generation of data systems.
Come build systems that automatically invent new algorithms, adapt to changing environments, and understand user intention!
rm.cab/phd
ALT The three pillars of machine programming: invention, adaption, and intention. Inventive and adaptive systems are called "instance optimized" systems. Inventive and intentional systems are "program synthesis." Adaptive and intentional systems are "auto tuning."