Systems Software Reading Group

The Systems Software Reading Group (SSRG) meets on a weekly basis to discuss both recent and classic research papers in the broad area of systems software.

Systems software can be considered to include specific areas such as operating systems, parallel & distributed systems, mobile systems, systems security, fault-tolerance, middleware systems, virtual machines, file & storage systems, network architecture, autonomic systems, software engineering, run-time systems, etc... SSRG members include both faculty and graduate students.

Historically, the group has been meeting (pretty much non-stop) on a weekly basis for many years, dating back to pre-millenium times (mid-1990s or perhaps earlier). We meet on a weekly basis on Tuesdays, 4-6pm in BA4287. New members are always welcomed.

Next Paper

Task activity vectors: A New Metric for Temperature-Aware Scheduling
Andreas Merkel and Frank Bellosa
EuroSys 2008
http://portal.acm.org/citation.cfm?doid=1352592.1352594
Apr/22/2008

Previously Discussed

Cutting Corners: Workbench Automation for Storage Service Benchmarking
Piyush Shivam, Varun Marupadi, Jeff Chase, and Shivnath Babu
USENIX 2008
http://www.cs.duke.edu/~shivam/shivam-corners07.pdf
Apr/08/2008

Learning from Mistakes - A Comprehensive Study on Real World Concurrency Bug Characteristics
Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou
ASPLOS 2008
http://opera.cs.uiuc.edu/paper/asplos122-lu.pdf
Apr/01/2008

On Multi-level Exclusive Caching: Offline Optimality and Why Promotions Are Better Than Demotions
Binny S. Gill
FAST 2008
http://www.usenix.org/events/fast08/tech/full_papers/gill/gill.pdf
Mar/18/2008

DejaView: A Personal Virtual Computer Recorder
Oren Laadan, Ricardo A. Baratto, Dan Phung, Shaya Potter, and Jason Nieh
SOSP 2008
http://www.sosp2007.org/papers/sosp016-laadan.pdf
Mar/04/2008

Understanding and Visualizing Full Systems with Data Flow Tomography
Shashidhar Mysore, Bita Mazloom, Banit Agrawal, Timothy Sherwood
ASPLOS 2008
http://www.cs.ucsb.edu/~shashimc/papers/ASPLOS08-SysTomography.pdf
Feb/26/2008

Triage: Diagnosing Production Run Failures at the User's Site
Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, and Yuanyuan Zhou
SOSP 2008
http://www.sosp2007.org/papers/sosp063-tucek.pdf
Feb/05/2008

Hardware Counter Driven On-the-Fly Request Signatures
Kai Shen, Ming Zhong, Sandhya Dwarkadas, Chuanpeng Li, Christopher Stewart, and Xiao Zhang
ASPLOS 2008
http://www.cs.rochester.edu/~kshen/papers/asplos2008.pdf
Jan/22/2008

The Design and Implementation of Microdrivers
Vinod Ganapathy, Matthew J. Renzelmann, Arini Balakrishnan, Michael M. Swift, Somesh Jha
ASPLOS 2008
http://www.cs.rutgers.edu/~vinodg/papers/asplos2008/asplos2008.pdf
Jan/15/2008

Dynamo: Amazon's Highly Available Key-Value Store
Guiseppe DeCandia, Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati, Avinash Lakshman, Alex Pilchin, Swami Sivasubramanian, Peter Vosshall, and Werner Vogels
SOSP 2007
http://s3.amazonaws.com/AllThingsDistributed/sosp/amazon-dynamo-sosp2007.pdf
Oct/23/2007

Sinfonia: a new paradigm for building scalable distributed systems
Marcos K. Aguilera, Arif Merchant, Mehul Shah, Alistair Veitch, and Christos Karamanolis
SOSP 2007
http://www.hpl.hp.com/personal/Marcos_Aguilera/papers/sinfonia-aguilera-sosp2007.pdf
Oct/09/2007

Xen and Co: Communication-aware CPU Scheduling for Consolidated Xen-based Hosting Platforms
Sriram Govindan, Arjun Nath, Amitayu Das, Bhuvan Urgaonkar, and Anand Sivasubramanian
VEE 2007
http://csl.cse.psu.edu/publications/vee07.pdf
Oct/02/2007

