Lukas Humbel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2017–2021
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | HotOS | mmapx: uniform memory protection in a heterogeneous world. | Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn |
| 2021 | SOSP | Generating correct initial page tables from formal hardware descriptions. | Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn |
| 2018 | ITP | Physical Addressing on Real Hardware in Isabelle/HOL. | Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe |
| 2017 | SOSP | Towards Correct-by-Construction Interrupt Routing on Real Hardware. | Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe |