Seminar in Computer Systems (236827), Winter 2015-2016

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


Table of content


News


Registration procedure


Seminar in previous years


Description


Assignments


Grading


Schedule

NSDI '15 - best papers

     1:
Queues Don't Matter When You Can JUMP Them!
Matthew P. Grosvenor, Malte Schwarzkopf, Ionel Gog, Robert N. M. Watson, Andrew W. Moore, Steven Hand, and Jon Crowcroft (University of Cambridge)
In NSDI '15: Usenix Symposium on Networked Systems Design and Implementation, 2015
presenting: Yacov Manevich
reporters: Igor Smolyar, Sapir Levi, Ron Shmelkin
date: 11/11/2015

     2:
The Design and Implementation of Open vSwitch
Ben Pfaff, Justin Pettit, Teemu Koponen, Ethan Jackson, Andy Zhou, Jarno Rajahalme, Jesse Gross, Alex Wang, Joe Stringer, and Pravin Shelar (VMware); Keith Amidon (Awake Networks); Martin Casado (VMware)
In NSDI '15: Usenix Symposium on Networked Systems Design and Implementation, 2015
presenting: Boris Pismenny
reporters: Aviv Ben David, Marina Minkin, Daniel Kleinstein
date: 11/11/2015

FAST '15 and EUROSYS '15 - best papers

     3:
Skylight---A Window on Shingled Disk Operation
Abutalib Aghayev and Peter Desnoyers (Northeastern University)
In FAST '15: USENIX Conference on File and Storage Technologies, 2015
presenting: Igor Smolyar
reporters: Udi Shriki, Adi Nissim, Almog Zimelman
date: 18/11/2015

     4:
NBA (Network Balancing Act): A High-performance Packet Processing Framework for Heterogeneous Processors
Joongi Kim, Keon Jang, Keunhong Lee, Sangwook Ma, Junhyun Shim, and Sue Moon (KAIST -- Korea Advanced Institute of Science and Technology)
In EuroSys '15: ACM European Conference on Computer Systems, 2015
presenting: Almog Zimelman
reporters: Arthur Kiyanovski, Igor Smolyar, Sami Yahya
date: 18/11/2015
(Note: Video here)

S&P '15 and CCS '15 - (system-ish) best papers

     5:
GUITAR: Piecing Together Android App GUIs from Memory Images
Brendan Saltaformaggio, Rohit Bhatia, Zhongshu Gu, Xiangyu Zhang, Dongyan Xu (Purdue University)
In CCS '15: ACM Conference on Computer and Communications Security, 2015
presenting: Aviv Ben David
reporters: Boris Pismenny, Rabea Afifi, Adi Nissim
date: 25/11/2015

     6:
Ad Injection at Scale: Assessing Deceptive Advertisement Modifications
Kurt Thomas, Elie Bursztein (Google); Chris Grier (Databricks); Grant Ho (UC Berkeley); Nav Jagpal (Google); Alexandros Kapravelos (UC Santa Barbara, Google); Damon McCoy (George Mason University); Antonio Nappa (IMDEA); Vern Paxson, Paul Pearce (UC Berkeley); Niels Provos, Moheeb Abu Rajab (Google)
In S&P '15: IEEE Symposium on Security and Privacy, 2015
presenting: Adi Nissim
reporters: Alex Maydanik, Yacov Manevich, Sapir Levi
date: 25/11/2015
(Note: Video here (Distinguished Practical Paper.))

ATC '15 - best papers

     7:
Thread and Memory Placement on NUMA Systems: Asymmetry Matters
Baptiste Lepers, Simon Fraser University; Vivien Quema, Grenoble INP; Alexandra Fedorova, Simon Fraser University
In ATC '15: Usenix Annual Technical Conference, 2015
presenting: Moshe Gabel
reporters: Arthur Kiyanovski, Igor Smolyar, Maya Arbel
date: 16/12/2015

     8:
Latency-Tolerant Software Distributed Shared Memory
Jacob Nelson, Brandon Holt, Brandon Myers, Preston Briggs, Luis Ceze, Simon Kahan, and Mark Oskin (University of Washington)
In ATC '15: Usenix Annual Technical Conference, 2015
presenting: Sapir Levi
reporters: Maya Arbel, Liran Funaro, Yacov Manevich
date: 16/12/2015

Usenix Security '15 - best papers

     9:
Under-Constrained Symbolic Execution: Correctness Checking for Real Code
David A. Ramos and Dawson Engler (Stanford University)
In Usenix Security Symposium, 2015
presenting: Rabea Afifi
reporters: Sami Yahya, Alex Maydanik, Marina Minkin
date: 23/12/2015

     10:
