Milo Craun
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | USENIX | Rex: 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 |
| 2023 | SIGCOMM | Enabling eBPF on Embedded Systems Through Decoupled Verification. | Milo Craun, Adam Oswald, Dan Williams |