Biblio

Export 3 results:
Filters: Author is Hao Sun  [Clear All Filters]
2024
Sun H, Su Z.  2024.  Validating the eBPF Verifier via State Embedding. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :615--628.
2022
Sun H, Shen Y, Liu J, Xu Y, Jiang Y.  2022.  KSG: Augmenting Kernel Fuzzing with System Call Specification Generation. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :351--366.
2002
Ng WTeck, Sun H, Hillyer B, Shriver E, Gabber E, Özden B.  2002.  Obtaining High Performance for Storage Outsourcing. Conference on File and Storage Technologies (FAST 02).