iiinova — where your digital self keeps evolving

Jing Liu @fuzzing.bsky.social · 18/11/2025

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! 👋

230

Reposted by Jing Liu

Marcel Böhme @mboehme.bsky.social · 03/05/2025

✨️ 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.

12413

Reposted by Jing Liu

Marcel Böhme @mboehme.bsky.social · 24/04/2025

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

1205

Reposted by Jing Liu

Marcel Böhme @mboehme.bsky.social · 03/12/2024

Very lucky to receive the ERC Consolidator this year! This is 5-year funding for groundbreaking research. If you are interested in our perspective on software security analysis at scale, stick around and read on. #ERC #ERCCoG #MPI_SP www.mpi-sp.org/71953/news_p...

mpi-sp.org

Project AT*SCALE takes inspiration from “in vivo” techniques in biology to fortify the world’s digital infrastructure against cyber attacks

4425

Jing Liu @fuzzing.bsky.social · 18/11/2024

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.

220

Reposted by Jing Liu

Jenna DiVincenzo @jcenzo.bsky.social · 17/11/2024

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.🧵

109110