The Institute for Software Research is now the Software and Societal Systems Department (CMU Software and Societal Systems Department), a reflection of the growing prominence of software and its infrastructure in modern life, and the important role the department plays in the field. bit.ly/3BX1hAY

Any pointers to good open source pointer analysis implementations for C? Needs to run at scale with good system/compiler integration so it's easy to run on projects with make/cmake.

If you enjoyed the "Programming, Kits, and Libraries" session at #uist2022, you'll definitely enjoy PLATEAU! This year, it's at CMU on February 13-14. The deadline to submit is Dec 7. Let us know if you have any concerns re: timing---we want you there! 2023.plateau-workshop.org

My favorite local coffee shop is letting customers doodle at the counter

At Trader Joes yesterday, someone snuck a pound and a half of cheddar cheese into my cart. Didn’t notice until after I checked out and got home. Be wary for random acts of cheese 🧀

I wish it was more common for papers and talks to describe the time it took to complete benchmarks and to reflect on what would make future attempts easier to execute.

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!)

Hi, I'm sitting in a CMU School of Computer Science meeting, and the problem of women having no community is being discussed This is a Real Problem The one single thing that we have to help this is a weekly "empowering women" lunch BUT THE PROBLEM IS THAT THERE IS NOT FUNDING FOR THIS WTF

New tier 1 target for Rust just dropped 🦀

If you are at #WiCyS2023 come to my talk!

go bigmode at pax east this weekend and play animal well at our booth!

chatgpdf with Vasu Vikram 🙃 anyone wanna guess what's going on?

Do you use unsafe Rust? 🦀 We’re interested in learning from your experiences. Please consider participating in our study! cmu.ca1.qualtrics.com/jfe/form/SV_ea…

icmccorm.bsky.social

I'm very excited to present our work on Mu2 at ISSTA Conference this July! Would love to hear everyone's thoughts on how we could use fuzzing to create strong regression tests. Adding mutation analysis in the loop may be the first step!

We interviewed 19 Rust developers who regularly write or edit unsafe code. Now, we need your help to evaluate what we learned! If you have ever engaged with unsafe Rust, please consider completing our survey! cmu.ca1.qualtrics.com/jfe/form/SV_0k…

🚀 Ready to lead the future of software innovation? Our Software Engineering PhD tackles challenges like AI safety & self-healing systms. With real-world research, graduates excel in academia & top tech roles. 🔗 Watch: bit.ly/3BJ3mDc #GradSchool #SoftwareEngineering

Had a great time meeting and learning from amazing people SPLASH Conference

Congratulations to the HoTSoS 2025 Best Poster winners "A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries" (arxiv.org/pdf/2404.11671) by Ian McCormack, Joshua Sunshine, and Jonathan Aldrich

11am today at #ICSE2025: Rust provides memory safety to low-level code, but in practice Rust libraries link to unsafe C. Ian McCormack, Joshua Sunshine, and I used dynamic analysis to find 46 cases where the C code broke Rust's memory rules, causing undefined behavior.