236827, Winter 2014
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

ASPLOS '13 - best papers

     1:
Computational Sprinting on a Hardware/Software Testbed
Arun Raghavan, Laurel Emurian (University of Pennsylvania); Lei Shao, Marios Papaefthymiou, Kevin Pipe, Thomas Wenisch (University of Michigan); Milo Martin (University of Pennsylvania)
In ASPLOS'13: 18th International Conference on Architectural Support for Programming Languages and Operating Systems, 2013
presenting: Jason Berlinsky
reporters: -
date: 30/10/2013

     2:
Discerning the Dominant Out-of-Order Performance Advantage: Is it Speculation or Dynamism?
Daniel McFarlin (Carnegie Mellon University); Charles Tucker, Craig Zilles (University of Illinois Urbana Champaign)
In ASPLOS'13: 18th International Conference on Architectural Support for Programming Languages and Operating Systems, 2013
presenting: Alex Markuze
reporters: -
date: 30/10/2013

FAST '13 - best papers

     3:
A Study of Linux File System Evolution
Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Shan Lu (University of Wisconsin-Madison)
In FAST'13: 11th USENIX Conference on File and Storage Technologies, 2013
presenting: Liran Funaro
reporters: Anat Berkman, Maya Arbel, Asa Ben-Tzur
date: 13/11/2013

     4:
Unioning of the Buffer Cache and Journaling Layers with Non-volatile Memory
Eunji Lee and Hyokyung Bahn (Ewha University); Sam H. Noh (Hongik University)
In FAST'13: 11th USENIX Conference on File and Storage Technologies, 2013
presenting: Michael Bikman
reporters: Oleg Korenev, Tomer Gurevich, Yonatan Gottesman
date: 13/11/2013

ATC '13 - best papers

     5:
Copysets: Reducing the Frequency of Data Loss in Cloud Storage
Asaf Cidon, Stephen Rumble, Ryan Stutsman, Sachin Katti, John Ousterhout, and Mendel Rosenblum (Stanford University)
In ATC'13: Usenix Annual Technical Conference, 2013
presenting: Dolev Elbaz
reporters: Jason Berlinsky, Dor Cohen, Michael-Hai Mirzakandof
date: 20/11/2013

     6:
I/O Stack Optimization for Smartphones
Sooman Jeong (Hanyang University); Kisung Lee (Samsung Electronics); Seongjin Lee (Hanyang University); Seoungbum Son (Samsung Electronics); Youjip Won (Hanyang University)
In ATC'13: Usenix Annual Technical Conference, 2013
presenting: Yonatan Gottesman
reporters: Liran Funaro, Elad Solomon, Moshe Yaniv David
date: 20/11/2013

Eurosys '13 - best papers

     7:
Omega: flexible, scalable schedulers for large compute clusters
Malte Schwarzkopf (University of Cambridge); Andy Konwinski (UC Berkeley); Michael Abd-el-Malek and John Wilkes (Google)
In EuroSys'13: 8th ACM European Conference on Computer Systems, 2013
presenting: Dor Cohen
reporters: Elad Solomon, Michael-Hai Mirzakandof, Anat Berkman
date: 27/11/2013

     8:
BlinkDB: Queries with Bounded Errors and Bounded Response Times on Very Large Data
Sameer Agarwal (Berkeley); Barzan Mozafari (MIT); Aurojit Panda, Henry Milner (Berkeley); Samuel Madden (MIT); and Ion Stoica (University of California, Berkeley)
In EuroSys'13: 8th ACM European Conference on Computer Systems, 2013
presenting: Maya Arbel
reporters: Anat Berkman, Asa Ben-Tzur, Eli Sennesh
date: 27/11/2013

Usenix Security '13 - best papers

     9:
Control Flow Integrity for COTS Binaries
Mingwei Zhang and R. Sekar (Stony Brook University)
In 22nd Usenix Security Symposium, 2013
presenting: Moshe Yaniv David
reporters: Gilad Maymon, Omer Katz, Dmitry Ogurtsov
date: 11/12/2013

     10:
Securing Computer Hardware Using 3D Integrated Circuit (IC) Technology and Split Manufacturing for Obfuscation
Frank Imeson, Ariq Emtenan, Siddharth Garg, and Mahesh V. Tripunitara (University of Waterloo)
In 22nd Usenix Security Symposium, 2013
presenting: Omer Katz
reporters: Moshe Yaniv David, Asa Ben-Tzur, Eugene Reznik
date: 11/12/2013

SOSP '13 - filesystem

     11:
Optimistic Crash Consistency
Vijay Chidambaram, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau (University of Wisconsin-Madison)
In SOSP'13: 24th ACM Symposium on Operating Systems Principles
presenting: Konstantin Boyko
reporters: Alex Markuze, Iddo Zmiry, Eli Sennesh
date: 18/12/2013 (13:30-14:30)

NSDI '13 - best papers

     12:
