Huge thanks to my advisor @mboehme.bsky.social and the @aseconf.bsky.social organizing committee for the support and the opportunity to volunteer! 🧑💻 It’s been an incredible experience learning from the community. Grateful for the path ahead! 🧭
18.11.2025 09:06 — 👍 5 🔁 1 💬 0 📌 0
Thrilled to hit 100% attendance coverage of major SE conferences (ICSE '24, FSE&ISSTA '25, ASE '25).
Having my birthday today feels like resetting the fuzzing cycle for a new campaign! 🎂
I’m around until Thursday morning with #ASE2025 volunteer hoodie. If you spot my badge, please come say hi! 👋
18.11.2025 09:06 — 👍 3 🔁 0 💬 2 📌 0
✨️ Now that #ICSE25 is over, it's time to get your papers ready for #ASE25 (30th May)!
📢 Here is what's new:
* Major Revision v2.0
* Review criteria for tech. & experience papers
* Policy on LLM-assisted Reviews
* Auto-bidding (TPMS)
* Rapid Response Reliable Reviewers
👇 For more details, read on.
03.05.2025 14:25 — 👍 26 🔁 14 💬 1 📌 0
Our paper "Top Score on the Wrong Exam" paper will be presented at #ISSTA25 🐣 in Trondheim!
📝https://mpi-softsec.github.io/papers/ISSTA25-topscore.pdf
🧑💻https://github.com/niklasrisse/TopScoreWrongExam
// @nrisse.bsky.social @fuzzing.bsky.social
24.04.2025 14:09 — 👍 20 🔁 5 💬 1 📌 0
Congratulations!
20.11.2024 12:14 — 👍 1 🔁 0 💬 0 📌 0
It seems bluesky handle can act as domain name 🤠
18.11.2024 17:27 — 👍 1 🔁 0 💬 0 📌 0
Today is my birthday and also my first day posting at Bluesky! Not too late to get a cool username 😎 Feel free to contact me if you want the username "fuzzing" for a meaningful account.
18.11.2024 15:47 — 👍 2 🔁 0 💬 2 📌 0
TheForkJoin Ep 6- Gradual Verification with Jenna DiVincenzo
TheForkJoin · Episode
Welcome! I got to know your research on TheForkJoin podcast open.spotify.com/episode/68bc... and highly recommend it to everyone.
17.11.2024 22:47 — 👍 2 🔁 0 💬 0 📌 0
Hi BlueSky! I'm an Assistant Professor at Purdue doing research in PL/SE. I'm interested in developing software verification techniques that fit into existing development workflows, so we can produce more secure software! I assess techniques with theory & proofs, user studies, & by building tools.🧵
17.11.2024 00:41 — 👍 91 🔁 10 💬 10 📌 0
PhD Student @ University of Stuttgart
https://doehyunbaek.github.io/
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
aka. Hengcheng Zhu | Incoming PostDoc @cispa.de | Software Engineering Researcher | https://scholar.henryhc.net
🎲 A board game geek, 🏸 a badminton lover, and a postdoc researcher
@UCLA working on dynamic and statistical program analysis.
Research Fellow at NUS || PhD from Fudan University || Working on usable security and privacy
(he/him) Security Engineer/Researcher, PhD. AppSec, Fuzzing, Binary Analysis, Rust. Also 🤘🚴🥋👶
Incoming tenure-track faculty at CISPA | PhD at NUS | Software Security
https://mengrj.github.io/
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
Security Researcher @neodyme.io | CTF, Fuzzing, Embedded Security
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
A cognitive scientist who happened to reproduce! Professor at CalStateLA. Teacher of statistics. Co-founder of CourseKata.org. Khaleesi of Inappropriate Ideas. Mother of Rascals.
Senior Postdoc, Freie Universität Berlin | Co-Chair, SIPS | Founder, EmoLeader| Cognitive Neuroscience of Social Cognition | EEG, Emotions, Eye Movements| Advocate for Open Science and Reproducible Research
Assistant Professor in Software Engineering at the University of Edinburgh. CS PhD from University of Southern California. She/her.
👩🏻💻 asejfia.github.io
Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
Substack: http://lcamtuf.substack.com/archive
Homepage: http://lcamtuf.coredump.cx
Cyber Response Italian Supercazzola Technology Officer at
@mhackeroni Inc. Writing your favourite fuzz testing tools with
@aflplusplus. Security research at .