Operating Systems Reading Group

MPI-SWS

The Operating Systems Reading Group is a bi-weekly meeting of students at MPI-SWS where we discuss cutting-edge papers as well as seminal works in operating systems research. The aim is to familiarize ourselves with the evolution of operating systems research over the last few decades through lively discussions.

Time and Location

Every Tuesday 2:55pm
Room 005, Saarbrücken
Room 517, Kaiserslautern
        
Date Paper
17 Dec Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd Millstein, Madanlal Musuvathi, End-to-end sequential consistency, ISCA 2012
26 Nov Juan A. Colmenares, Gage Eads, Steven Hofmeyr, Sarah Bird, Miquel Moreto, David Chou, Brian Gluzman, Eric Roman, Davide B. Bartolini, Nitesh Mor, Krste Asanovic, and John D. Kubiatowicz, Tessellation: Refactoring the OS around Explicit Resource Containers with Continuous Adaptation, DAC ESS 2013
12 Nov Piyus Kedia, Sorav Bansal, Fast dynamic binary translation for the kernel, SOSP 2013
29 Oct Andrew S. Tanenbaum, M. Frans Kaashoek, The Amoeba Microkernel, IEEE 1994
22 Oct Aaron Pohle, Bjorn Dobel, Michael Roitzsch, Hermann Härti, Capability Wrangling Made Easy: Debugging on a Microkernel with Valgrind, VEE 2010
22 Oct Adam Lackorzynski, Alexander Warg, Taming Subsystems, IIES 2009
8 Oct Kevin Elphinstone, Gernot Heiser, From L3 to seL4. What Have We Learnt in 20 Years of L4 Microkernels, SOSP 2013
1 Oct Tudor David, Rachid Guerraoui, Vasileios Trigonakis, Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask, SOSP 2013
24 Sep Jonathan S. Shapiro, Jonathan M. Smith, David J. Farber, EROS: a fast capability system, SOSP 1999
17 Sep Jack B. Dennis, Earl C. Van Horn, Programming Semantics for Multiprogrammed Computations, CACM Volume 9 Issue 3, March 1966
24 Jul Gabriel Parmer, Richard West, Mutable Protection Domains: Adapting System Fault Isolation for Reliability and Efficiency, IEEE Transactions on Software Engineering Volume 38, Issue 4
17 Jul Eran Gabber, Christopher Small, John Bruno, José Brustoloni, Avi Silberschatz, The Pebble Component-Based Operating System, USENIX '99
3 Jul Silas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandong Mao, Frans Kaashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yuehua Dai, Yang Zhang, Zheng Zhang, Corey: An Operating System for Many Cores, OSDI '08
26 Jun Galen C. Hunt, James R. Larus, Singularity: Rethinking the Software Stack, ACM SIGOPS 2007
19 Jun Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen Hunt, Helios: heterogeneous multiprocessing with satellite kernels, SOSP '09
12 Jun Christopher Clark, Keir Fraser, Steven Hand, Jacob Gorm Hansen, Eric Jul, Christian Limpach, Ian Pratt, Andrew Warfield, Live Migration of Virtual Machines, NSDI '05
5 Jun Udo Steinberg, Bernhard Kauer, NOVA: A Microhypervisor-Based Secure Virtualization Architecture, EuroSys '10
29 May Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauery, Ian Pratt, Andrew Warfield, Xen and the Art of Virtualization, SOSP '03
22 May Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Stephen Clawson, Microkernels Meet Recursive Virtual Machines, OSDI '96
15 May Edouard Bugnion, Scott Devine, Mendel Rosenblum, Disco: Running Commodity Operating Systems on Scalable Multiprocessors, ACM Transactions on Computer Systems (TOCS)
8 May Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, RadixVM: Scalable address spaces for multithreaded applications, EuroSys 2013
1 May Tom Bergan, Nicholas Hunt, Luis Ceze, Steven D. Gribble, Deterministic Process Groups in dOS, OSDI 2010
26 Apr Silas Boyd-Wickizer, Austin T. Clements, Yandong Mao, Aleksey Pesterev, M. Frans Kaashoek, Robert Morris, and Nickolai Zeldovich, An Analysis of Linux Scalability to Many Cores, OSDI 2010
2 Apr David Wentzlaff, Anant Agarwal, Factored Operating Systems (fos): The Case for a Scalable Operating System for Multicores, SIGOPS 2009
22 Mar Andrew Baumann, Paul Barham, Pierre-Evariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania, The Multikernel: A new OS architecture for scalable multicore systems, SOSP 2009
15 Mar G Klein, K Elphinstone, G Heiser, J Andronick, D Cock, P Derrin, D Elkaduwe, K Engelhardt, R Kolanski, M Norrish, T Sewell, H Tuch, S Winwood, seL4: Formal Verication of an OS Kernel, SOSP 2009
8 Mar Dawson R. Engler, M. Frans Kaashoek, James O'Toole Jr, Exokernel: An Operating System Architecture for Application-Level Resource Management, SOSP 1995
1 Mar Jochen Liedtke, On u-Kernel Construction, SOSP 1995
Date Paper
1 Apr Philip Levis, Experiences from a Decade of TinyOS Development, OSDI 2012
18 Mar Robert Morris, Eddie Kohler, John Jannotti, and M. Frans Kaashoek, The Click modular router, TOCS Volume 18 Issue 3, Aug. 2000
25 Feb Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, The Mungi single-address-space operating system, Software -- Practice and Experience
21 Jan EuroSys post-PC meeting workshop discussion