All Your Biases Belong to Us: Breaking RC4 in WPA-TKIP and TLS
Mathy Vanhoef and Frank Piessens (Katholieke Universiteit Leuven)
In Usenix Security Symposium, 2015
presenting: Sami Yahya
reporters: Boris Pismenny, Aviv Ben David, Alex Maydanik
date: 23/12/2015

SOSP '15 -- best papers

     11:
COZ: Finding Code that Counts with Causal Profiling
Charlie Curtsinger (Grinnell College), Emery D. Berger (University of Massachusetts Amherst)
In SOSP '15: ACM Symposium on Operating Systems Principles, 2015
presenting: Maya Arbel
reporters: Rabea Afifi, Liran Funaro, Almog Zimelman
date: 30/12/2015

     12:
Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems
Jonathan Mace, Ryan Roelke, Rodrigo Fonseca (Brown University)
In SOSP '15: ACM Symposium on Operating Systems Principles, 2015
presenting: Marina Minkin
reporters: Aviv Ben David, Oren Afek, Almog Zimelman
date: 30/12/2015

     13:
Using Crash Hoare Logic for Certifying the FSCQ File System
Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich (MIT CSAIL)
In SOSP '15: ACM Symposium on Operating Systems Principles, 2015
presenting: Arthur Kiyanovski
reporters: Boris Pismenny, Oren Afek, Moshe Gabel
date: 06/01/2016

SOSP '15 -- Storage

     14:
How to get more value from your file system directory cache
Chia-Che Tsai, Yang Zhan, Jayashree Reddy, Yizheng Jiao, Tao Zhang, Donald E. Porter (Stony Brook University)
In SOSP '15: ACM Symposium on Operating Systems Principles, 2015
presenting: Udi Shriki
reporters: Rabea Afifi, Daniel Kleinstein, Sapir Levi
date: 06/01/2016

     15:
Opportunistic Storage Maintenance
George Amvrosiadis, Angela Demke Brown, Ashvin Goel (University of Toronto)
In SOSP '15: ACM Symposium on Operating Systems Principles, 2015
presenting: Ron Shmelkin
reporters: Arthur Kiyanovski, Udi Shriki, Adi Nissim
date: 13/01/2016

     16:
Split-Level I/O Scheduling
Suli Yang, Tyler Harter, Nishant Agrawal, Salini Selvaraj Kowsalya, Anand Krishnamurthy, Samer Al-Kiswany (University of Wisconsin-Madison); Rini T. Kaushik (IBM Research - Almaden); Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau (University of Wisconsin-Madison)
In SOSP '15: ACM Symposium on Operating Systems Principles, 2015
presenting: Alex Maydanik
reporters: Marina Minkin, Daniel Kleinstein, Ron Shmelkin
date: 13/01/2016

SOSP '15 -- Some more

     17:
Holistic Configuration Management at Facebook
Chunqiang Tang, Thawan Kooburat, Pradeep Venkatachalam, Akshay Chander, Zhe Wen, Aravind Narayanan, Patrick Dowell, Robert Karl (Facebook)
In SOSP '15: ACM Symposium on Operating Systems Principles, 2015
presenting: Oren Afek
reporters: Udi Shriki, Sami Yahya, Yacov Manevich
date: 20/01/2016, NOTE unusual time: 12:30

     18:
BarrierPoint: Sampled simulation of multi-threaded applications
Trevor E. Carlson, Wim Heirman, Kenzo Van Craeynest, Lieven Eeckhout (Ghent University)
In ISPASS '14: IEEE International Symposium on Performance Analysis of Systems and Software, 2014
presenting: Idan Yaniv
reporters: -
date: 20/01/2016, NOTE unusual time: 13:30

     19:
E2: A Framework for NFV Applications
Shoumik Palkar, Chang Lan, Sangjin Han (UC Berkeley); Keon Jang (Intel); Aurojit Panda, Sylvia Ratnasamy (UC Berkeley); Luigi Rizzo (Universita di Pisa); Scott Shenker (UC Berkeley and ICSI)
In SOSP '15: ACM Symposium on Operating Systems Principles, 2015
presenting: Daniel Kleinstein
reporters: Liran Funaro, Oren Afek, Moshe Gabel
date: 20/01/2016

     20:
Interruptible Tasks: Treating Memory Pressure As Interrupts for Highly Scalable Data-Parallel Programs
Lu Fang, Khanh Nguyen, Guoqing Xu, Brian Demsky (University of California, Irvine), Shan Lu (University of Chicago)
In SOSP '15: ACM Symposium on Operating Systems Principles, 2015
presenting: Liran Funaro
reporters: Maya Arbel, Ron Shmelkin, Moshe Gabel
date: 20/01/2016