13th Workshop on Programming Languages and Operating Systems (PLOS 2025)

Rationale

Historically, operating system (OS) development and programming language (PL) development went hand-in-hand. Cross-fertilization was the norm. Challenges in one area were often approached using ideas or techniques developed in the other, and advances in one enabled new capabilities in both. Today, although the systems community at large retains an iron grip on C, modern PL ideas continue to spark innovations in OS design and construction. Conversely, the systems field continues to provide a wealth of challenging problems and practical results that should spark advances in PLs, software designs, and idioms.

This workshop will bring together researchers and developers from the PL and OS domains to discuss recent work at the intersection of these fields. It will be a venue for discussing new visions, challenges, experiences, problems, and solutions arising from the application of advanced programming and software engineering concepts to OSes construction, and vice versa.

Workshop Program

We have an exciting program listed here.

Venue and Registration

We are co-located with SOSP, with the registration also handled via SOSP. Follow this link to the registration site. The early registration deadline is September 8th.

News

Oct 13, 2025

PLOS '25 is over and got very positive feedback by the participants. About 35-40 attendees enjoyed the interesting talks and discussions. Many thanks to all authors, the PC, and the audience!
(click to download/enlarge)

Oct 13, 2025

The PLOS '25 best paper award was given to Shai Caspin, Nikhil Pimpalkhare, and Amit Levy from Princeton University for "From Rust Till Run: Extending Memory Safety From Rust to Cryptographic Assembly".
(click to download/enlarge)

Oct 02, 2025

The complete workshop proceedings are available in the ACM DL.

Sep 23, 2025

Workshop schedule is online.

Aug 22, 2025

Registration is open at https://sigops.org/s/conferences/sosp/2025/registration.html. The early registration deadline is Sep 8.

Jul 22, 2025

Deadline extension! Please submit by August 2.

May 10, 2025

The call for papers is online (PDF: ). The submission deadline is July 25.

May 3, 2025

The preliminary workshop website is online.