236827, Winter 2015
Seminar in Computer Systems

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


Table of content


News


Registration procedure


Seminar in previous years


Description


Assignments


Grading


Schedule

OSDI '14 - best papers

     1:
Arrakis: The Operating System is the Control Plane
Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, and Thomas Anderson (University of Washington); Timothy Roscoe (ETH Zurich)
In OSDI'14: 11th Usenix Symposium on Operating Systems Design and Implementation, 2014
presenting: Igor Smolyar
reporters: -
date: 12/11/2014

     2:
IX: A Protected Dataplane Operating System for High Throughput and Low Latency
Adam Belay (Stanford); George Prekas (EPFL); Ana Klimovic, Samuel Grossman, and Christos Kozyrakis (Stanford); Edouard Bugnion (EPFL)
In OSDI'14: 11th Usenix Symposium on Operating Systems Design and Implementation, 2014
presenting: Arthur Kiyanovski
reporters: -
date: 12/11/2014

     3:
Shielding Applications from an Untrusted Cloud with Haven
Andrew Baumann, Marcus Peinado, and Galen Hunt (Microsoft Research)
In OSDI'14: 11th Usenix Symposium on Operating Systems Design and Implementation, 2014
presenting: Zachar Drabkin
reporters: Igor Smolyar, Oriel Rosen, Amit Fuchs
date: 26/11/2014

     4:
Characterizing Storage Workloads with Counter Stacks
Jake Wires, Stephen Ingram, Zachary Drudi, Nicholas J. A. Harvey, and Andrew Warfield (Coho Data)
In OSDI'14: 11th Usenix Symposium on Operating Systems Design and Implementation, 2014
presenting: Idan Yaniv
reporters: Tehila Mayzels, Julia Pavlov, Moshe Bonen
date: 26/11/2014

Usenix Security '14 - best papers

     5:
Automatically Detecting Vulnerable Websites Before They Turn Malicious
Kyle Soska and Nicolas Christin (Carnegie Mellon University)
In 23nd Usenix Security Symposium, 2014
presenting: Alexander Panman
reporters: Tomer Hermelin, Zachar Drabkin, Lulu Naara
date: 03/12/2014

     6:
DSCRETE: Automatic Rendering of Forensic Information from Memory Images via Application Logic Reuse
Brendan Saltaformaggio, Zhongshu Gu, Xiangyu Zhang, and Dongyan Xu (Purdue University)
In 23nd Usenix Security Symposium, 2014
presenting: Eran Arbel
reporters: Arthur Kiyanovski, Amit Fuchs, Ohad Feder
date: 03/12/2014

     7:
Mimesis Aegis: A Mimicry Privacy Shield--A System's Approach to Data Privacy on Public Cloud
Billy Lau, Simon Chung, Chengyu Song, Yeongjin Jang, Wenke Lee, and Alexandra Boldyreva (Georgia Institute of Technology)
In 23nd Usenix Security Symposium, 2014
presenting: Moshe Bonen
reporters: Alexander Panman, Haviv Cohen, Gilad Bretter
date: 10/12/2014

SP '13 - best papers

     8:
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations
Chad Brubaker, Suman Jana (University of Texas at Austin); Baishakhi Ray (University Of California Davis); Sarfraz Khurshid and Vitaly Shmatikov (University of Texas at Austin)
In SP'14: 35th IEEE Symposium on Security and Privacy, 2014
presenting: Oriel Rosen
reporters: Tomer Hermelin, Zachar Drabkin, Ben Halperin
date: 10/12/2014

     9:
Framing Signals -- A Return to Portable Shellcode
Erik Bosman and Herbert Bos (Vrije Universiteit Amsterdam)
In SP'14: 35th IEEE Symposium on Security and Privacy, 2014
presenting: Haviv Cohen
reporters: Ben Halperin, Oriel Rosen, Arthur Kiyanovski
date: 24/12/2014, 12:30--14:30pm

     10:
Bootstrapping Privacy Compliance in Big Data Systems
Shayak Sen (Carnegie Mellon University); Saikat Guha (Microsoft Research); Anupam Datta (Carnegie Mellon University); Sriram Rajamani, Janice Tsai, and Jeannette Wing (Microsoft Research)
In SP'14: 35th IEEE Symposium on Security and Privacy, 2014
presenting: Ben Halperin
reporters: Tomer Hermelin, Oriel Rosen, Haviv Cohen
date: 24/12/2014, 12:30--14:30pm

