236827, Winter 2013
Seminar in Computer Systems

Instructor    Dan Tsafrir (Taub 611, phone: 2056)
Time & place    Wednesday, 16:30-18:30, Taub 8


Table of content


News


Registration procedure


Seminar in previous years


Description


Assignments


Grading


Schedule

First student talks

     1:
Flat Datacenter Storage
Edmund B. Nightingale, Jeremy Elson, and Jinliang Fan (Microsoft Research); Owen Hofmann (University of Texas at Austin); Jon Howell and Yutaka Suzue (Microsoft Research)
In OSDI'12: 10th USENIX Symposium on Operating Systems Design and Implementation, 2012
presenting: Eitan Rosenfeld
reports: Alex Kreimer
date: 07/11/2012

     2:
Dataflow Execution of Sequential Imperative Programs on Multicore Architectures
Gagan Gupta and Gurindar S. Sohi (University of Wisconsin-Madison)
In MICRO'11: 44th IEEE/ACM Annual International Symposium on Microarchitecture
presenting: Adi Fuchs
reports: Alex Kreimer
date: 07/11/2012

FAST'12 - best papers

     3:
Revisiting Storage for Smartphones
Hyojun Kim, Nitin Agrawal, and Cristian Ungureanu (NEC Labs America)
In FAST'12: 10th USENIX Conference on File and Storage Technologies, 2012
presenting: Alex Kreimer
reports: Amit Carmeli, Nitsan Chrizman, Ohad Assoulin
date: 14/11/2012

     4:
Recon: Verifying File System Consistency at Runtime
Daniel Fryer, Kuei Sun, Rahat Mahmood, TingHao Cheng, Shaun Benjamin, Ashvin Goel, and Angela Demke Brown (University of Toronto)
In FAST'12: 10th USENIX Conference on File and Storage Technologies, 2012
presenting: Moshe Gabel
reports: Viktor Masohin, Alex Kreimer, Oshrit Feder
date: 14/11/2012

OSDI'12 - isolation

     5:
Dune: Safe User-level Access to Privileged CPU Features
Adam Belay, Andrea Bittau, Ali Mashtizadeh, David Terei, David Mazières, and Christos Kozyrakis (Stanford University)
In OSDI'12: 10th USENIX Symposium on Operating Systems Design and Implementation, 2012
presenting: Omer Peleg
reports: Elazar Gershuni, Yossi Kuperman, Amit Carmeli
date: 21/11/2012

     6:
Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels
Alan M. Dunn, Michael Z. Lee, Suman Jana, Sangman Kim, Mark Silberstein, Yuanzhong Xu, Vitaly Shmatikov, and Emmett Witchel (University of Texas at Austin)
In OSDI'12: 10th USENIX Symposium on Operating Systems Design and Implementation, 2012
presenting: Amir Blum
reports: Hagai Attias, Eyal Moscovici, Omer Peleg
date: 21/11/2012

ASPLOS'12 and NSDI'12 - best papers

     7:
Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing
Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauley, Michael J. Franklin, Scott Shenker, and Ion Stoica (University of California, Berkeley)
In NSDI'12: 9th USENIX Symposium on Networked Systems Design and Implementation
presenting: Eyal Moscovici
reports: Tariq Toukan, Yana Grinberg
date: 28/11/2012

     8:
Clearing the Clouds: A Study of Emerging Scale-Out Workloads on Modern Hardware
Michael Ferdman (Carnegie Mellon University), Almutaz Adileh, Onur Kocberber, Stavros Volos, Mohammad Alisafaee, Djordje Jevdjic, Cansu Kaynak, Adrian Popescu, Anastasia Ailamaki, and Babak Falsafi (EPFL = École Polytechnique Fédérale de Lausanne, Lausanne, Switzerland)
In ASPLOS'12: Architectural Support for Programming Languages and Operating Systems, 2012
presenting: Ali Hamud
reports: Adi Fuchs, Moshe Gabel, Dor Harris, Oshrit Feder
date: 28/11/2012

OSDI'12 - bugs

     9:
Efficient Patch-based Auditing for Web Application Vulnerabilities
Taesoo Kim, Ramesh Chandra, and Nickolai Zeldovich (MIT CSAIL)
In OSDI'12: 10th USENIX Symposium on Operating Systems Design and Implementation, 2012
presenting: Amit Carmeli
reports: Ilya Lesokhin, Ohad Assoulin, Jonathan Rubin, Oshrit Feder
date: 19/12/2012

     10:
Automated Concurrency-Bug Fixing
Guoliang Jin, Wei Zhang, Dongdong Deng, Ben Liblit, and Shan Lu (University of Wisconsin-Madison)
In OSDI'12: 10th USENIX Symposium on Operating Systems Design and Implementation, 2012
presenting: Hagai Attias
reports: Amit Carmeli, Ali Hamud, Tariq Toukan
date: 19/12/2012

ATC'12 - best papers

     11:
Erasure Coding in Windows Azure Storage
Cheng Huang, Huseyin Simitci, Yikang Xu, Aaron Ogus, Brad Calder, Parikshit Gopalan, Jin Li, and Sergey Yekhanin, (Microsoft)
In ATC'12: USENIX Annual Technical Conference, 2012
presenting: Tariq Toukan
reports: Eitan Rosenfeld, Dor Harris, Karam Abd Elkader, Ohad Assoulin
date: 19/12/2012

     12:
