Jing Liu
@fuzzing.bsky.social
📤 47
📥 31
📝 6
PhD student at UC Irvine ➡️ MPI-SP advised by
@mboehme.bsky.social
https://jing6.netlify.app/
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! 👋
4 months ago
2
3
0
reposted by
Jing Liu
Marcel Böhme
11 months ago
✨️ 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.
1
26
14
reposted by
Jing Liu
Marcel Böhme
11 months ago
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
1
20
5
reposted by
Jing Liu
Marcel Böhme
over 1 year ago
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...
loading . . .
Project AT*SCALE takes inspiration from “in vivo” techniques in biology to fortify the world’s digital infrastructure against cyber attacks
Project AT*SCALE takes inspiration from “in vivo” techniques in biology to fortify the world’s digital infrastructure against cyber attacks
https://www.mpi-sp.org/71953/news_publication_23813048_transferred?c=6054
4
42
5
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.
over 1 year ago
2
2
0
reposted by
Jing Liu
Jenna DiVincenzo
over 1 year ago
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.🧵
10
91
10
you reached the end!!
feeds!
log in