  @misc{Zhu_Heiser_26:sel4s,
    author           = {Guangtao Zhu and Gernot Heiser},
    location         = {Vancouver, BC, Canada},
    month            = sep,
    note             = {Talk at the 8th {seL4} {Summit}},
    title            = {Carrels: Secure, High-performance Microservice on {seL4}},
    video            = {https://www.youtube.com/watch?v=MqxP5Z8qUw4},
    year             = {2026}
  }