DiskSeen: Exploiting Disk Layout and and Access History to Enhance I/O Prefetch
Xiaoning Ding, Song Jiang, Geng Chen, Kei Davis, Xiaodong Zhang
USENIX 2007
http://www.cse.ohio-state.edu/hpcs/WWW/HTML/publications/papers/TR-07-6.pdf
Sep/25/2007

PinOS: A Programmable Framework for Whole-System Dynamic Instrumentation
Prashanth P. Bungale and Chi-Keung Luk
VEE 2007
http://www.eecs.harvard.edu/~prash/papers/vee2007/vee2007-paper.pdf
Aug/14/2007

FoxyTechnique: Tricking Operating System Policies with a Virtual Machine Monitor
Hiroshi Yamada and Kenji Kono
VEE 2007
http://www.sslab.ics.keio.ac.jp/~boro2/papers/yamada_vee07.pdf
Aug/07/2007

Virtual I/O Scheduler: A Scheduler of Schedulers for Performance Virtualization
Seetharami Seelam and Patricia Teller
VEE 2007
http://doi.acm.org/10.1145/1254810.1254826
Jul/31/2007

Libra: A Library Operating System for a JVM in a Virtualized Execution Environment
Glenn Ammons, Jonathan Appavoo, Maria Butrico, Dilma Da Silva, David Grove, Kiyokuni Kawachiya, Orran Krieger, Bryan Rosenburg, Eric Van Hensbergen and Robert W. Wisniewski
VEE 2007
http://domino.research.ibm.com/comm/research_people.nsf/pages/dgrove.vee2007.html/$FILE/vee2007.pdf
Jul/17/2007

Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly
Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, Orran Kreiger
USENIX 2007
http://ertos.nicta.com.au/publications/papers/Baumann_AWDKH_07.pdf
Jul/10/2007

Secure File System Versioning at the Block Level
Jake Wires and Michael J. Feeley
Eurosys 2007
http://www.cs.ubc.ca/~jtwires/wiresj.pdf
Jun/06/2007

Managing Shared L2 Caches on Mlticore Systems in Software (Practice Talk)
David Tam, Reza Azimi, Livio Soares, Michael Stumm
WIOSCA'07
http://www.eecg.toronto.edu/~tamda/
May/29/2007

Sweeper: A Lightweight End-to-End System for Defending Against Fast Worms
Joseph Tucek, James Newsome, Shan Lu, Chengdu Huang, Spiros Xanthos, David Brumley, Yuanyuan Zhou, Dawn Song
Eurosys 2007
http://www.cs.cmu.edu/~dbrumley/pubs/sweeper-eurosys07.pdf
May/22/2007

HotOS 2007 Review
Jesse Pool, David Lie
HotOS 2007
May/15/2007

Sweeper: A Lightweight End-to-End System for Defending Against Fast Worms (CANCELLED)
Joseph Tucek, James Newsome, Shan Lu, Chengdu Huang, Spiros Xanthos, David Brumley, Yuanyuan Zhou, Dawn Song
Eurosys 2007
http://www.cs.cmu.edu/~dbrumley/pubs/sweeper-eurosys07.pdf
May/08/2007

Practice Talk: Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical
Jesse Pool, Ian Sin Kwok Wong, David Lie
HotOS 2007
May/01/2007

Competitive Prefetching for Concurrent Sequential I/O
Chuanpeng Li, Kai Shen, Anthanasios E. Papathanasiou
EuroSys 2007
http://www.cs.rochester.edu/~kshen/papers/eurosys2007.pdf
Apr/24/2007

Sealing OS Processes to Improve Dpendability and Safety
Galen Hunt, Mark Aiken, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, James Larus, Bjarne Steensgaard, David Tarditi, Ted Wobber
EuroSys 2007
http://www.eecg.toronto.edu/~tamda/ssrg_papers/56_paper.pdf
Apr/17/2007

Conference Review
David, Michael, Angela, Stefan, Marek, Adam, Keir
EuroSys 2007 in Lisboa, Portugal
Apr/10/2007

Enabling Scalability and Performance in a Large Scale CMP Environment
Intel (12 authors)
ACM SIGOPS EuroSys 2007
http://www.eecg.toronto.edu/~livio/ssrg/44_paper.pdf
Apr/03/2007

Thread Clustering: Sharing-Aware Scheduling on SMP-CMP-SMT Multiprocessors
David Tam, Reza Azimi, Michael Stumm
ACM SIGOPS EuroSys 2007
http://www.eecg.utoronto.ca/~tamda/papers/threadclustering.pdf
Mar/13/2007