F10: A Fault-Tolerant Engineered Network
Vincent Liu, Daniel Halperin, Arvind Krishnamurthy, and Thomas Anderson (University of Washington)
In NSDI'10: 10th Usenix Symposium on Networked Systems Design and Implementation, 2013
presenting: Anat Berkman
reporters: Liran Funaro, Alexander Libov, Dolev Elbaz
date: 18/12/2013 (16:30-18:30)

     13:
Embassies: Radically Refactoring the Web
Jon Howell, Bryan Parno, and John R. Douceur (Microsoft Research)
In NSDI'10: 10th Usenix Symposium on Networked Systems Design and Implementation, 2013
presenting: Elad Solomon
reporters: Jason Berlinsky, Dor Cohen, Michael-Hai Mirzakandof
date: 18/12/2013 (16:30-18:30)

SP '13 - best papers

     14:
Just-In-Time Code Reuse: On the Effectiveness of Fine-Grained Address Space Layout Randomization
Kevin Z. Snow, Fabian Monrose (The University of North Carolina at Chapel Hill); Lucas Davi (Technische Universität Darmstadt); Alexandra Dmitrienko (Fraunhofer SIT, Darmstadt); Christopher Liebchen, and Ahmad-Reza Sadeghi (Technische Universität Darmstadt)
In SP'13: IEEE Symposium on Security and Privacy, 2013
presenting: Gilad Maymon
reporters: Elad Solomon, Moshe Yaniv David, Omer Katz
date: 25/12/2013

     15:
The Parrot Is Dead: Observing Unobservable Network Communications
Amir Houmansadr, Chad Brubaker, and Vitaly Shmatikov (University of Texas at Austin)
In SP'13: IEEE Symposium on Security and Privacy, 2013
presenting: Eugene Reznik
reporters: Oleg Korenev, Jason Berlinsky, Omer Katz, Iddo Zmiry
date: 25/12/2013

ATC '13 - enhancing POSIX environments

     16:
TABLEFS: Enhancing Metadata Efficiency in the Local File System
Kai Ren and Garth Gibson (Carnegie Mellon University)
In ATC'13: Usenix Annual Technical Conference, 2013
presenting: Michael-Hai Mirzakandof
reporters: Dor Cohen, Yonatan Gottesman, Michael Bikman, Iddo Zmiry
date: 01/01/2014 15/01/2014 (12:30-14:30)

     17:
How to Run POSIX Apps in a Minimal Picoprocess
Jon Howell, Bryan Parno, and John R. Douceur (Microsoft Research)
In ATC'13: Usenix Annual Technical Conference, 2013
presenting: Eli Sennesh
reporters: Gilad Maymon, Yonatan Gottesman, Michael Bikman, Konstantin Boyko
date: 01/01/2014 15/01/2014 (12:30-14:30)

ATC '13 - networking

     18:
Hyper-Switch: A Scalable Software Virtual Switching Architecture
Kaushik Kumar Ram, Alan L. Cox, Mehul Chadha, and Scott Rixner (Rice University)
In ATC'13: Usenix Annual Technical Conference, 2013
presenting: Asa Ben-Tzur
reporters: Dolev Elbaz, Eugene Reznik, Dmitry Ogurtsov, Konstantin Boyko
date: 08/01/2014 (12:30-14:30)

     19:
Network Interface Design for Low Latency Request-Response Protocols
Mario Flajslik and Mendel Rosenblum (Stanford University)
In ATC'13: Usenix Annual Technical Conference, 2013
presenting: Oleg Korenev
reporters: Gilad Maymon, Dolev Elbaz, Eugene Reznik, Alex Markuze
date: 08/01/2014 (12:30-14:30)

Scalability

     20:
When Slower Is Faster: On Heterogeneous Multicores for Reliable Systems
Tomas Hruby, Herbert Bos, and Andrew S. Tanenbaum, VU University Amsterdam
In ATC'13: Usenix Annual Technical Conference, 2013
presenting: Iddo Zmiry
reporters: Tomer Gurevich, Michael Bikman, Alexander Libov
date: 08/01/2014 (16:30-18:30)

     21:
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert Morris (MIT); Eddie Kohler (Harvard)
In SOSP'13: 24th ACM Symposium on Operating Systems Principles
presenting: Alexander Libov
reporters: Maya Arbel, Eli Sennesh, Konstantin Boyko, Alex Markuze
date: 08/01/2014 (16:30-18:30)

SOSP '13 - scheduling and synchronization

     22:
Everything You Always Wanted to Know about Synchronization but Were Afraid to Ask
Tudor David, Rachid Guerraoui, Vasileios Trigonakis (EPFL)
In SOSP'13: 24th ACM Symposium on Operating Systems Principles
presenting: Tomer Gurevich
reporters: Maya Arbel, Alexander Libov, Dmitry Ogurtsov
date: 15/01/2014

     23:
Sparrow: Distributed, Low Latency Scheduling
Kay Ousterhout, Patrick Wendell, Matei Zaharia, Ion Stoica (UC Berkeley)
In SOSP'13: 24th ACM Symposium on Operating Systems Principles
presenting: Dmitry Ogurtsov
reporters: Liran Funaro, Oleg Korenev, Tomer Gurevich
date: 15/01/2014