Ian McCormack

40 posts

Ian McCormack banner
Ian McCormack

Ian McCormack

@icmccorm

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

Pittsburgh, PA เข้าร่วม Eylül 2020
221 กำลังติดตาม146 ผู้ติดตาม
Ian McCormack รีทวีตแล้ว
Jonathan Aldrich
Jonathan Aldrich@JAldrichPL·
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.
English
3
10
40
2.7K
Ian McCormack รีทวีตแล้ว
HotSoS
HotSoS@HoTSoSSymposium·
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
HotSoS tweet media
English
0
1
8
2K
Colin Breck
Colin Breck@breckcs·
An interesting paper characterizing the types of undefined behaviour that can occur in Rust libraries when calling foreign functions in languages like C and C++: “A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries”
English
1
0
9
837
Ian McCormack
Ian McCormack@icmccorm·
Had a great time meeting and learning from amazing people @splashcon
Ian McCormack tweet media
English
0
0
15
396
Ian McCormack
Ian McCormack@icmccorm·
@FlavioVilante Hi Flavio—sorry for the delay! We're focusing on the different motivations that lead developers to choose unsafe and how this is influenced by their application domains, like embedded. We just published the community survey, please consider participating! cmu.ca1.qualtrics.com/jfe/form/SV_0k…
English
0
0
0
49
Ian McCormack
Ian McCormack@icmccorm·
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…
English
0
9
14
2.6K
Ian McCormack
Ian McCormack@icmccorm·
@FlavioVilante Hi Flavio! We've closed recruitment for the interview phase, but soon we'll be following up with a community survey! We hope to publish our results this Fall.
English
1
0
0
13
Flavio Vilante
Flavio Vilante@FlavioVilante·
@icmccorm Hi Ian! I use unsafe Rust. Would you intend to publish some conclusions of your study? I noted that the link has expired. Unfortunately I'm willing to extend the surface area of unsafe code in my project aiming to reduce code size. I'm using an 8-bit embedded device.
English
1
0
0
16
Ian McCormack รีทวีตแล้ว
Vasu Vikram
Vasu Vikram@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 could use fuzzing to create strong regression tests. Adding mutation analysis in the loop may be the first step!
Rohan Padhye@moarbugs

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-isst… 💻 Code: github.com/cmu-pasta/mu2 Thread... [1/6]

English
1
1
24
1.4K
Ian McCormack รีทวีตแล้ว
Sam Estep
Sam Estep@sgestep·
chatgpdf with @vasumvikram 🙃 anyone wanna guess what's going on?
Sam Estep tweet media
English
1
2
4
517
Sam Estep
Sam Estep@sgestep·
🎶oh yes, wait a minute, mr. post-rat🎵
English
1
0
3
202
Ian McCormack รีทวีตแล้ว
dunkey
dunkey@vgdunkey·
go bigmode at pax east this weekend and play animal well at our booth!
dunkey tweet media
English
113
204
10.5K
585.3K
Ian McCormack รีทวีตแล้ว
Heather Miller
Heather Miller@heathercmiller·
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
English
1
12
49
34.1K
Ian McCormack รีทวีตแล้ว
Joshua Sunshine
Joshua Sunshine@joshsunshine·
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/… (Please RT!)
English
1
28
29
0
Ian McCormack
Ian McCormack@icmccorm·
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.
English
0
1
5
0
Ian McCormack
Ian McCormack@icmccorm·
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 🧀
English
0
0
6
0

ค้นพบ

@joshsunshine @breckcs @splashcon @FlavioVilante @issta_conf @vasumvikram @sgestep @elonmusk