Advertisement · 728 × 90

Posts by Jing Liu

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

5 months ago 5 1 0 0
Post image

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

5 months ago 3 0 2 0
Post image

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

11 months ago 26 14 1 0
Post image

Our paper "Top Score on the Wrong Exam" paper will be presented at #ISSTA25 🐣 in Trondheim!

📝mpi-softsec.github.io/papers/ISSTA25-topscore....
🧑‍💻https://github.com/niklasrisse/TopScoreWrongExam

// @nrisse.bsky.social @fuzzing.bsky.social

11 months ago 20 5 1 0
Preview
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

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

1 year ago 42 5 4 0

Congratulations!

1 year ago 1 0 0 0

It seems bluesky handle can act as domain name 🤠

1 year ago 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.

1 year ago 2 0 2 0
Advertisement
Preview
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.

1 year ago 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.🧵

1 year ago 91 10 10 0