Author of the publication

Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program.

, , , , , and . EuroSys, page 689-703. ACM, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Tardis: Coverage-Guided Embedded Operating System Fuzzing., , , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (11): 4563-4574 (2022)The Applications of Promoter-gene-Engineered Biosensors., , , , , , and . Sensors, 18 (9): 2823 (2018)Photometric Normalization of Chang'e-4 Visible and Near-Infrared Imaging Spectrometer Datasets: A Combined Study of In-Situ and Laboratory Spectral Measurements., , , , , , , , , and 2 other author(s). Remote. Sens., 12 (19): 3211 (2020)PATA: Fuzzing with Path Aware Taint Analysis., , , , , , , and . SP, page 1-17. IEEE, (2022)A note on orthogonal matching pursuit under restricted isometry property., , , and . IET Signal Process., 16 (3): 340-350 (2022)IntelliGen: Automatic Driver Synthesis for Fuzz Testing., , , , and . ICSE (SEIP), page 318-327. IEEE, (2021)Brief Industry Paper: Directed Kernel Fuzz Testing on Real-time Linux., , , , , , , and . RTSS, page 495-499. IEEE, (2023)Pre-Orientale Southwest Peak-Ring Basin: Gravity Structure, Geologic Characteristics, and Influence on Orientale Basin Ring Formation and Ejecta Emplacement., , and . Remote. Sens., 13 (13): 2635 (2021)A global catalog of Martian impact craters with actual boundaries and degradation states., , , , , and . Int. J. Appl. Earth Obs. Geoinformation, (2024)A hierarchical framework for parallel seismic applications, , , , , , and . Commun. ACM, 43 (10): 55--59 (October 2000)