Skip to content

Michael V. Le

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

7

Active years

2021–2025

Best venue rank

A*

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2025USENIXRex: 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
2024USENIXFast (Trapless) Kernel Probes Everywhere.Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom, Tianyin Xu
2023AsiaCCSSecuring Container-based Clouds with Syscall-aware Scheduling.Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom
2023CCGRIDSequence-based System Call Filtering for Enhanced Container Security, is it beneficial?Somin Song, Sahil Suneja, Michael V. Le, Byungchul Tak
2023HotOSKernel extension verification is untenable.Jinghao Jia, Raj Sahu, Adam Oswald, Dan Williams, Michael V. Le, Tianyin Xu
2023SIGCOMMPractical and Flexible Kernel CFI Enforcement using eBPF.Jinghao Jia, Michael V. Le, Salman Ahmed, Dan Williams, Hani Jamjoom
2022ESORICSSecQuant: Quantifying Container System Call Exposure.Sunwoo Jang, Somin Song, Byungchul Tak, Sahil Suneja, Michael V. Le, Chuan Yue, Dan Williams
2021EuroSysConfidential computing for OpenPOWER.Guerney D. H. Hunt, Ramachandra Pai, Michael V. Le, Hani Jamjoom, Sukadev Bhattiprolu, Rick Boivie, Laurent Dufour, Brad Frey, Mohit Kapur, Kenneth A. Goldman, Ryan Grimm, Janani Janakirman, John M. Ludden, Paul Mackerras, Cathy May, Elaine R. Palmer, Bharata Bhasker Rao, Lawrence Roy, William A. Starke, Jeff Stuecheli, Enriquillo Valdez, Wendel Voigt