B0;261;0c Advanced Topics in Computer Systems, Seminar 236805, Winter 2011

Advanced Topics in Computer Systems

Computer Science Seminar 5 (236805), Winter 2011

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


Table of content:


News:


Description:


Registration procedure:


Assignments


Grading


Schedule

Introduction to virtualization + OSDI'10 best paper

     *:
The Turtles Project: Design and Implementation of Nested Virtualization
Muli Ben-Yehuda, Michael D. Day, Zvi Dubitzky, Michael Factor, Nadav Har'El, Abel Gordon, Anthony Liguori, Orit Wasserman, Ben-Ami Yassour (IBM Research Haifa and IBM Linux Technology Center)
In USENIX Symposium on Operating System Design and Implementation (OSDI), 2010
presenting: Muli Ben-Yehuda
reports: ?
date: 27/10/2010

Secheduling on supercomputers

     *:
Using Inaccurate Estimates Accurately
Dan Tsafrir (Technion)
In ?
presenting: Dan Tsafrir
reports: ?
date: 03/11/2010

Scheduling for interactivity (OSDI'08 + SIGMETRICS'10)

     1:
Redline: First Class Support for Interactivity in Commodity Operating Systems
Ting Yang, Tongping Liu, Emery D. Berger, Scott F. Kaplan, J. Eliot B. Moss (University of Massachusetts Amherst)
In USENIX Symposium on Operating System Design and Implementation (OSDI), 2008
presenting: Uri Verner
reports: Elias Khsheibun, Yuval Shimron, David Roitman
date: 10/11/2010

     2:
RSIO: Automatic User Interaction Detection and Scheduling
Haoqiang Zheng (VMware); Jason Nieh (Columbia University)
In ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS), 2010
presenting: Alon Kremer
reports: Tamar Zeiri, Roni Rabin, Shay Markanty
date: 10/11/2010

FAST'10 best papers

     3:
CA-NFS: A Congestion-Aware Network File System
Alexandros Batsakis, Randal Burns, Arkady Kanevsky, James Lentini, Thomas Talpey (NetApp and Johns Hopkins University)
In USENIX Conference on File and Storage Technologies (FAST), 2009
presenting: Roni Rabin
reports: Elias Khsheibun, Boris Cherkasky, Alon Kremer
date: 17/11/2010

     4:
Generating Realistic Impressions for File-System Benchmarking
Nitin Agrawal, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau (University of Wisconsin, Madison)
In USENIX Conference on File and Storage Technologies (FAST), 2009
presenting: Dmitri Kochelorov
reports: Yuval Shimron
date: 17/11/2010

USENIX ATC'08 best papers

     5:
Decoupling Dynamic Program Analysis from Execution in Virtual Environments
Jim Chow, Tal Garfinkel, Peter M. Chen (VMware)
In USENIX Annual Technical Conference, 2008
presenting: Yuval Nissan
reports: Ilia Kravets, Artyom Skrobov
date: 01/12/2010

     6:
Vx32: Lightweight User-level Sandboxing on the x86
Bryan Ford, Russ Cox (MIT)
In USENIX Annual Technical Conference, 2008
presenting: Nadav Amit
reports: Michael Sudkovitch, Yuval Shimron, Inbar Rotem
date: 24/11/2010

USENIX ATC'10 best papers

     7:
LiteGreen: Saving Energy in Networked Desktops Using Virtualization
Tathagata Das (Microsoft Research India); Pradeep Padala (DOCOMO USA Labs); Venkat Padmanabhan, Ram Ramjee (Microsoft Research India); Kang G. Shin (University of Michigan)
In USENIX Annual Technical Conference, 2010
presenting: Michael Sudkovitch
reports: Elias Khsheibun, Itsik Hefez, Greg Borodin
date: 08/12/2010

     8:
ZooKeeper: Wait-free Coordination for Internet-scale Systems
Patrick Hunt, Mahadev Konar, Flavio P. Junqueira, Benjamin Reed (Yahoo!)
In USENIX Annual Technical Conference, 2010
presenting: Dmitri Perelman
reports: Boris Cherkasky, Alon Kremer, Itsik Hefez
date: 08/12/2010

USENIX SECURITY'10 best papers

     9:
Capsicum: Practical Capabilities for UNIX
Robert N.M. Watson, Jonathan Anderson (University of Cambridge); Ben Laurie, Kris Kennaway (Google UK)
In USENIX Security Symposium, 2010
presenting: Tamar Zeiri
reports: Dmitri Perelman, Greg Borodin, Ran Zemach
date: 15/12/2010

     10:
VEX: Vetting Browser Extensions for Security Vulnerabilities
Sruthi Bandhakavi, Samuel T. King, P. Madhusudan, Marianne Winslett (University of Illinois at Urbana-Champaign)
In USENIX Security Symposium, 2010
presenting: Itsik Hefez
reports: Michael Sudkovitch, Inbar Rotem, Greg Borodin
date: 15/12/2010

