WorkWander.tech
WorkWander.tech

Programming Languages and Operating Systems

PLOS: 14th Workshop on Programming Languages and Operating Systems

In conjunction with
ACM Symposium on Operating Systems Principles 2026
September 29, 2026 - October 2, 2026
Clarion Congress Hotel Prague
Prague, Czech Republic

Systems Operating Systems Computer Science

Explores the intersection of language design, verification, and operating systems implementation. A long-standing pairing: language design decisions determine what an OS can guarantee, and OS constraints determine which language features are usable in a kernel. Verification of systems code is a recurring theme. Verified kernels have moved from research curiosity to deployed reality, which makes this pairing considerably more practical than it once was.

  For more information, visit the workshop website

More workshops at ACM Symposium on Operating Systems Principles 2026

  • Operating Systems Design for AI Agents — Explores how operating systems should evolve when AI agents become first-class workloads. The premise is...
  • Big Memory — Covers memory-centric computing at scale, including CXL, memory pooling, and far-memory systems. CXL and memory...
  • FPGA Systems for Data Centers and Cloud — New venue for FPGA-based acceleration in cloud and datacenter systems. FPGAs promise efficiency but impose...
  • Disruptive Memory Systems — Examines emerging memory technologies and the system software needed to exploit them. New memory technologies...
  • eBPF and Kernel Extensions — Covers safe kernel extensibility with eBPF, from verifier research to production networking and observability uses....
  • Hardening Agent Runtimes — Examines the runtime infrastructure for AI agents: execution, state management, networking, and security. Distinct from...
  • Hot Topics in Storage and File Systems — The storage community's ideas venue for early-stage work on file systems and storage stacks, held...
  • Practical Adoption Challenges of ML for Systems — Focuses on what it takes to move machine learning for systems from papers into production....
  • Quantum Systems — Addresses the systems software stack for quantum computing, from control systems to schedulers. Quantum hardware...
  • Systems for Health — New venue for computer systems research applied to health, from wearables to clinical data infrastructure....
  • Doctoral Workshop — The systems community's doctoral workshop, giving PhD students feedback from senior researchers. A doctoral workshop...
  • Systems for Secure Multiparty Computation — Bridges cryptographic multiparty computation and the systems engineering needed to deploy it. Multiparty computation has...