Zao Yang

PhD Student at University of Utah | Software and Systems

[gabe sherman @gabe_sherman6]

Love Python but loathe its libraries' bugs?

This Wednesday at @FSEconf, I’ll be presenting my latest work in collaboration with @snagycs, "SnakeCharmer: Automatic Fuzzing Harness Generation for Pure and Hybrid Python Libraries"!

[Yeaseen Arafat @yeaseen_]

Transcompiler lost in translation? Let TeTRIS uncover all its syntax frustrations!
Happy to share my @ACSAC_Conf paper w/ @snagycs: "TeTRIS: General-purpose Fuzzing for Translation Bugs in Source-to-Source Transpilers"!
PDF:https://t.co/H2dcgGqgho
Code:https://t.co/HhsXh1nUp1

[Tanner Rowlett @trowlett0]

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) "GUIFuzz++: Unleashing Grey-box Fuzzing on Desktop Graphical User Interfacing Applications" at #ASE25.

[Zao Yang @yangzaocn]

@pr0me Thank you for sharing our work! Glad you found it interesting 🙏

[Zao Yang @yangzaocn]

@real_redp @snagycs @usenix @vector35 We’re definitely interested in looking into them

[Zao Yang @yangzaocn]

@real_redp @snagycs @usenix @vector35 We’re looking into cubin files. Our tool technically supports them.

[Zao Yang @yangzaocn]

@snagycs Check it out!
📄 Paper: https://t.co/zz28q9EJ7V
🛠️ Bin2Wrong: https://t.co/1lPgp6My9x
💥Some impacts of bugs Bin2Wrong found: https://t.co/nzFZ7L3JMi

#fuzzing #decompilation

[Zao Yang @yangzaocn]

Happy to share my upcoming #ATC25 paper w/ @snagycs: "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! 💪

[Stefan Nagy @snagycs]

Awesome work by the @vector35 team! Super cool to see my student @yangzaocn's research on decompiler testing inspire new improvements in decompilation 😁

[Zao Yang @yangzaocn]

@vinilorecstore It's been sold out 😭

[Zao Yang @yangzaocn]

@bastille More dates for London

[Zao Yang @yangzaocn]

@bastille More dates plz 😃