Ian McCormack
@icmccorm
Followers
148
Following
217
Media
5
Statuses
40
PhD Candidate in Software Engineering @S3DatCMU. Studying Rust interop 🦀 https://t.co/VoicBkd8oA
Pittsburgh, PA
Joined September 2020
RT @JAldrichPL: 11am today at #ICSE2025: Rust provides memory safety to low-level code, but in practice Rust libraries link to unsafe C. @….
0
10
0
RT @HoTSoSSymposium: Congratulations to the HoTSoS 2025 Best Poster winners "A Study of Undefined Behavior Across Foreign Function Boundari….
0
1
0
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!.
0
9
14
RT @vasumvikram: 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 c….
0
1
0
Do you use unsafe Rust? 🦀 We’re interested in learning from your experiences. Please consider participating in our study! .
1
6
16
New tier 1 target for Rust just dropped 🦀.
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.
0
0
1
RT @heathercmiller: Hi, I'm sitting in a @SCSatCMU meeting, and the problem of women having no community is being discussed. This is a Real….
0
13
0
RT @joshsunshine: Are you an undergraduate interested in doing research at .@SCSatCMU. this summer? Then sign up to join our information se….
0
28
0
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.
0
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 🧀.
0
0
6
My favorite local coffee shop is letting customers doodle at the counter
0
0
3
RT @roboticwrestler: If you enjoyed the "Programming, Kits, and Libraries" session at #uist2022, you'll definitely enjoy PLATEAU! This year….
0
16
0
RT @JAldrichPL: Any pointers to good open source pointer analysis implementations for C? Needs to run at scale with good system/compiler i….
0
3
0