ACM SIGOPS Strategic Workshop 2025

Co-located with SOSP 2025 in Seoul

Workshop Introduction

The landscape of computing and operating systems (OS) research has undergone profound shifts over the past decade, driven by advancements in hardware, distributed systems, AI-driven automation, and the proliferation of heterogeneous computing environments. These changes demand renewed reflection on the principles, priorities, and opportunities that will define the next generation of OS research. Building on the legacy of the SOSP History Day (2015), the SOSP Strategic Workshop (2025) aims to bridge historical wisdom with forward-looking vision. This workshop will convene a diverse cohort of senior researchers, foundational contributors, and emerging leaders to collectively shape a strategic roadmap for OS research over the next five years. The Strategic Workshop seeks to identify actionable priorities, foster interdisciplinary collaboration, and inspire a shared vision for OS research in the coming decade. This event will not only honor the legacy of SOSP but also empower the community to navigate an increasingly complex technological future with clarity and purpose.

Tentative Program

Session 1: Opening & Keynote Speech

  • 8:50 - 9:00: Opening Remarks

  • 9:00 - 9:45: Computer Architecture 101 and Its Future

    Speaker: David Patterson

  • 10:00 - 10:45: How does a computer system get to be the way it is?

    Speaker: Butler Lampson

10:45 - 11:00: Coffee Break

Session 2: The Intelligent Nexus: AI and Systems

  • 11:00 - 11:10: How AI is Disrupting Systems Research

    Speaker: Ion Stoica, Berkeley

  • 11:10 - 11:20: Towards Model-native OS: Rethinking System Foundations for the Era of Large Models

    Speaker: Haibo Chen, Shanghai Jiao Tong University

  • 11:20 - 11:30: Towards Trustworthy AI Systems

    Speaker: Junfeng Yang, Columbia University

  • 11:30 - 11:40: What Matters More for Production AI Systems

    Speaker: Byung-Gon Chun, Seoul National University and FriendliAI

Session 3 (Pannel 1): The Future is Now: System Research in the Era of AI

  • 11:40 - 12:30: Discussion (Moderator: Christos Kozyrakis)

    Panelist: Ion Stoica (Berkeley), Mingxing Zhang (Tsinghua), Dimitris Skarlatos (CMU)

12:30 - 14:00: Lunch

Session 4: Building Blocks for a Reliable Future

  • 14:00 - 14:10: Challenges in building large, trustworthy systems

    Speaker: Peter Chen, University of Michigan

  • 14:10 - 14:20: Reliability is harder than it was

    Speaker: Jeff Mogul, Google

  • 14:20 - 14:30: Metastable Fault Tolerance

    Speaker: Lorenzo Alvisi, Cornell University

  • 14:30 - 14:40: Verifying real-world distributed systems using gradual verification

    Speaker: Frans Kaashoek, MIT

  • 14:40 - 15:00: Group Discussion

Session 5: The Sky is Not the Limit: Future of Cloud Systems

  • 15:00 - 15:10: The Core Problem with Cores: It's All About the Software

    Speaker: Harry Xu, UCLA and BreezeML

  • 15:10 - 15:20: Systems in the AI Era

    Speaker: Christos Kozyrakis, Stanford University

  • 15:20 - 15:30: What UNIX got right but the cloud got wrong

    Speaker: Robbert van Renesse, Cornell University

  • 15:30 - 15:50: Group Discussion

15:50 - 16:10: Coffee Break

Session 6: The Core of the Machine: OS in a New Era

  • 16:10 - 16:20: Don’t forget the OS – and the principles!

    Speaker: Gernot Heiser, UNSW

  • 16:20 - 16:30: The Aversion to Systematization in Systems Research

    Speaker: Timothy Roscoe, ETH Zurich

  • 16:30 - 16:40: Growth and Growing Pains: Systems Research in Asia’s Next Chapter

    Speaker: Yubin Xia, Shanghai Jiao Tong University

  • 16:40 - 16:50: Operating Systems and Socio-Technical Systems

    Speaker: Jeanna Matthews, Clarkson University/ DuckDuckGo

  • 16:50 - 17:10: Group Discussion

Session 7 (Pannel 2): Building a Community in the Era of AI

  • 17:10 - 18:00: Discussion (Moderator: Jeanna Matthews)

Dates & Location

Organizing Committee