Stefan Nagy

141 Followers
119 Following
49 Posts
Faculty @ University of Utah.
My lab hunts bugs: https://futures.cs.utah.edu/bugs.
Bluesky: http://snagycs.bsky.social
Twitter: @snagycs
Hompeagehttps://cs.utah.edu/~snagy
Grouphttps://softsec.cs.utah.edu

AI agent "contributes" PR to matplotlib.
PR gets rejected.
AI agent *writes and publishes blog to shame the maintainer*.

What a time to be alive.

https://github.com/matplotlib/matplotlib/pull/31132

Super proud of the FuTURES³ Lab and everything we accomplished in 2025, and excited for what’s ahead in 2026! Check out our work at https://futures.cs.utah.edu. 😃

The Kahlert School of Computing at the University of Utah has a faculty position in *cloud/datacenter networking and distributed systems*!

Come work with me on this beautiful campus in a brand new building that's under construction right now! Join a growing department with some really fantastic colleagues! Checkout @cloudlab up close!

The job posting is here: https://utah.peopleadmin.com/postings/190584 . Approval for this position took a while, so we'll have a compressed hiring schedule. Please pass this on to anyone who might be interested, and feel free to contact me directly with questions.

#fediHire

Crashing calculators and CAD editors? GUIFuzz++ is finally here to help make them better! 🔥

Come see my undergraduate student Tanner's very first paper "GUIFuzz++" at #ASE25 this Wednesday.

Also now integrated in AFL++! 😃
https://github.com/AFLplusplus/AFLplusplus/tree/stable/custom_mutators/guifuzz

Cranky from crashing calculators, cash apps, and CAD editors? Let GUIFuzz++ break them first and help make them better!

Super psyched to unveil GUIFuzz++: our grey-box fuzzer for Desktop GUI apps, led by FuTURES³ Lab undergrads Dillon Otto and Tanner Rowlett.

Coming soon to ASE 2025!

https://futures.cs.utah.edu/papers/25ASE.pdf
https://github.com/FuturesLab/GUIFuzzPlusPlus

Fantastic job by my student Zao Yan presenting his decompiler fuzzing work Bin2Wrong at USENIX ATC! 🔥

Paper: http://futures.cs.utah.edu/papers/25ATC.pdf
Slides: http://futures.cs.utah.edu/papers/25ATC_slides.pdf
Code: http://github.com/FuturesLab/Bin2Wrong
Impacts of Bin2Wrong-found bugs: http://binary.ninja/2024/06/19/restructuring-the-decompiler.html

I'll be in Boston for #USENIX #ATC25. Reach out if you'd like to meet up to talk fuzzing / binary analysis!

Awesome job by my PhD student
Gabe Sherman presenting his work on Oracle-guided C Fuzzing Harness Generation! #ICSE25

TLDR; 41 new bugs (40 now patched)... with 0 false positives!

Paper: futures.cs.utah.edu/papers/25ICSE-b.pdf
Slides: futures.cs.utah.edu/papers/25ICSE-b_slides.pdf
Code: github.com/FuturesLab/OGHarn

✈️ I'll be at #ICSE25 this week — find me if you'd like to chat about all things fuzzing / binary analysis!
Half-Life 2 RTX - Official Full Ray Tracing and DLSS 4 Announcement Trailer

YouTube