OSDI'10 best papers (but Muli is getting one from ICS'10)

     11:
Efficient System-Enforced Deterministic Parallelism
Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford (Yale)
In USENIX Symposium on Operating System Design and Implementation (OSDI), 2010
presenting: Samuel Sayag
reports: Boris Cherkasky, Muli Ben-Yehuda, Ilia Kravets
date: 22/12/2010

     12:
Enigma: Architectural and Operating System Support for Reducing the Impact of Address Translation
Lixin Zhang, Evan Speight, Ram Rajamony (IBM Research, Austin, TX); Jiang Lin (Intel)
In ACM International Conference on Supercomputing, 2010
presenting: Muli Ben-Yehuda
reports: Nadav Amit, Shay Markanty, Yuval Nissan
date: 22/12/2010

Replay execution

     13:
Rethink the Sync
Edmund B. Nightingale, Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn (University of Michigan)
In USENIX Symposium on Operating System Design and Implementation (OSDI), 2006
presenting: Boris Cherkasky
reports: Alon Kremer, Tamar Zeiri, Roni Rabin
date: 29/12/2010

     14:
Remus: High Availability via Asynchronous Virtual Machine Replication
Brendan Cully, Geoffrey Lefebvre, Dutch Meyer, Mike Feeley, Norm Hutchinson, Andrew Warfield (University of British Columbia and Citrix Systems, Inc.)
In USENIX Symposium on Networked Systems Design and Implementation, 2008
presenting: Elias Khsheibun
reports: Nadav Amit, Shay Markanty, David Roitman
date: 29/12/2010

     15:
Transparent, Lightweight Application Execution Replay on Commodity Multiprocessor Operating Systems
Oren Laadan, Nicolas Viennot, Jason Nieh (Columbia University)
In ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS), 2010
presenting: Yuval Shimron
reports: Dmitri Perelman, Itsik Hefez, Ilia Kravets
date: 05/01/2011

     16:
Respec: Efficient Online Multiprocessor Replay via Speculation and External Determinism
(Dongyoon Lee, Benjamin Wester, Kaushik Veeraraghavan, Satish Narayanasamy, Peter Chen, Jason Flinn (University of Michigan)
In ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2010
presenting: Ilia Kravets
reports: Muli Ben-Yehuda, Inbar Rotem, Artyom Skrobov
date: 05/01/2011

ASPLOS'10 (2/3) and PACT'10 (1/4) best papers + one from ASPLOS'08

     17:
Fairness via Source Throttling: a Configurable and High-Performance Fairness Substrate for Multi-Core Memory Systems
Eiman Ebrahimi, Chang Joo Lee (University of Texas at Austin); Onur Mutlu (Carnegie Mellon University); Yale N. Patt (University of Texas at Austin)
In ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2010
presenting: Ran Zemach
reports: Sayag Samuel, Uri Verner, David Roitman
date: 12/01/2011

     18:
Archipelago: trading address space for reliability and security
Vitaliy B. Lvin, Gene Novark, Emery D. Berger (University of Massachusetts Amherst); Benjamin G. Zorn (Microsoft Research, Redmond)
In ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2008
presenting: David Roitman
reports: Tamar Zeiri, Roni Rabin, Uri Verner
date: 12/01/2011

     19:
Dynamically Replicated Memory: Building Reliable Systems from Nanoscale Resistive Memories
Engin Ipek (University of Rochester); Jeremy Condit, Edmund B. Nightingale, Doug Burger, Thomas Moscibroda (Microsoft Research, Redmond)
In ACM Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2010
presenting: Shay Markanty
reports: Sayag Samuel, Uri Verner, Yuval Nissan
date: 19/01/2011

     20:
Discovering and Understanding Performance Bottlenecks in Transactional Applications
Ferad Zyulkyarov, Srdjan Stipic (Barcelona Supercomputing Center); Tim Harris (Microsoft Research, Cambridge, UK); Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Mateo Valero (Barcelona Supercomputing Center)
In ACM International Conference on Parallel Architectures and Compilation Techniques (PACT), 2010
presenting: Greg Borodin
reports: Dmitri Perelman, Ran Zemach, Sayag Samuel
date: 19/01/2011

SOSP'10 - Memory and I/O

     21:
Better I/O Through Byte-Addressable, Persistent Memory
Jeremy Condit, Edmund B. Nightingale (Microsoft Research, Redmond); Christopher Frost (UCLA); Engin Ipek, Benjamin Lee, Doug Burger, Derrick Coetzee (Microsoft Research, Redmond)
In ACM Symposium on Operating Systems Principles (SOSP), 2009
presenting: Artyom Skrobov
reports: Michael Sudkovitch, Nadav Amit, Yuval Nissan
date: 01/12/2010

     22:
Fast Byte-Granularity Software Fault Isolation
Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black (Microsoft Research)
In ACM Symposium on Operating Systems Principles (SOSP), 2009
presenting: Inbar Rotem
reports: Muli Ben-Yehud, Ran Zemach, Artyom Skrobov
date: 19/01/2011