Marco Elver

Publication

1. ASPLOS'27 Formalizing the User-Kernel Shared-Memory Boundary: The C/LKMM Compound Model

   Hastin Kapoor, Soham Bagchi, An Qi Zhang, Soham Chakraborty, Marco Elver, Andrés Goens, Susmit Sarkar, Ryan Stutsman, Vijay Nagarajan