Workshop on Programming Languages and Operating Systems
PLOS
C
CORE rank
CORE rank (raw)
C
Fields of research
Distributed Computing and Systems Software · Software Engineering
Papers indexed
27
2023–2025
Papers per year
202316 peak2025
PLOS papers
27 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2025 | Towards Hybrid Cooperative-Preemptive Scheduling. | Yizheng Xie, Di Jin, Nikos Vasilakis |
| 2025 | Static Analysis of Reference-Counted Objects for the C Programming Language. | Ole Wiedemann, Volkmar Sieh |
| 2025 | Propagating C++ Exceptions across the User/Kernel Boundary. | Dmitry Voronetskiy, Tom Spink |
| 2025 | Are Your GPU Atomics Secretly Contending? | Peter Maucher, Nick Djerfi, Lennard Kittner, Lukas Werling, Frank Bellosa |
| 2025 | From Browser to Kernel: Exploring a Lightweight Sandboxed Approach for Unikernel Extensions. | Martin Krning, Stefan Lankes, Jonathan Klimt, Antonello Monti |
| 2025 | Path Expressions Revisited - Towards Compiler-enforced Reusable Synchronization Patterns. | Thomas Alexander Hvelmann, Olaf Spinczyk, Alexander Krause, Horst Schirmeier, Peter Ulbrich |
| 2025 | Applying Modern Verification Techniques to a Root-of-Trust Bootloader. | Nicholas Gordon, Carsten Weinhold |
| 2025 | Monolift: Automating Distribution With the Tools You Have at Home. | Tim Goodwin, Esteban Ramos, Andi Quinn, Lindsey Kuper |
| 2025 | Debug, Execute, Verify! Development-Verification Co-Design Made Practical. | Frantisek Farka, Carmine Abate, Shuanglong Kan, Sebastian Ertel |
| 2025 | Tapestry: Revealing Wait-For Dependencies Between Application Threads. | Toms Faltn, Himadri Chhaya-Shailesh, Julia Lawall, Jean-Pierre Lozi |
| 2025 | Compositional Model-Driven Verification of Weakly Consistent Distributed Systems. | Bryant J. Curto, Jeonghyeon Kim, Alan Wang, Gijung Im, Jieung Kim, Jeehoon Kang, Ji-Yong Shin |
| 2025 | From Rust Till Run: Extending Memory Safety From Rust to Cryptographic Assembly. | Shai Caspin, Nikhil Pimpalkhare, Amit Levy |
| 2025 | Comparing Isolation Mechanisms with OSmosis. | Sidhartha Agrawal, Shaurya Patel, Arya Stevinson, Linh Pham, Ilias Karimalis, Hugo Lefeuvre, Aastha Mehta, Reto Achermann, Margo I. Seltzer |
| 2025 | KLean: Extending Operating System Kernels with Lean. | Di Jin, Ethan Lavi, Jinghao Jia, Robert Y. Lewis, Nikos Vasilakis |
| 2025 | High-Fidelity Specification of Real-World Devices. | Liam Murphy, Albert Rizaldi, Lesley Rossouw, Chen George, James Treloar, Hammond Pearce, Miki Tanaka, Gernot Heiser |
| 2025 | Modal Verification Patterns for Systems Software. | Ismail Kuru, Colin S. Gordon |
| 2023 | Synthesizing Device Drivers with Ghost Writer. | Bingyao Wang, Sepehr Noorafshan, Reto Achermann, Margo I. Seltzer |
| 2023 | Process Composition with Typed Unix Pipes. | Michael Sippel, Horst Schirmeier |
| 2023 | Pancake: Verified Systems Programming Made Sweeter. | Johannes man Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana J. Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish, Gernot Heiser |
| 2023 | CHERI-picking: Leveraging capability hardware for prefetching. | Shaurya Patel, Sidhartha Agrawal, Alexandra Fedorova, Margo I. Seltzer |
| 2023 | Towards Just-In-Time Compiling of Operating Systems. | Maximilian Ott, Phillip Raffeck, Volkmar Sieh, Wolfgang Schrder-Preikschat |
| 2023 | Panic Recovery in Rust-based Embedded Systems. | Zhiyao Ma, Guojun Chen, Lin Zhong |
| 2023 | Extending Rust with Support for Zero Copy Communication. | Arthur Lafrance, David Detweiler, Zhaofeng Li, Xiangdong Chen, Vikram Narayanan, Anton Burtsev |
| 2023 | Software Compartmentalization Trade-Offs with Hardware Capabilities. | John Alistair Kressel, Hugo Lefeuvre, Pierre Olivier |
| 2023 | On the Challenge of Sound Code for Operating Systems. | Jonathan Klimt, Martin Krning, Stefan Lankes, Antonello Monti |
1–25 of 27← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*INFOCOMIEEE International Conference on Computer Communications
- A*WWWInternational World Wide Web Conference
- AICDCSInternational Conference on Distributed Computing Systems
- A*SIGCOMMACM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
- A*MOBICOMACM International Conference on Mobile Computing and Networking
- ADSNIEEE/IFIP International Conference on Dependable Systems and Networks
- AICWSIEEE International Conference on Web Services
- A*PODCACM Symposium on Principles of Distributed Computing