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…
Ask it to give you a good cake recipe instead :-)
Seriously though, I don't know about others but I find this a bit unnerving. When I write emails, I generally assume there's a human on the other end. But not sure how to feel knowing for sure I'm conversing with a bot via email... @tianyin_xu @krismicinski
maybe this should be the new litmus test: did you at least read the AI-generated slo...email and remove the AI formatting before hitting send? peak PhD application season. smh... sigh....
Also, in case you're wondering why Darko is wearing an orange shirt with "Bugeoisie" on it 👇👇👇xitter.cf/CacheMisses/status/210…
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…
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
/9 (with delay) My twitter game is weak... Sorry for not @-ing properly folks with an account here: @AliasBotta @Sejutiii_sh @anscombes4tet
Great, now I have a new anxiety unlocked. Will I be scooped by a swarm of invisible agents...? Or just the ones that I know of...? Sigh...
8/ Link to our full paper 👉 bastoica.github.io/files/pap…
7/ We also believe that, as a community, we should make good reporting easier and give authors more reasons to do it. More carrots, fewer sticks.
6/ One key recommendation is that authors report the full range of outcomes, including rejected reports, and clearly distinguish found, reported, confirmed, pending, and fixed. We also argue that this evidence deserves more attention in peer review, much like other research artifacts.