Jinghao Jia

Orcid: 0009-0005-0837-4677

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

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
A Novel Reconfigurable Dexterous Hand Based on Triple-Symmetric Bricard Parallel Mechanism.
CoRR, March, 2026

When Mamba meets CNN: A hybrid architecture for skin lesion segmentation.
Image Vis. Comput., 2026

Multi-scale network for medical image segmentation integrated with edge perception.
Biomed. Signal Process. Control., 2026

2025
Safe and usable kernel extensions with Rax.
CoRR, February, 2025

Rex: Closing the language-verifier gap with safe and usable kernel extensions.
Proceedings of the 2025 USENIX Annual Technical Conference, 2025

KLean: Extending Operating System Kernels with Lean.
Proceedings of the 13th Workshop on Programming Languages and Operating Systems, 2025

DebCovDiff: Differential Testing of Coverage Measurement Tools on Real-World Projects.
Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2024
Fast (Trapless) Kernel Probes Everywhere.
Proceedings of the 2024 USENIX Annual Technical Conference, 2024

2023
Programmable System Call Security with eBPF.
CoRR, 2023

Practical and Flexible Kernel CFI Enforcement using eBPF.
Proceedings of the 1st Workshop on eBPF and Kernel Extensions, 2023

Kernel extension verification is untenable.
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023


  Loading...