Sep. 24 End-to-End Arguments in System Design, J. Saltzer, D. Reed and D.D. Clark, ACM Transactions on Computer Systems, 2(4), pages 277-288, 1984
Rethinking the Design of the Internet: The End-to-End Arguments vs. The Brave New World, M.S. Blumenthal and D.D. Clark, ACM Transactions on Internet Technology, 1(1), pages 70-109, 2001
Silviu Andrica
Oct. 1 Hints for Computer System Design, Butler Lampson, ACM Operating Systems Review, 15(5), pp. 33-48, October 1983 Vova Kuznetsov
Oct. 15 Dualities in Programming Languages, by Martin Hirzel and Priya Nagpurkar (PLDI 2010, Fun Ideas and Thoughts session) Lyudmila Yartseva
Oct. 22 Grace: Safe Multithreaded Programming for C/C++, by Emery D. Berger, Ting Yang, Tongping Liu, Gene Novark (OOPSLA 2009) Mihai Dobrescu
Oct. 29 Effective Data-Race Detection for the Kernel, John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, and Kirk Olynyk (OSDI 2010) Baris Kasikci
Nov. 5
Ad Hoc Synchronization Considered Harmful, Weiwei Xiong, Soyeon Park, Jiaqi Zhang, and Yuanyuan Zhou, Zhiqiang Ma, Matthew Frank, Bob Kuhn, and Paul Petersen (OSDI 2010)
A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World, by Al Bessey, Ken Block, Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott McPeak, and Dawson Engler (CACM 53(2):66-75, 2010
Anastasiya Tychinskaya
Nov. 12
Memory Consistency Models, by David Mosberger (originally appeared in ACM OSR 27(1):18--26, 1993) Renata Borovica
Nov. 19
On the Duality of Operating System Structures, Hugh C. Lauer and Roger M. Needham, ACM Operating Systems Review, 13(2), pp. 3-19, April 1979
Sharing Memory Robustly in Message-Passing Systems, H. Attiya, A. Bar-Noy and D. Dolev, Journal of the ACM, 42(1), 1995
Stefan Bucur
Nov. 26 CoreDet: a compiler and runtime system for deterministic multithreaded execution, by Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman (ASPLOS 2010) Vitaly Chipounov
Dec. 3 Efficient System-Enforced Deterministic Parallelism, by Amittai Aviram, Shu-Chun Weng, Sen Hu, and Bryan Ford (OSDI 2010) Sotiria Fytraki
Dec. 10
Why Alto?, by Butler Lampson (Internal memo, Xerox PARC, December 1972)
Multics – The first seven years, by F. J. Corbato, J. H. Saltzer, C. T. Clingen
Vlad Ureche
Dec. 17
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 (SOSP 2009)

An Analysis of Linux Scalability to Many Cores, by Silas Boyd-Wickizer, Austin Clements, Yandong Mao, Aleksey Pesterev, M. Frans Kaashoek, Robert Morris, and Nickolai Zeldovich (OSDI 2010)
Ioannis Alagiannis

Almutaz Adileh