@xwangsd

associate professor @UMichCSE. previously researcher @Microsoft and PhD @UTCompSci. programming languages and formal methods.

 Ann Arbor, MI
web.eecs.umich.edu/~xwangsd/
Joined May 2020
  • Tweets1.3K
  • Following569
  • Followers1.3K
22Media
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!
1
25
2,004
anyone, without background in AND/OR(types, synthesis, LLMs, AI for code, scientific computing), interested in doing a postdoc at U of Michigan?
1
4
1
11
1,307
Xinyu Wang retweeted
Derek Dreyer@HerrDreyerMar 9
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...
17
60
14
334
34,794
“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
1
5
12
2,105
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!
Computer Science and Engineering at Michigan@UMichCSE8 Jul 2025
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
Welcome to Assistant Professor Gabriel Poesia!

ALT Welcome to Assistant Professor Gabriel Poesia!

31
28
3
281
43,837
Looking forward to discuss the promise of neurosymbolic approaches to trustworthy AI at @NSF CISE nsf.gov/events/neurosymbolic…

Neurosymbolic Systems for Trustworthy AI

CISE Distinguished Lecture Series

nsf.gov
1
5
32
2,264
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…

A Song For Tom Doeppner At His Last Lecture

A tribute to Brown CS faculty member and vice-chair Tom Doeppner at...

youtube.com
1
1
38
2,766
Replying to @amoellercsaudk
@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
1
10
32
6,327
🚨 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…
15
1
51
6,459
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…
26
15
142
60,758
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…

Littmania - My NSF "STEM" Messages

Context: In my time as division director of Information and Intelligent Systems (IIS) at NSF, I sent out a short message to the IIS mailing list on the Second Tuesday Every Month (STEM). More or...

littmania.com
2
6
36
4,182
Come work with us!
Yatin Manerkar@ymanerkar28 Jun 2024
Honoured to be a distinguished reviewer ⁦@PLDI⁩ '24! I'd like to publish more cool PL papers instead of just getting awards for reviewing them. If you're applying for PhDs & are interested in PL techniques to improve hardware design, come work with me ⁦@UMichCSE⁩!
1
16
2,950
RIP
Rajeev Alur@RajeevAlur18 Jun 2024
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…

Arvind, longtime MIT professor and prolific computer scientist, dies at 77

Arvind, a longtime MIT professor and leading scholar in computer architecture and programming languages, has died at 77. He transformed research in computer architectures and parallel computing,...

news.mit.edu
2
766
A beautiful sunrise view of North Campus from the Beyster building balcony, courtesy of a CSE staff member @UMengineering
Red and orange sunrise over North Campus

ALT Red and orange sunrise over North Campus

5
19
3,019
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
7
25
4
102
23,802
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🙏.
17
2
42
7,527
After PLDI deadline, doing okay! (This is Michigan CSE building from the other side.) – at Ann Arbor, MI
1
1
33
4,202
Program synthesis for the win! – at Ann Arbor, MI
Ryan Marcus
@RyanMarcus10 Nov 2023
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
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."

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."

2
1,314
Surprisingly it's close to 20C (70F) today! – at Ann Arbor, MI
1
1
20
3,160
Xinyu Wang retweeted
PurPL@purdue_pl7 Oct 2023
MWPLS was a blast! Huge shoutout to the organizers at UM: @xwangsd, @neurocy, Max New, and Jean-Baptiste Jeannin
Xinyu Wang@xwangsd6 Oct 2023
Full house!
2
21
2,652
Load more