CS 1610

Here are some of the papers we read in CS 1610.

In no particular order:


The Turtles Project: Design and Implementation of Nested Virtualization

By Muli Ben-Yehuda, Michael D. Day, Zvi Dubitzky, Michael Factor, Nadav Har'El, Abel Gordon, Anthony Liguori, Orit Wasserman, and Ben-Ami Yassour

Published: 2010

Tags:

Date Added: April 14, 2026


Simultaneous Multithreading: A Platform for Next-Generation Processors

By Susan J. Eggers, Joel S. Emer, Henry M. Levy, Jack L. Lo, Rebecca L. Stamm, and Dean M. Tullsen

Published: September 1, 1997

Tags:

Date Added: April 14, 2026


Unikernels: library operating systems for the cloud

By Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand, and Jon Crowcroft

Published: March 16, 2013

Tags:

Date Added: April 14, 2026


Unikernels: the rise of the virtual library operating system

By Anil Madhavapeddy, and David J. Scott

Published: January 1, 2014

Tags:

Date Added: April 14, 2026


A fork() in the road

By Andrew Baumann, Jonathan Appavoo, Orran Krieger, and Timothy Roscoe

Published: May 13, 2019

Tags:

Date Added: April 14, 2026


An analysis of Linux scalability to many cores

By Silas Boyd-Wickizer, Austin T. Clements, Yandong Mao, Aleksey Pesterev, M. Frans Kaashoek, Robert Morris, and Nickolai Zeldovich

Published: October 4, 2010

Tags:

Date Added: April 14, 2026


The multikernel: a new OS architecture for scalable multicore systems

By Andrew Baumann, Paul Barham, Pierre-Evariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, and Akhilesh Singhania

Published: October 11, 2009

Tags:

Date Added: April 14, 2026


A case against (most) context switches

By Jack Tigar Humphries, Kostis Kaffes, David Mazières, and Christos Kozyrakis

Published: June 3, 2021

Tags:

Date Added: April 14, 2026


Are virtual-machine monitors microkernels done right?

By Gernot Heiser, Volkmar Uhlig, and Joshua LeVasseur

Published: January 1, 2006

Tags:

Date Added: April 14, 2026


Are virtual machine monitors microkernels done right?

By Steven Hand, Andrew Warfield, Keir Fraser, Evangelos Kotsovinos, and Dan Magenheimer

Published: June 12, 2005

Tags:

Date Added: April 14, 2026


seL4: formal verification of an operating-system kernel

By Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood

Published: June 1, 2010

Tags:

Date Added: April 14, 2026


Lessons Learned from 30 Years of MINIX – Communications of the ACM

By

Published: 2016-03-01

Tags:

Date Added: April 14, 2026


Open Sources: Voices from the Open Source Revolution

By

Published: 1999-03-29

Tags:

Date Added: April 14, 2026


The nucleus of a multiprogramming system

By Per Brinch Hansen

Published: April 1, 1970

Tags:

Date Added: April 14, 2026


Practical Safe Linux Kernel Extensibility

By Samantha Miller, Kaiyuan Zhang, Danyang Zhuo, Shibin Xu, Arvind Krishnamurthy, and Thomas Anderson

Published: May 13, 2019

Tags:

Date Added: April 14, 2026


How to read a paper

By S. Keshav

Published: July 20, 2007

Tags:

Date Added: April 14, 2026


How to read a research paper

By Michael Mitzenmacher

Published:

Tags:

Date Added: April 14, 2026


Memory resource management in VMware ESX server

By Carl A. Waldspurger

Published: December 31, 2003

Tags:

Date Added: April 14, 2026