Publications

2 results for Jinghao Jia

Rex: Closing the language-verifier gap with safe and usable kernel extensions
- - Jinghao Jia
  - Ruowen Qin
  - et al.
- 2025
- USENIX ATC 2025
Fast (Trapless) Kernel Probes Everywhere
- - Jinghao Jia
  - Michael Le
  - et al.
- 2024
- USENIX ATC 2024