netmap: A Novel Framework for Fast Packet I/O
Luigi Rizzo (Università di Pisa, Italy)
In ATC'12: USENIX Annual Technical Conference, 2012
presenting: Muli Ben-Yehuda
reports: Omer Peleg, Ilya Lesokhin, Nadav Amit
date: 19/12/2012

OSDI'12 - best papers

     13:
Spanner: Google's Globally-Distributed Database
James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, JJ Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson Hsieh, Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd, Sergey Melnik, David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang, and Dale Woodford (Google)
In OSDI'12: 10th USENIX Symposium on Operating Systems Design and Implementation, 2012
presenting: Dor Harris
reports: Eitan Rosenfeld, Adi Fuchs, Ali Hamud
date: 26/12/2012

     14:
X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software
Mona Attariyan (University of Michigan and Google); Michael Chow and Jason Flinn (University of Michigan)
In OSDI'12: 10th USENIX Symposium on Operating Systems Design and Implementation, 2012
presenting: Jonathan Rubin
reports: Muli Ben-Yehuda, Moshe Gabel, Nadav Amit
date: 26/12/2012

USENIX Security'12 - best papers

     15:
Mining Your Ps and Qs: Detection of Widespread Weak Keys in Network Devices
Nadia Heninger (UC San Diego); Zakir Durumeric (University of Michigan); Eric Wustrow, and J. Alex Halderman (University of Michigan)
In 21th USENIX Security Symposium
presenting: Ilya Lesokhin
reports: Omer Peleg, Dor Harris, Viktor Masohin
date: 02/01/2013

     16:
Social Networking with Frientegrity: Privacy and Integrity with an Untrusted Provider
Ariel J. Feldman, Aaron Blankstein, Michael J. Freedman, and Edward W. Felten (Princeton University)
In 21th USENIX Security Symposium
presenting: Ohad Assoulin
reports: Yossi Kuperman, Tariq Toukan, Yana Grinberg, Jonathan Rubin
date: 02/01/2013

EuroSys'12 (1/2) and SIGMETRICS'12 (1/2) - best papers

     17:
Where is the energy spent inside my app? Fine Grained Energy Accounting on Smartphones with Eprof
Abhinav Pathak, Y. Charlie Hu (Purdue University); and Ming Zhang (Microsoft Research)
In EuroSys'12: 7th ACM European Conference on Computer Systems, 2012
presenting: Yana Grinberg
reports: Yossi Kuperman, Ali Hamud, Karam Abd Elkader
date: 09/01/2013

     18:
Temperature Management in Data Centers: Why Some (Might) Like It Hot
Nosayba El-Sayed, Ioan Stefanovici, George Amvrosiadis, Andy A. Hwang, and Bianca Schroeder (University of Toronto)
In SIGMETRICS'12: 12th ACM SIGMETRICS/PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems
presenting: Oshrit Feder
reports: Amir Blum, Hagai Attias, Nitsan Chrizman
date: 09/01/2013

IEEE S&P'12 - best papers (2/3)

     19:
Memento: Learning Secrets from Process Footprints
Suman Jana and Vitaly Shmatikov (University of Texas at Austin)
In S&P'12: IEEE Symposium on Security and Privacy, 2012
presenting: Elazar Gershuni
reports: Amir Blum, Nitsan Chrizman, Adi Fuchs
date: 16/01/2013

     20:
User-Driven Access Control: Rethinking Permission Granting in Modern Operating Systems
Franziska Roesner, Tadayoshi Kohno (University of Washington); Alexander Moshchuk, Bryan Parno, Helen J. Wang (Microsoft Research); and Crispin Cowan (Microsoft)
In S&P'12: IEEE Symposium on Security and Privacy, 2012
presenting: Nitsan Chrizman
reports: Muli Ben-Yehuda, Karam Abd Elkader, Yana Grinberg, Jonathan Rubin
date: 16/01/2013

ASPLOS'12 - storage

     21:
Providing Safe, User Space Access to Fast, Solid State Disks
Caulfield, Todor Mollov, Louis Eisner, Arup De, Joel Coburn, and Steven Swanson (University of California, San Diego)
In ASPLOS'12: Architectural Support for Programming Languages and Operating Systems, 2012
presenting: Yossi Kuperman
reports: Eyal Moscovici, Ilya Lesokhin, Nadav Amit
date: 23/01/2013

     22:
An Update-aware Storage System for Low-locality Update-intensive
Maohua Lu (IBM Almaden), Dilip Simha, and Tzi-cker Chiueh (StonyBrook University)
In ASPLOS'12: Architectural Support for Programming Languages and Operating Systems, 2012
presenting: Karam Abd Elkader
reports: Eitan Rosenfeld, Moshe Gabel, Viktor Masohin
date: 23/01/2013

ASPLOS'12 - understanding the kernel

     23:
Understanding Modern Device Drivers
Asim Kadav and Michael M. Swift (University of Wisconsin-Madison)
In ASPLOS'12: Architectural Support for Programming Languages and Operating Systems, 2012
presenting: Viktor Masohin
reports: Amir Blum, Hagai Attias, Elazar Gershuni
date: 30/01/2013

     24:
Comprehensive Kernel Instrumentation via Dynamic Binary Translation
Peter Feiner, Angela Demke Brown, and Ashvin Goel (University of Toronto)
In ASPLOS'12: Architectural Support for Programming Languages and Operating Systems, 2012
presenting: Nadav Amit
reports: Muli Ben-Yehuda, Elazar Gershuni, Eyal Moscovici
date: 30/01/2013