default search action

combined dblp search
author search
venue search
publication search

ask others

13th PLOS@SOSP 2025: Seoul, Korea

> Home > Conferences and Workshops > PLOS
> 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/plos/2025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/2025
Proceedings of the 13th Workshop on Programming Languages and Operating Systems, PLOS 2025, Seoul, Republic of Korea, October 13-16, 2025. ACM 2025, ISBN 979-8-4007-2225-7
- view
  authority control:
- export record
  dblp key:
  - conf/plos/AgrawalPSPKLMAS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/AgrawalPSPKLMAS25
Sidhartha Agrawal, Shaurya Patel, Arya Stevinson, Linh Pham, Ilias Karimalis, Hugo Lefeuvre, Aastha Mehta, Reto Achermann, Margo I. Seltzer:
Comparing Isolation Mechanisms with OSmosis. 1-9
- view
  authority control:
- export record
  dblp key:
  - conf/plos/GoodwinRQK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/GoodwinRQK25
Tim Goodwin, Esteban Ramos, Andi Quinn, Lindsey Kuper:
Monolift: Automating Distribution With the Tools You Have at Home. 10-17
- view
  authority control:
- export record
  dblp key:
  - conf/plos/WiedemannS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/WiedemannS25
Ole Wiedemann, Volkmar Sieh:
Static Analysis of Reference-Counted Objects for the C Programming Language. 18-24
- view
  authority control:
- export record
  dblp key:
  - conf/plos/0001G25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/0001G25
Ismail Kuru, Colin S. Gordon:
Modal Verification Patterns for Systems Software. 25-33
- view
  authority control:
- export record
  dblp key:
  - conf/plos/GordonW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/GordonW25
Nicholas Gordon, Carsten Weinhold:
Applying Modern Verification Techniques to a Root-of-Trust Bootloader. 34-41
- view
  authority control:
- export record
  dblp key:
  - conf/plos/CurtoKWIKKS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/CurtoKWIKKS25
Bryant J. Curto, Jeonghyeon Kim, Alan Wang, Gijung Im, Jieung Kim, Jeehoon Kang, Ji-Yong Shin:
Compositional Model-Driven Verification of Weakly Consistent Distributed Systems. 42-50
- view
  authority control:
- export record
  dblp key:
  - conf/plos/FarkaAKE25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/FarkaAKE25
Frantisek Farka, Carmine Abate, Shuanglong Kan, Sebastian Ertel:
Debug, Execute, Verify! Development-Verification Co-Design Made Practical. 51-59
- view
  authority control:
- export record
  dblp key:
  - conf/plos/0003RRGTPTH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/0003RRGTPTH25
Liam Murphy, Albert Rizaldi, Lesley Rossouw, Chen George, James Treloar, Hammond Pearce, Miki Tanaka, Gernot Heiser:
High-Fidelity Specification of Real-World Devices. 60-67
- view
  authority control:
- export record
  dblp key:
  - conf/plos/Xie0V25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/Xie0V25
Yizheng Xie, Di Jin, Nikos Vasilakis:
Towards Hybrid Cooperative-Preemptive Scheduling. 68-75
- view
  authority control:
- export record
  dblp key:
  - conf/plos/HovelmannSKSU25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/HovelmannSKSU25
Thomas Alexander Hövelmann, Olaf Spinczyk, Alexander Krause, Horst Schirmeier, Peter Ulbrich:
Path Expressions Revisited - Towards Compiler-enforced Reusable Synchronization Patterns. 76-83
- view
  authority control:
- export record
  dblp key:
  - conf/plos/MaucherDKWB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/MaucherDKWB25
Peter Maucher, Nick Djerfi, Lennard Kittner, Lukas Werling, Frank Bellosa:
Are Your GPU Atomics Secretly Contending? 84-92
- view
  authority control:
- export record
  dblp key:
  - conf/plos/FaltinCLL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/FaltinCLL25
Tomás Faltín, Himadri Chhaya-Shailesh, Julia Lawall, Jean-Pierre Lozi:
Tapestry: Revealing Wait-For Dependencies Between Application Threads. 93-100
- view
  authority control:
- export record
  dblp key:
  - conf/plos/VoronetskiyS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/VoronetskiyS25
Dmitry Voronetskiy, Tom Spink:
Propagating C++ Exceptions across the User/Kernel Boundary. 101-107
- view
  authority control:
- export record
  dblp key:
  - conf/plos/CaspinPL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/CaspinPL25
Shai Caspin, Nikhil Pimpalkhare, Amit Levy:
From Rust Till Run: Extending Memory Safety From Rust to Cryptographic Assembly. 108-117
- view
  authority control:
- export record
  dblp key:
  - conf/plos/0004LJLV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/0004LJLV25
Di Jin, Ethan Lavi, Jinghao Jia, Robert Y. Lewis, Nikos Vasilakis:
KLean: Extending Operating System Kernels with Lean. 118-126
- view
  authority control:
- export record
  dblp key:
  - conf/plos/KroningLKM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plos/KroningLKM25
Martin Kröning, Stefan Lankes, Jonathan Klimt, Antonello Monti:
From Browser to Kernel: Exploring a Lightweight Sandboxed Approach for Unikernel Extensions. 127-135

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.