Container-based Operating System Virtualization: A Scalable, High-Performance Alternative to Hypervisors
Stephen Soltesz,Herbert Potzl,Marc Fiuczynski, Andy Bavier, and Larry Peterson
ACM SIGOPS EuroSys 2007
http://www.cs.princeton.edu/~mef/research/vserver/paper.pdf
Mar/06/2007

Fine Grained Kernel Logging with KLogger: Experience and Insights
Yoav Etsion, Dan Tsafrir, Scott Kirkpatrick, Dror G. Feitelson
ACM SIGOPS EuroSys 2007
http://www.cs.huji.ac.il/~etsman/papers/Klogger.pdf
Feb/06/2007

SubVirt: Implementing malware with virtual machines
Samuel T. King, Peter M. Chen, Yi-Min Wang,Chad Verbowski, Helen J. Wang, Jacob R. Lorch
IEEE Symposium on Security and Privacy 2006
http://www.eecs.umich.edu/~pmchen/papers/king06.pdf
Jan/30/2007

CRAMM: Virtual Memory Support for Garbage-Collected Applications
Ting Yang, Emery D. Berger, Scott F. Kaplan, J. Eliot B. Moss
OSDI 2006
http://www.cs.umass.edu/~emery/pubs/06-25.pdf
Jan/23/2007

Stasis: Flexible Transactional Storage
Russell Sears, Eric Brewer
OSDI 2006
http://www.cs.berkeley.edu/~sears/publications/Stasis-OSDI.pdf
Dec/12/2006

The Chubby Lock Service for Loosely-Coupled Distributed Systems
Mike Burrows
OSDI 2006
http://labs.google.com/papers/chubby-osdi06.pdf
Dec/05/2006

From Uncertainity to Belief: Inferring the Specification Within
Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y. Ng, Dawson Engler
OSDI 2006
http://ai.stanford.edu/~ang/papers/osdi06-inferringspecification.pdf
Nov/28/2006

Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable
Richard Ta-Min, Lionel Litty, and David Lie
OSDI 2006
Oct/31/2006

XFI: Software Guards for System Address Spaces
Ulfar Erlingsson, Martin Abadi, Michael Vrable, Mihai Budiu, George C. Necula
OSDI 2006
http://research.microsoft.com/users/mbudiu/osdi06.pdf
Oct/24/2006

Operating System Profiling via Latency Analysis
Nikolai Joukov, Avishay Traeger, Rakesh Iyer, Charles P. Wright, and Erez Zadok
OSDI 2006
http://www.am-utils.org/docs/osprof-osdi2006/osprof.pdf
Oct/10/2006

Rethink the Sync
Edmund B. Nightingale, Kaushik Veeraraghavan, Peter Chen, Jason Flinn
OSDI 2006
http://www.eecs.umich.edu/~enightin/syncio.pdf
Oct/03/2006

Bigtable: A Distributed Storage System for Structured Data
Fay Chang, Jeffrey Dean, Sanjay Ghemawat, Wilson C. Hsieh, Deborah A. Wallach, Mike Burrows, Tushar Chandra, Andrew Fikes, Robert E. Gruber
OSDI 2006
http://labs.google.com/papers/bigtable-osdi06.pdf
Sep/26/2006

Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable
Richard Ta-Min, Lionel Litty, David Lie
OSDI 2006
http://www.eecg.toronto.edu/~lie
Aug/08/2006

Virtual Scalability: Charting the Performance of Linux in a Virtual World - Exploring the Scalability of the Xen Hypervisor
Andrew Theurer, Karl Rister, Orran Krieger, Ryan Harper, Steve Dobbelstein
Proceedings of the Ottawa Linux Symposium 2006
http://www.linuxsymposium.org/2006/proceedings.php
Aug/01/2006

STEPS Towards Cache-Resident Transaction Processing
Stavros Harizopoulos, Anastassia Ailamaki
Very Large Data Bases (VLDB 2004)
http://www.pdl.cmu.edu/PDL-FTP/Database/steps.pdf
Jul/25/2006

BrowserShield: Vulnerability-Driven Filtering of Dynamic HTML
Charles Reis, John Dunagan, Helen J. Wang, Opher Dubrovsky, and Saher Esmeir
OSDI 2006
http://research.microsoft.com/~jdunagan/bshieldSubmissionToOSDI06.pdf
Jul/18/2006