| Date
|
Readings
|
Presenter
|
| 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
|
|
|
