@icmccorm

PhD Candidate in Software Engineering @S3DatCMU. Studying Rust interop 🦀 https://xitter.cf/t.co/VoicBkd8oA

 Pittsburgh, PA
icmccorm.com
Joined September 2020
  • Tweets40
  • Following219
  • Followers145
5Media
11am today at #ICSE2025: Rust provides memory safety to low-level code, but in practice Rust libraries link to unsafe C. @icmccorm, @joshsunshine, and I used dynamic analysis to find 46 cases where the C code broke Rust's memory rules, causing undefined behavior.
3
10
40
2,689
Ian McCormack retweeted
HotSoS@HoTSoSSymposium3 Apr 2025
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
1
1
8
2,013
Had a great time meeting and learning from amazing people @splashcon
15
400
🚀 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
Individuals collaborating in front of a board covered in notes at a Carnegie Mellon University Software Engineering workshop.

ALT Individuals collaborating in front of a board covered in notes at a Carnegie Mellon University Software Engineering workshop.

1
4
6
890
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/fo…
9
1
14
2,625
Ian McCormack retweeted
Vasu Vikram@vasumvikram1 Jun 2023
I'm very excited to present our work on Mu2 at @issta_conf 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!
Rohan Padhye@moarbugs1 Jun 2023
So coverage is great, but can greybox fuzzing also benefit from *mutation testing*? 🤔 📢 I'm excited to share our upcoming @issta_conf paper on Mu2: Mutation-guided Mutation-based fuzzing. 📄 Paper: rohan.padhye.org/files/mu2-i… 💻 Code: github.com/cmu-pasta/mu2 Thread... [1/6]
1
1
24
1,427
icmccorm.bsky.social
1
91
Do you use unsafe Rust? 🦀 We’re interested in learning from your experiences. Please consider participating in our study! cmu.ca1.qualtrics.com/jfe/fo…
1
6
2
16
2,348
Ian McCormack retweeted
Sam Estep@sgestep21 Apr 2023
chatgpdf with @vasumvikram 🙃 anyone wanna guess what's going on?
1
2
4
524
Ian McCormack retweeted
dunkey
@vgdunkey24 Mar 2023
go bigmode at pax east this weekend and play animal well at our booth!
111
189
15
10,294
585,675
If you are at #WiCyS2023 come to my talk!
INI Carnegie Mellon@inicmu18 Mar 2023
Join INI faculty member @HananHibshi today @WiCySorg for a discussion about how companies can harden their source code to prevent exploitation. Don’t forget to stop by and say hi to the INI team at Booth 128! #WiCyS2023 #inicmu #womenincybersecurity #WiCyS
1
13
1,251
New tier 1 target for Rust just dropped 🦀
Ethan Mollick
@emollick22 Feb 2023
Bing AI is finally answering the Most Important Question. Given an article showing that you can construct logic gates from crabs, how large would a crab-based processor need to be? The calculations are quite impressive, as is the bafflement of Bing about why I want to do this.
1
186
Hi, I'm sitting in a @SCSatCMU 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
1
12
3
48
34,097
Are you an undergraduate interested in doing research at @SCSatCMU this summer? Then sign up to join our information sessions at cmu.edu/scs/s3d/reuse/info-s… (Please RT!)
1
27
2
28
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.
1
5
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 🧀
6
My favorite local coffee shop is letting customers doodle at the counter
3
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/
3
16
1
36
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.
3
3
13
The Institute for Software Research is now the Software and Societal Systems Department (@S3DatCMU), 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
1
16
40
Load more