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
|