Jinghao Jia Research Scientist at Meta email: jinghao7@illinois.edu

Bio

I received my Ph.D degree at the University of Illinois at Urbana-Champaign. I work closely with Professor Tianyin Xu and Professor Dan Williams from Virginia Tech. I received my bachelor degree in Computer Science from UCSD prior to grad school. My research interest is on leveraging language-based safety to build reliable and secure system software.

Publications

• DebCovDiff: Differential Testing of Coverage Measurement Tools on Real-World Projects
  In Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE'25), Seoul, South Korea, Nov. 2025
  Wentao Zhang, Jinghao Jia, Erkai Yu, Darko Marinov, and Tianyin Xu

• KLean: Extending Operating System Kernels with Lean
  In Proceedings of the 13th Workshop on Programming Languages and Operating Systems (PLOS 2025), Seoul, South Korea, Oct. 2025
  Di Jin, Ethan Lavi, Jinghao Jia, Robert Y. Lewis, and Nikos Vasilakis

• Rex: Closing the language-verifier gap with safe and usable kernel extensions
  In Proceedings of the USENIX Annual Technical Conference (ATC ’25), Boston, MA, Jul. 2025
  Jinghao Jia, Ruowen Qin, Milo Craun, Egor Lukiyanov, Ayush Bansal, Minh Phan, Michael V. Le, Hubertus Franke, Hani Jamjoom, Tianyin Xu, and Dan Williams

• Making Linux Fly: Towards a Certified Linux Kernel
  In Linux Plumbers Conference, Vienna, Austria, Sep. 2024
  Wentao Zhang, Tingxu Ren, Jinghao Jia, Darko Marinov, and Tianyin Xu

• Measuring and Understanding Linux Kernel Tests
  In Linux Plumbers Conference, Vienna, Austria, Sep. 2024
  Tingxu Ren, Wentao Zhang, Darko Marinov, Jinghao Jia, and Tianyin Xu

• Source-based code coverage of Linux kernel
  In Linux Plumbers Conference, Vienna, Austria, Sep. 2024
  Wentao Zhang, Tingxu Ren, Jinghao Jia, Darko Marinov, and Tianyin Xu

• Fast (Trapless) Kernel Probes Everywhere
  In Proceedings of the USENIX Annual Technical Conference (ATC ’24), Santa Clara, CA, Jul. 2024
  Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom, and Tianyin Xu

• Advancing Kernel Control Flow Integrity with eBPF
  In Linux Plumbers Conference, Richmond, VA, Nov. 2023
  Jinghao Jia, Michael Le, Salman Ahmed, Dan Williams, Hani Jamjoom, and Tianyin Xu

• Practical and Flexible Kernel CFI Enforcement using eBPF
  In Proceedings of the ACM SIGCOMM Workshop on eBPF and Kernel Extensions (eBPF ’23), New York, New York, Sep. 2023
  Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom

• Kernel extension verification is untenable
  In Proceedings of the Workshop on Hot Topics in Operating Systems (HotOS ’23), Providence, RI, Jun. 2023
  Jinghao Jia, Raj Sahu, Adam Oswald, Dan Williams, Michael V. Le, and Tianyin Xu

• Programmable System Call Security with eBPF
  arXiv:2302.10366, Feb. 2023
  Jinghao Jia, YiFei Zhu, Dan Williams, Andrea Arcangeli, Claudio Canella, Hubertus Franke, Tobin Feldman-Fitzthum, Dimitrios Skarlatos, Daniel Gruss, and Tianyin Xu

• Revisiting eBPF Seccomp Filters
  In Linux Plumbers Conference, Dublin, Ireland, Sep. 2022
  Jinghao Jia, YiFei Zhu, Andrea Arcangeli, Hubertus Franke, Tobin Feldman-Fitzthum, Claudio Canella, Dimitrios Skarlatos, Daniel Gruss, Dan Williams, and Tianyin Xu

Contributions

I have contributed to the Linux kernel -- you can find my contribution history from the LWN kernel source database (and here if you are not a LWN subscriber).