Jinghao Jia

According to our database, Jinghao Jia authored at least 11 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

A Novel Reconfigurable Dexterous Hand Based on Triple-Symmetric Bricard Parallel Mechanism.

Chunxu Tian, Zhichao Huang, Hongzeng Li, Bo Wang, Jinghao Jia, Yirui Sun, Dan Zhang

CoRR, March, 2026

When Mamba meets CNN: A hybrid architecture for skin lesion segmentation.

Yun Xiao, Caijuan Shi, Jinghao Jia, Ao Cai, Yinan Zhang, Meiwen Zhang

Image Vis. Comput., 2026

Multi-scale network for medical image segmentation integrated with edge perception.

Mingjun Wei, Qian Wu, Jinghao Jia, Weibin Chen, Ao Cai, Hui Li, Xiaochuan Sun, Jinyun Liu

Biomed. Signal Process. Control., 2026

2025

Safe and usable kernel extensions with Rax.

Jinghao Jia, Ruowen Qin, Milo Craun, Egor Lukiyanov, Ayush Bansal, Michael V. Le, Hubertus Franke, Hani Jamjoom, Tianyin Xu, Dan Williams

CoRR, February, 2025

Rex: Closing the language-verifier gap with safe and usable kernel extensions.

Jinghao Jia, Ruowen Qin, Milo Craun, Egor Lukiyanov, Ayush Bansal, Minh Phan, Michael V. Le, Hubertus Franke, Hani Jamjoom, Tianyin Xu, Dan Williams

Proceedings of the 2025 USENIX Annual Technical Conference, 2025

KLean: Extending Operating System Kernels with Lean.

Di Jin, Ethan Lavi, Jinghao Jia, Robert Y. Lewis, Nikos Vasilakis

Proceedings of the 13th Workshop on Programming Languages and Operating Systems, 2025

DebCovDiff: Differential Testing of Coverage Measurement Tools on Real-World Projects.

Wentao Zhang, Jinghao Jia, Erkai Yu, Darko Marinov, Tianyin Xu

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2024

Fast (Trapless) Kernel Probes Everywhere.

Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom, Tianyin Xu

Proceedings of the 2024 USENIX Annual Technical Conference, 2024

2023

Programmable System Call Security with eBPF.

Jinghao Jia, YiFei Zhu, Dan Williams, Andrea Arcangeli, Claudio Canella, Hubertus Franke, Tobin Feldman-Fitzthum, Dimitrios Skarlatos, Daniel Gruss, Tianyin Xu

CoRR, 2023

Practical and Flexible Kernel CFI Enforcement using eBPF.

Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom

Proceedings of the 1st Workshop on eBPF and Kernel Extensions, 2023

Kernel extension verification is untenable.

Jinghao Jia, Raj Sahu, Adam Oswald, Dan Williams, Michael V. Le, Tianyin Xu

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023