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 futures.cs.utah.edu. 😃
14.01.2026 17:34 — 👍 0 🔁 0 💬 0 📌 0
Transcompiler lost in translation? Let TeTRIS uncover all its syntax frustrations! Happy to share my #ACSAC paper w/@snagycs.bsky.social:"TeTRIS: General-purpose Fuzzing for Translation Bugs in Source-to-Source Transpilers"!
PDF: futures.cs.utah.edu/papers/25ACS...
Code: github.com/FuturesLab/T...
26.11.2025 19:12 — 👍 4 🔁 1 💬 1 📌 0
Crashing calculators and CAD editors? GUIFuzz++ is finally here to help make them better! 🔥
Come see my undergraduate student @trowlett0.bsky.social's very first paper "GUIFuzz++" at @aseconf.bsky.social this Wednesday.
Also now integrated in @aflplusplus.bsky.social! 😃
github.com/AFLplusplus/...
17.11.2025 21:02 — 👍 9 🔁 3 💬 0 📌 0
Super psyched to unveil GUIFuzz++: our grey-box fuzzer for desktop GUI applications, led by FuTURES³ Lab undergraduate researchers Dillon Otto and @trowlett0.bsky.social.
Coming soon to ASE 2025!
futures.cs.utah.edu/papers/25ASE...
github.com/FuturesLab/G...
24.09.2025 20:54 — 👍 3 🔁 0 💬 0 📌 0
GUIFuzz++ is the first general-purpose fuzzer for desktop GUI software! Fuzzing by translating AFL++ random input into user interaction with GUIs, leading to the discovery of 23 new bugs!
Paper: futures.cs.utah.edu/papers/25ASE.pdf
Source: github.com/FuturesLab/GUIFuzzPlusPlus
Go test some GUIs!
24.09.2025 20:52 — 👍 18 🔁 11 💬 1 📌 0
Fuzzing GUIs shouldn’t be harder than fuzzing files.
That's why I am excited to share my first paper (w/ fellow undergrad Dillon Otto + @snagycs.bsky.social) "GUIFuzz++: Unleashing Grey-box Fuzzing on Desktop Graphical User Interfacing Applications" at #ASE25.
24.09.2025 20:52 — 👍 5 🔁 2 💬 1 📌 1
It's grey-box by default but also supports black-box fuzzing!
09.07.2025 18:26 — 👍 0 🔁 0 💬 0 📌 0
Fantastic job by my student @zaoyang.bsky.social presenting his decompiler fuzzing work Bin2Wrong at USENIX ATC! 🔥
Paper: futures.cs.utah.edu/papers/25ATC...
Slides: futures.cs.utah.edu/papers/25ATC...
Code: github.com/FuturesLab/B...
Impacts of Bin2Wrong-found bugs: binary.ninja/2024/06/19/r...
09.07.2025 14:44 — 👍 2 🔁 1 💬 1 📌 0
I'll be in Boston for #USENIX #ATC25. Reach out if you'd like to meet up to talk fuzzing / binary analysis!
04.07.2025 21:36 — 👍 1 🔁 0 💬 0 📌 0
Check it out!
📄 Paper: futures.cs.utah.edu/papers/25ATC.pdf
🛠️ Bin2Wrong: github.com/FuturesLab/Bin2Wrong
💥Some impacts of bugs Bin2Wrong found: binary.ninja/2024/06/19/restructuring-the-decompiler.html
#fuzzing #decompilation
22.05.2025 20:04 — 👍 1 🔁 2 💬 0 📌 0
Happy to share my upcoming #ATC25 paper w/ @snagycs.bsky.social: "BIN2WRONG: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers"!
Bin2Wrong creates binaries by mutating source, compiler, optimizations, and format—revealing 48 new bugs in 7 decompilers! 💪
22.05.2025 20:02 — 👍 4 🔁 2 💬 1 📌 0
Paper: futures.cs.utah.edu/papers/25ICSE-b.pdf
Slides: futures.cs.utah.edu/papers/25ICSE-b_slides.pdf
Code: github.com/FuturesLab/OGHarn
Happy fuzzing!
30.04.2025 16:15 — 👍 1 🔁 0 💬 0 📌 0
Awesome job by my PhD student @gabriel-sherman.bsky.social presenting his work on Oracle-guided C Fuzzing Harness Generation! @icseconf.bsky.social
TLDR; 41 new bugs (40 now patched)... with 0 false positives!
30.04.2025 16:15 — 👍 8 🔁 1 💬 1 📌 0
✈️ I'll be at @icseconf.bsky.social this week — find me if you'd like to chat about all things fuzzing / binary analysis!
28.04.2025 11:26 — 👍 3 🔁 1 💬 0 📌 0
The April 16 Memorial is pictured in front of Burruss Hall against a blue sky.
Today, we’re honoring the lives of the 32 Hokies who were tragically taken from their loved ones and the Virginia Tech community on April 16, 2007.
On the 2025 Day of Remembrance, we're honoring the lasting impact they continue to have on our world. #VTWeRemember 🧡
16.04.2025 12:23 — 👍 32 🔁 22 💬 0 📌 4
[RSS] What could cause a memory corruption bug to disappear in safe mode?
devblogs.microsoft.com ->
Original->
20.03.2025 16:39 — 👍 1 🔁 1 💬 0 📌 0
OGHarn mutationally generates harnesses and uses 3 oracles of behavior to determine both their utility and validity, leading to the discovery of 41 new bugs(with zero false-positive crashes)!
Paper: futures.cs.utah.edu/papers/25ICS...
Source: github.com/FuturesLab/O...
Happy Fuzzing! 🐛
17.03.2025 18:52 — 👍 9 🔁 3 💬 0 📌 0
Need a fuzzing harness? No time to write one? Tired of false-positives? Let OGHarn lead the way to bug discovery!🐞
I'm excited to share my paper(with @snagycs.bsky.social)"No Harness, No Problem: Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses" at @icseconf.bsky.social 2025!
17.03.2025 18:52 — 👍 17 🔁 6 💬 1 📌 0
YouTube video by IGN
Half-Life 2 RTX - Official Full Ray Tracing and DLSS 4 Announcement Trailer
RTX truly is amazing stuff
www.youtube.com/watch?v=U7bs...
13.03.2025 16:36 — 👍 0 🔁 0 💬 0 📌 0
I will really miss the good ol' days of Twitter. As a grad student it was a go-to place for all things fuzzing/security, and I'm sad to see it fall apart. Having folks spread-out on three platforms (this, Mastodon, and X) will never quite feel the same. 😔
21.02.2025 16:13 — 👍 2 🔁 0 💬 1 📌 0
Howdy, world. This interface looks oddly familiar...
19.02.2025 16:23 — 👍 4 🔁 0 💬 1 📌 0
drawing pretty rectangles 🟪 @defined.net
css
he/he/hrmm
Follow my Fuzzing ✜ Prop Testing feed: https://bsky.app/profile/did:plc:3tkrsjzdao4vqjrxwzynbfnu/feed/aaapq44vvjkaq
weird machine enthusiast / loud noise enjoyer / incident responder / wandering soul (birmingham al)
CS Prof at U of Utah. D line handler. D language evangelist
Professor of Computing, I do research on robotics and AI. I also ski.
https://robot-learning.cs.utah.edu/thermans
Haxe enthusiast, and builder, working on https://go2hx.github.io
2nd ACM International Conference on AI-powered Software (AIware) | Co-located with ASE 2025
The 35th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Oakland, USA // 3-9 October 2026
https://conf.researchr.org/home/issta-2026
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
KEYWORDS ➡︎ cats, hacking, reverse engineering, llvm, binary analysis, side channel analysis, FPGAs, NFC/EMV tricks
Previously Apple Pay Security
he/him
Lafayette, Indiana
aka. Hengcheng Zhu | Incoming PostDoc @cispa.de | Software Engineering Researcher | https://scholar.henryhc.net
academic/music lover/reader/gamer/espresso drinker+maker
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
CS @ UoU - RA for https://futures.cs.utah.edu
Professional disassembly enthusiast
Old Seminole Heights — Tampa — Florida — U.S.A.
Journalist. Consultant. Neighborhood trustee. Voting rights advocate. Non-profit theater board member. Citrus grower. Beagle foster dad. Wife guy.
Signal: 352.222.2706
https://timburkelegalfund.org
Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
