Postdoc-ing @ UIUC. Working on systems reliability and efficiency. Opinions, my own. Retweets are not endorsements.
Joined August 2022
- Tweets331
- Following794
- Followers328
- Likes1.4K
Nicely written, Shrey (@shrey_twr )! So true!
This semester I am TAing 17-313, the undergrad software engineering course at CMU.
I built an autograder for the course... with AI writing every line of the code. It got me thinking about what's left of software engineering now that coding is automated away.
I jotted down my thoughts here: thelastsoftwareengineer.subs…
If you haven't already, you should apply! Come work with Oana (@oanacamb), she's a wonderful advisor doing lots of awesome stuff!
📣 If you are interested in doing a PhD with me in *Safety and Alignment* at Imperial College London, please apply here: imperial.ac.uk/computing/pro…
Congratulations, Wenxi (@WenxiWang4), Yiling (@yiling__LOU), Darko, and team! Very much deserved and such a great paper! 🏆
Excited to share that our paper on re-evaluating LLMs for equivalent mutant detection received the ACM SIGSOFT Distinguished Paper Award at ISSTA 2026! 🎉🏆 Huge thanks to our amazing student interns and my wonderful collaborators, Darko and @yiling__LOU ! So grateful for this fantastic team!
📄 Check out our paper: wenxiwang.github.io/papers/L…
Also, in case you're wondering why Darko is wearing an orange shirt with "Bugeoisie" on it 👇👇👇xitter.cf/CacheMisses/status/210…
Really excited to talk about Bugeoisie at ISSTA'26 this Friday (10/9), 2:25pm PT, in Junior Ballroom 1/2!
This time Darko drew the short straw so he'll be presenting 😅 but we'll be in the room to support him! #issta26 #issta #sigsoft @issta_conf
🧵 0/ Very grateful that our paper was accepted at ISSTA'26! Thanks to all our co-authors -- Ji Young (!!), Jana, Alessandro, Rithwan, Alaa, Karim, Sejuti, Divyanshi, Harini, Nurjemal, Shubham, and especially, Darko, for his mentorship and guidance!
8/ Link to our full paper 👉 bastoica.github.io/files/pap…
/9 (with delay) My twitter game is weak... Sorry for not @-ing properly folks with an account here: @AliasBotta @Sejutiii_sh @anscombes4tet
Bogdan "Bo" Stoica 👉 @cachemisses.bsky.social retweeted
I've written 70+ recommendation letters for students applying graduate programs in my career. This is the saddest one I have to redo.
// A former undergrad student got denial of entrance with a 5-year ban, when flying to the US for PhD study. As usual, no reason was given. I can't imagine what he have gone through.
A super cool project by some of my favorite researchers. Awesome job, @Cat_overflow, @xu_dong_sun, @tianyin_xu , & team!
We built a TLA embedding in Verus and used it in Anvil to prove liveness of Kubernetes controllers. @Cat_overflow has now turned it into a standalone library: github.com/anvil-verifier/ve…
Give it a try if you’re building verified systems in Verus and want to prove liveness.
Weichen (@weich_li) and the rest of our gang just released some pretty amazing work. This #ICML26 paper introduces Generative Code Representation Learning (GCRL), a new and effective technique that trains models to generate semantically equivalent code en route to optimizing it. Come chat with her next Wednesday (07/08) at 5 p.m. in Hall A (#4014). 🔥💪
Thrilled to share our #ICML2026 paper, SemRep : Generative Code Representation Learning with Code Transformations! I will present it on Wednesday (5:00 PM – 6:45 PM HALL A #4014) and also Friday (DL4C Workshop). Happy to Chat!
What makes a good code representation? 🤔
Not just for code generation, but also for code reasoning, editing, agents, and all applications where code is the key modality.
We identify 4 critical requirements and propose SemRep, a new training paradigm with Generative Code Representation Learning.
🧵1/n
Passionate about making computer architecture, compiler, and parallel-systems research more reproducible?📊🔬🖥️
PACT'26 is looking for Artifact Evaluation Committee members. Self-nominate by July 24: forms.gle/M6ftRqHbzPexkZzk9
What an awesome first @CAISconf! I'm so grateful to @heathercmiller and @matei_zaharia for letting me be part of it. It was a joy to work with such dedicated folks. Huge shout-out to @aviaviavi__, @lateinteraction, @ChenLingjiao, @deeptir18, @jaredq_ and @JoshQuicksall!
We welcome you to the first @CAISconf . We have a great lineup of keynotes, talks and demos starting today for the main conference. Come join us!
