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.
| Hompeage | https://cs.utah.edu/~snagy |
| Group | https://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.
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.
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
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
RTX truly is amazing stuff