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

3D Pharmacophore Mapping Using 4D QSAR Analysis for the Cytotoxicity of Lamellarins Against Human Hormone-Dependent T47D Breast Cancer Cells., , , and . Journal of Chemical Information and Modeling, 49 (10): 2312-2322 (2009)Statistical methods on detecting differentially expressed genes for RNA-seq data., , , , , , and . BMC Syst. Biol., 5 (S-3): S1 (2011)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 Machine Learning Approach to Crater Classification from Topographic Data., , , , and . Remote Sensing, 11 (21): 2594 (2019)Categorical QSAR models for skin sensitization based on local lymph node assay measures and both ground and excited state 4D-fingerprint descriptors., , , , , , and . J. Comput. Aided Mol. Des., 22 (6-7): 345-366 (2008)Valkyrie: Improving fuzzing performance through deterministic techniques., , , and . J. Syst. Softw., (March 2024)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)Spatio-Temporal Evolution Characteristics and Influencing Factors of INGO Activities in Myanmar., , , , and . ISPRS Int. J. Geo Inf., 13 (4): 109 (April 2024)