Are you an undergraduate interested in doing research at CMU School of Computer Science this summer? Then sign up to join our information sessions at cmu.edu/scs/s3d/reuse/… (Please RT!)

It’s tomorrow at #PLDI2024 in Iceland/Denmark at 10:40 AM! 📅 Check out the proceedings online: dl.acm.org/doi/10.1145/36…

Excited to announce that I will present our work "Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches" at ISSTA 2024 (ISSTA Conference)! 🎉🤖 Find out more about our work: arxiv.org/abs/2407.19292! 🧵[1/3] Open Robotics Robot Operating System (ROS)

I am on the #SoftwareEngineering #Teaching Job Market! After co-creating & co-instructing two software engineering courses at CMU I am looking for teaching-focused faculty positions in SE. If you know anyone who is hiring, please let me know! Retweets welcome.

Do you work with Ansible? We want to hear from you! 🎯 This study is led by a joint team from Carnegie Mellon University and Instituto Superior Técnico Plus, if you agree to an interview, you'll be entered into a $100 raffle! 💸 Click here to participate: cmu.ca1.qualtrics.com/jfe/form/SV_5a…

I'm excited to share that I'll be joining UC Irvine as an Assistant Professor starting in Fall 2025! I'm looking forward to working with amazing colleagues and students to empower programmers using AI and HCI. Come join us—I’m recruiting students!

🚀 Curious about GitSEED accepted SIGCSE Virtual and how it’s transforming programming education? Check out my full thread on Bluesky for all the details! 🌟 #SIGCSE #CSforALL #GitLab 🔗bsky.app/profile/pmorva…

Looking for students! João Costa Seco and I proposed Meerkat, a live, distributed, reactive PL, in an Onward! vision paper this year. We'd love to work with a Ph.D. student in the joint CMU Portugal program, who wants to help make this a reality! Due Dec 11. dl.acm.org/doi/10.1145/36…

Thrilled to announce our new work TestGenEval, a benchmark that measures unit test generation and test completion capabilities. This work was done in collaboration with the FAIR CodeGen team. Preprint: arxiv.org/abs/2410.00752 Leaderboard: testgeneval.github.io/leaderboard.ht…

Apparently EU users don't get new AI versions till several months after US users, because AI companies have to get regulatory signoff first. Was the cost of overregulation ever so clear? Every user in Europe is several months behind, in a field that changes every several months.