Lightnews — Scholar-powered news

Jing Liu

@fuzzing.bsky.social

39 followers 28 following 4 posts

PhD student at UC Irvine ➡️ MPI-SP advised by @mboehme.bsky.social https://jing6.netlify.app/

Videos

Materials science 47%

Physics 24%

Posts Media Videos Starter Packs

Pinned

Jing Liu @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.

2 2

Reposted by Jing Liu, Shin Yoo

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.

1 14 26

Reposted by Jing Liu

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

1 5 20

Reposted by Jing Liu

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

www.mpi-sp.org

4 5 42

Jing Liu @fuzzing.bsky.social · Nov 20

Congratulations!

Jing Liu @fuzzing.bsky.social · Nov 18

It seems bluesky handle can act as domain name 🤠

Jing Liu @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

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

10 10 89