bskyView

Yeaseen

@yeaseen.bsky.social

3 Followers | 10 Following | 2 Posts | Joined: 14.10.2025 | 1.3757

Latest posts by yeaseen.bsky.social on Bluesky

TeTRIS uncovered 16 translation bugs across real-world transpilers—12 of them completely new!

26.11.2025 19:13 — 👍 1 🔁 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

@yeaseen is following 10 prominent accounts

Peter Stöckli
@ulldma

Security Researcher and Software Engineer at GitHub Security Lab

Chandler Carruth
@chandlerc.blog

Software, performance, optimization, programming languages, security, open source, #CarbonLang lead, #LLVM, #Clang, C++. 🏳️‍🌈 http://pronoun.is/he or http://pronoun.is/they

yan
@yan

security at brave software / @bcrypt on twitter

Yan Ivnitskiy
@yan-i

Security at Block. Ex-Trail of Bits, Ex-Matasano

Henrich Lauko
@henrichlauko

Compilers at Trail of Bits ~ VAST: MLIR frontend for C++ ~ Program Analysis

Trent Brunson
@trentb

Glasses wearer. Keyboard typer. Manual reader. Head of Research & Engineering at Trail of Bits.

Evan Sultanik
@esultanik

Ph.D. computer security researcher at Trail of Bits. Editor of and frequent contributor to #pocorgtfo. My CV is a PDF that’s also an NES ROM https://sultanik.com/nesresume/

Zao Yang
@zaoyang

PhD student at University of Utah | Software and Systems sites.google.com/view/zaoyang

Stefan Nagy
@snagycs

Faculty @utah.edu. My lab hunts bugs: https://futures.cs.utah.edu/bugs. Mastodon: snagy@infosec.exchange Twitter: @snagycs

Bluesky
@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app