default search action

combined dblp search
author search
venue search
publication search

ask others

KISV@SOSP 2024: Austin, TX, USA

> Home > Conferences and Workshops > KISV
> Home > Conferences and Workshops > SOSP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/kisv/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kisv/2024
Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification, KISV 2024, Austin, TX, USA, November 3-6, 2024. ACM 2024, ISBN 979-8-4007-1301-9
- view
  authority control:
- export record
  dblp key:
  - conf/kisv/ReuschAR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kisv/ReuschAR24
Viktor Reusch, Nils Asmussen, Michael Roitzsch:
Robust and Immediate Resource Reclamation with M3. 1-7
- view
  authority control:
- export record
  dblp key:
  - conf/kisv/CastesKSTWB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kisv/CastesKSTWB24
Charly Castes, Neelu Shivprakash Kalani, Sofia Saltovskaia, Noé Terrier, Abel Vexina Wilkinson, Edouard Bugnion:
Kicking the Firmware Out of the TCB with the Miralis Virtual Firmware Monitor. 8-15
- view
  authority control:
- export record
  dblp key:
  - conf/kisv/HuangSL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kisv/HuangSL24
Gongqi Huang, Leon Schuermann, Amit Levy:
Bridge: A Leak-Free Hardware-Software Architecture for Parallel Embedded Systems. 16-22
- view
  authority control:
- export record
  dblp key:
  - conf/kisv/Chen0ZB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kisv/Chen0ZB24
Xiangdong Chen, Zhaofeng Li, Jerry Zhang, Anton Burtsev:
Veld: Verified Linux Drivers. 23-30

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.