Formalizing the User-Kernel Shared-Memory Boundary: The C/LKMM Compound Model

@article{kapoor_asplos27,
  author       = {Hastin Kapoor and
                  Soham Bagchi and
                  An Qi Zhang and
                  Soham Chakraborty and 
                  Marco Elver and
                  Andr{\'{e}}s Goens and
                  Susmit Sarkar and
                  Ryan Stutsman and
                  Vijay Nagarajan},
  title        = {Formalizing the User-Kernel Shared-Memory Boundary: The C/LKMM Compound Model},
  booktitle    = {(to appear in) Proceedings of the 32nd {ACM} International Conference on Architectural
                  Support for Programming Languages and Operating Systems, {ASPLOS} 2027, Heraklion, Crete, Greece, April 11-15, 2027},
  publisher    = {{ACM}},
  year         = {2027},
}