Jing Liu @ ASE '25
LightNews LightNews
fuzzing.bsky.social
Jing Liu @ ASE '25
@fuzzing.bsky.social
44 followers 29 following 6 posts

PhD student at UC Irvine ➡️ MPI-SP advised by @mboehme.bsky.social

https://jing6.netlify.app/

Videos
Materials science 47%
Physics 24%
Posts Replies Media Videos

fuzzing.bsky.social
Jing Liu @ ASE '25 @fuzzing.bsky.social · 12d
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! 🧭

fuzzing.bsky.social
Jing Liu @ ASE '25 @fuzzing.bsky.social · 12d
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! 👋

Reposted by Jing Liu, Shin Yoo

mboehme.bsky.social
Marcel Böhme @mboehme.bsky.social · May 3
✨️ 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.

Reposted by Jing Liu

mboehme.bsky.social
Marcel Böhme @mboehme.bsky.social · Apr 24
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

Reposted by Jing Liu

mboehme.bsky.social
Marcel Böhme @mboehme.bsky.social · Dec 3
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...
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
www.mpi-sp.org

fuzzing.bsky.social
Jing Liu @ ASE '25 @fuzzing.bsky.social · Nov 20
Congratulations!

fuzzing.bsky.social
Jing Liu @ ASE '25 @fuzzing.bsky.social · Nov 18
It seems bluesky handle can act as domain name 🤠

fuzzing.bsky.social
Jing Liu @ ASE '25 @fuzzing.bsky.social · Nov 18
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.

fuzzing.bsky.social
Jing Liu @ ASE '25 @fuzzing.bsky.social · Nov 17
Welcome! I got to know your research on TheForkJoin podcast open.spotify.com/episode/68bc... and highly recommend it to everyone.
TheForkJoin Ep 6- Gradual Verification with Jenna DiVincenzo
TheForkJoin · Episode
open.spotify.com

Reposted by Jing Liu

jcenzo.bsky.social
Jenna DiVincenzo @jcenzo.bsky.social · Nov 17
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.🧵