OSDI '14 - files

     11:
Physical Disentanglement in a Container-Based File System
Lanyue Lu, Yupu Zhang, Thanh Do, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau (University of Wisconsin--Madison)
In OSDI'14: 11th Usenix Symposium on Operating Systems Design and Implementation, 2014
presenting: Gilad Bretter
reporters: Joel Nider, Julia Pavlov, Moshe Bonen
date: 24/12/2014

     12:
All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications
Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Ramnatthan Alagappan, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau (University of Wisconsin--Madison)
In OSDI'14: 11th Usenix Symposium on Operating Systems Design and Implementation, 2014
presenting: Arnon Lazerson
reporters: Gilad Bretter, Tehila Mayzels, Joel Nider
date: 24/12/2014

ATC '14 - best papers

     13:
In Search of an Understandable Consensus Algorithm
Diego Ongaro and John Ousterhout (Stanford)
In ATC'14: Usenix Annual Technical Conference, 2014
presenting: Tomer Hermelin
reporters: Ben Halperin, Haviv Cohen, Eran Arbel
date: 31/12/2014

     14:
HACK: Hierarchical ACKs for Efficient Wireless Medium Utilization
Lynne Salameh, Astrit Zhushi, Mark Handley, Kyle Jamieson, and Brad Karp (University College London)
In ATC'14: Usenix Annual Technical Conference, 2014
presenting: Julia Pavlov
reporters: Igor Smolyar, Oren Shmuel, Gilad Bretter
date: 31/12/2014

FAST '14 and SIGMETRICS '14 - best papers

     15:
Log-structured Memory for DRAM-based Storage
Stephen M. Rumble, Ankita Kejriwal, and John Ousterhout (Stanford)
In FAST'14: 12th USENIX Conference on File and Storage Technologies, 2014
presenting: Oren Shmuel
reporters: Alexander Panman, Idan Yaniv, Arthur Kiyanovski, Arnon Lazerson
date: 07/01/2015

     16:
A Measurement Study of Google Play
Nicolas Viennot, Edward Garcia, and Jason Nieh
In SIGMETRICS'12: 12th ACM SIGMETRICS/PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems
presenting: Amit Fuchs
reporters: Zachar Drabkin, Idan Yaniv, Oren Shmuel, Eran Arbel
date: 07/01/2015
(Note: video here)

Eurosys '14 - best papers

     17:
Snapshots in a Flash with ioSnap
Sriram Subramanian, Swaminathan Sundararaman, Nisha Talagala (Fusion IO Inc); Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau (University of Wisconsin-Madison)
In EuroSys'14: 9th ACM European Conference on Computer Systems, 2014
presenting: Ohad Feder
reporters: Idan Yaniv, Amit Fuchs, Arnon Lazerson
date: 14/01/2015

     18:
System Software for Persistent Memory
Subramanya R. Dulloor, Sanjay K Kumar, Anil Keshavamurthy, Philip Lantz, Dheeraj Subbareddy, Rajesh Sankaran, and Jeff Jackson (Intel)
In EuroSys'14: 9th ACM European Conference on Computer Systems, 2014
presenting: Joel Nider
reporters: Alexander Panman, Oren Shmuel, Arnon Lazerson
date: 14/01/2015

ASPLOS '14 and NSDI '14 - best papers

     19:
K2: A Mobile Operating System for Heterogeneous Coherence Domains
Felix Xiaozhu Lin, Zhen Wang, and Lin Zhong (Rice University)
In ASPLOS'14: 19th International Conference on Architectural Support for Programming Languages and Operating Systems, 2014
presenting: Lulu Naara
reporters: Igor Smolyar, Tehila Mayzels, Joel Nider
date: 21/01/2015

     20:
Software Dataplane Verification
Mihai Dobrescu and Katerina Argyraki (EPFL)
In NSDI'14: 11th Usenix Symposium on Networked Systems Design and Implementation, 2014
presenting: Tehila Mayzels
reporters: Julia Pavlov, Moshe Bonen, Eran Arbel
date: 21/01/2015