Dieses Dokument ist nur auf Englisch verfügbar.

This site lists some proposals for presentations within the seminar. The papers are grouped by category and listed by publication date order.

Shortcut by category: [concurrency] [distributed systems] [filesystem] [historical] [kernel design] [miscellaneous] [multiprocessor] [performance analysis] [power] [robustness] [scheduling] [security] [verification] [virtualization] 

concurrency

• Towards a Grainless Semantics for Shared Variable Concurrency
  John C. Reynolds; 2004
• TxLinux: Using and Managing Hardware Transactional Memory in the Operating System
  Christopher J. Rossbach, Owen S. Hofmann, Donald E. Porter, Hany E. Ramadan, Aditya Bhandari, Emmet Witchel; 2007
• Kendo: Efficient Deterministic Multithreading in Software
  Marek Olszewski, Jason Ansel, Saman Amarasinghe; 2009
• Deterministic Process Groups in dOS
  Tom Bergan, Nicholas Hunt, Luis Ceze, and Steven D. Gribble; 2010
• Sponge: Portable Stream Programming on Graphics Engines
  Amir Hormati, Mehrzad Samadi, Mark Woh, Trevor Mudge, Scott Mahlke; 2011
• Operating System Support for Application-Specific Speculation
  Benjamin Wester, Peter M. Chen, Jason Flinn; 2011

distributed systems

• The V Distributed System
  David R. Cheriton; 1988
• Storage management and caching in PAST, a large-scale, persistent peer-to-peer storage utility
  Antony Rowstron, Peter Druschel; 2001
• Correlating instrumentation data to system states: A building block for automated diagnosis and control
  I. Cohen, M. Goldszmidt, T. Kelly, J. Symons, J. Chase; 2004
• Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults
  A. Clement et al.; 2009
• Zeno: Eventually Consistent Byzantine-Fault Tolerance
  A. Singh et al.; 2009
• The Akamai Network: A Platform for High-Performance Internet Applications
  Erik Nygren, Ramesh K. Sitaraman, Jennifer Sun; 2010
• Pocket Cloudlets
  Emmanouil Koukoumidis, Dimitrios Lymberopoulos, Karin Strauss, Jie Liu, Doug Burger; 2011
• DDOS: Taming Nondeterminism in Distributed Systems
  Nicholas Hunt et al.; 2013

filesystem

• hFS: A Hybrid File System Prototype for Improving Small File and Metadata Performance
  Zhihui Zhang and Kanad Ghose; 2007
• SQCK: A Declarative File System Checker
  Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau; 2008
• Avoiding file system micromanagement with range writes
  A. Anand et al.; 2008
• Memory resource allocation for file system prefetching from a supply chain management perspective
  Z. Zhang, A. Kulkarni, X. Ma, Y. Zhou; 2009
• Recon: Verifying File System Consistency at Runtime
  Daniel Fryer, Kuei Sun, Rahat Mahmood, TingHao Cheng, Shaun Benjamin, Ashvin Goel, Angela Demke Brown; 2012

historical

• Programming Semantics for Multiprogrammed Computations
  Jack B. Dennis and Earl C. Van Horn; 1966
• A User Machine in a Time-Sharing System
  B. W. Lampson, W. W. Lichtenberger and M. W. Pirtle; 1966
• Tenex: A paged time-sharing system for the PDP-10
  D.G. Bobrow et al.; 1972
• Final Report of the MULTICS Kernel Design Project
  M.D. Schröder; 1977
• The Anatomy of a Large-Scale Hypertextual Web Search Engine
  Sergey Brin, Lawrence Page; 1998

kernel design

• Threads and Input/Output in the Synthesis Kernel
  H. Massalin, C. Pu; 1989

miscellaneous

• Reconsidering Custom Memory Allocation
  E. Berger, B. Zorn, K. McKinley; 2002
• Automatic Pool Allocation: Improving Performance by Controlling Data Structure Layout in the Heap
  Chris Lattner, Vikram Adve; 2005
• Language support for fast and reliable message-based communication in Singularity OS
  M. Fähndrich, M. Aiken, C. Hawblitzel, O. Hodson, G. Hunt, J. Larus, S. Levi; 2006
• Triage: diagnosing production run failures at the user's site
  Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou; 2007
• Binary Translation Using Peephole Superoptimizers
  S. Bansal, A. Aiken; 2008
• Self-Stabilizing Device Drivers
  Shlomi Dolev, Reuven Yagel; 2008
• Spark: Cluster Computing with Working Sets
  M. Zaharia, M. Chowdhury, M. Franklin, S. Shenker and I. Stoica; 2010
• S²E: A Platform for In-Vivo Multi-Path Software Analysis
  Vitaly Chipounov et al.; 2011
• Dominant Resource Fairness: Fair Allocation of Multiple Resources Types
  A. Ghodsi, M. Zaharia, B. Hindman, A. Konwinski, S. Shenker, and I. Stoica; 2011
• Atlantis: Robust, Extensible Execution Environments for Web Applications
  James Mickens, Mohan Dhawan; 2011
• Memory optimizations of dynamic binary translators for embedded systems
  A. Guha et al.; 2013

multiprocessor

• Hive: Fault Containment for Shared-Memory Multiprocessors
  J. Chapin, M. Rosenblum, S. Devine, T. Lahiri, D. Teodosiu, A. Gupta; 1995
• Adapting to intermittent faults in multicore systems
  P. Wells, K. Chakraborty, G. Sohi; 2008
• p-VEX: A Reconfigurable and Extensible Softcore VLIW Processor
  Stephan Wong , Thijs Van As , Geoffrey Brown; 2008
• A Case for Scaling Applications to Many-core Platforms with OS Clustering
  H. Chen et al.; 2011

performance analysis

• Instruction fetching: coping with code bloat
  Richard Uhlig et al.; 1995
• Performance debugging for distributed systems of black boxes
  Marcos K. Aguilera, Jeffrey C. Mogul, Janet L. Wiener, Patrick Reynolds, Athicha Muthitacharoen; 2003
• I/O System Performance Debugging Using Model-driven Anomaly Characterization
  Kai Shen, Ming Zhong, Chuanpeng Li ; 2005
• Pip: Detecting the unexpected in Distributed Systems
  Patrick Reynolds, Duke University; Charles Killian, University of California, San Diego; Janet L. Wiener, Jeffrey C. Mogul, and Mehul A. Shah, Hewlett-Packard Laboratories, Palo Alto; Amin Vahdat, University of California, San Diego ; 2006
• IRONModel: robust performance models in the wild
  Eno Thereska, Gregory R. Ganger; 2008
• Optimizing Google’s Warehouse Scale Computers: The NUMA Experience
  Tang et al.; 2013

power

• Energy Management for Hypervisor-Based Virtual Machines
  Jan Stoess, Christian Lang, and Frank Bellosa; 2007
• An Analysis of Power Reduction in Datacenters using Heterogeneous Chip Multiprocessors
  V. Gupta et al.; 2011
• Where is the energy spent inside my app? Fine Grained Energy Accounting on Smartphones with Eprof
  A. Pathak, Y. C. Hu, M. Zhang; 2012

robustness

• Hypervisor-based Fault Tolerance
  T. Bressoud, F. Schneider; 1995
• DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design
  Todd M. Austin; 1999
• Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code
  Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, and Benjamin Chelf; 2001
• SWIFT: Software-Implemented Fault Tolerance
  G. Reis, J. Chang, N. Vachharajani; 2005
• From Uncertainty to Belief: Inferring the Specification Within
  Ted Kremenek, Paul Twohey, Godmar Back, Andrew Ng, Dawson Engler; 2006
• MUVI: Automatically Inferring Multi-Variable Access Correlations and Detecting Related Semantic and Concurrency Bugs
  Shan Lu et al.; 2007
• The design and implementation of microdrivers
  V. Ganapathy, M. Renzelmann, A. Balakrishnan, M. Swift, S. Jha; 2008
• Detouring: Translating software to circumvent hard faults in simple cores
  A. Meixner, D. Sorin; 2008
• Decoupling Dynamic Program Analysis from Execution in Virtual Environments
  J. Chow, T. Garfinkel, P. Chen; 2008
• First-Aid: Surviving and Preventing Memory Management Bugs during Production Runs
  Q. Gao, W. Zhang, Y. Tang, F. Qin; 2009
• Ksplice: automatic rebootless kernel updates
  J. Arnold, F. Kaashoek; 2009
• Dingo: Taming device drivers
  L. Ryzhyk, P. Chubb, I. Kuz, G. Heiser; 2009
• Fault isolation for device drivers
  Jorrit Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum; 2009
• PLR: A Software Approach to Transient Fault Tolerance for Multi-Core Architectures
  Alex Shye et al.; 2009
• Eliminating microarchitectural dependency from architectural vulnerability
  V. Sridharan, D. Kaeli; 2009
• SherLog: Error Diagnosis by Connecting Clues from Run-time Logs
  Ding Yuan, Haohui Mai, Weiwei Xiong, Lin Tan, Yuanyuan Zhou and Shankar Pasupathy; 2010
• Analyzing Multicore Dumps to Facilitate Concurrency Bug Reproduction
  Dasarath Weeratunge, Xiangyu Zhang and Suresh Jagannathan; 2010
• ConMem: Detecting Severe Concurrency Bugs Through an Effect-Oriented Approach
  Wei Zhang, Chong Sun and Shan Lu; 2010
• Butterfly Analysis: Adapting Dataflow Analysis to Dynamic Parallel Monitoring
  Michelle Goodstein, Evangelos Vlachos, Shimin Chen, Phillip Gibbons, Michael Kozuch and Todd Mowry; 2010
• Shoestring: Probabilistic Soft-error Resilience on the Cheap
  Shuguang Feng, Shantanu Gupta, Amin Ansari and Scott Mahlke; 2010
• Multi-stage Replay with Crosscut
  Jim Chow. Dominic Lucchetti. Tal Garfinkel. Geoffrey Lefebvre. Ryan Gardner. Joshua Mason. Sam Small; 2010
• Diverse Partial Memory Replication
  R. Lefever, V. Adve, W. Sanders; 2010
• Programming support and adaptive checkpointing for high-throughput data services with log-based recovery
  Jingyu Zhou; Caijie Zhang; Hong Tang; Jiesheng Wu; Tao Yang; 2010
• A study of the internal and external effects of concurrency bugs
  Fonseca, P.; Cheng Li; Singhal, V.; Rodrigues, R.; 2010
• Exploiting diverse observation perspectives to get insights on the malware landscape
  Leita, C.; Bayer, U.; Kirda, E.; 2010
• Transient fault models and AVF estimation revisited
  George, N.J.; Elks, C.R.; Johnson, B.W.; Lach, J.; 2010
• DAFT: decoupled acyclic fault tolerance
  Zhang et al.; 2010
• Cycles, Cells and Platters: An Empirical Analysis of Hardware Failures on a Million Consumer PCs
  Edmund B. Nightingale, John R. Douceur, Vince Orgovan; 2011
• S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems
  Chipounov et al.; 2011
• Relyzer: Exploiting Application-Level Fault Equivalence to Analyze Application Resiliency to Transient Faults
  S. Hari, S. Adve, H. Naeimi, P. Ramachandran; 2012
• Cosmic Rays Don ’ t Strike Twice : Understanding the Nature of DRAM Errors and the Implications for System Design
  Andy Hwang, Ioan Stefanovici, Bianca Schroeder; 2012
• Fine-Grained Fault Tolerance using Device Checkpoints
  Asim Kadav et al.; 2013

scheduling

• Resource Kernels: A Resource-Centric Approach to Real-Time and Multimedia Systems
  Raj Rajkumar, Kanaka Juvva, Anastasio Molano, Shuichi Oikawa; 1998
• Priority-Progress CPU Adaptation for Elastic Real-Time Applications
  Charles Krasic, Anirban Sinha, Lowell Kirshb; 2007
• Flexible Architectural Support for Fine-Grain Scheduling
  Daniel Sanchez, Richard M. Yoo, Christos Kozyrakis; 2010
• A Case for NUMA-aware Contention Management on Multicore Systems
  Sergey Blagodurov, Sergey Zhuravlev, Mohammad Dashti, Alexandra Fedorova; 2011
• Is Semi-Partitioned Scheduling Practical?
  Andrea Bastoni, Björn B. Brandenburg, James H. Anderson; 2011

security

• Protection in Operating Systems
  Michael A. Harrison and Walter L. Ruzzo; 1976
• The Cambridge CAP computer and its protection system
  Needham and Walker; 1977
• The KeyKOS Architecture
  N. Hardy; 1985
• Modelling a Fuzzy Time System
  Jonathan T. Trostle; 1993
• The Flask Security Architecture: System Support for Diverse Security Policies
  Spencer, et al.; 1999
• EROS: A Principle-Driven Operating System from the Ground Up
  Jonathan S. Shapiro and Norm Hardy; 2002
• Enhancing server availability and security through failure-oblivious computing
  M. Rinard, C. Cadar, D. Dumitran, D. Roy, T. Leu and J.W. Beebee; 2004
• On the effectiveness of address-space randomization
  Hovav Shacham, Matthew Page, Ben Pfaff, Eu-Jin Goh, Nagendra Modadugu, Dan Boneh; 2004
• Building a reactive immune system for software services
  S. Sidiroglou, M.E. Locasto, S.W. Boyd and A.D. Keromytis; 2005
• Sweeper: A lightweight end-to-end system for defending against fast worms
  J. Tucek, J. Newsome, S. Lu, C. Huang, S. Xanthos, D. Brumley, D. Song; 2007
• Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation
  D. Brumley et al.; 2007
• Multi-aspect profiling of kernel rootkit behavior
  R. Riley, X. Jiang, D. Xu; 2009
• Certified Lies: Detecting and Defeating Government Interception Attacks Against SSL
  Christopher Soghoian, Sid Stamm; 2010
• Accountable Virtual Machines
  Andreas Haeberlen, Paarijaat Aditya, Rodrigo Rodrigues, and Peter Druschel; 2010
• @spam: The Underground on 140 Characters or Less
  Chris Grier, K. Thomas, V. Paxson, M. Zhang; 2010
• An Empirical Study of Privacy-Violating Information Flows in JavaScript Web Applications
  Dongseok Jang, Ranjit Jhala, Sorin Lerner, Hovav Shacham; 2010
• Input Generation via Decomposition and Re-Stitching: Finding Bugs in Malware
  Juan Caballero, Pongsin Poosankam , Stephen McCamant, Domagoj Babic, Dawn Song ; 2010
• DieHarder: Securing the Heap
  Gene Novark, Emery D. Berger; 2010
• CryptDB: Protecting Confidentiality with Encrypted Query Processing
  Raluca Ada Popa, Catherine M. S. Redfield, Nickolai Zeldovich, and Hari Balakrishnan; 2011
• Bitsquatting: DNS Hijacking without exploitation
  A. Dinaburg; 2011
• Mosh: An Interactive Remote Shell for Mobile Clients
  Keith Winstein, Hari Balakrishnan; 2012

verification

• seL4: Formal Verification of an OS kernel
  G. Klein, K. Elphinstone, G. Heiser, J. Andronick et al.; 2009

virtualization

• A virtual machine time sharing system
  R. A. Mayer and L. H. Seawright; 1970
• Formal Requirements for Virtualizable Third Generation Architectures
  Gerald J. Popek and Robert P. Goldberg; 1974
• Xen and the art of virtualization
  P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, A. Warfield; 2003
• A comparison of software and hardware techniques for x86 virtualization
  Keith Adams, Ole Agesen; 2006
• Secure Virtual Architecture: A Safe Execution Environment for Commodity Operating Systems
  John Criswell et al.; 2007
• Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems
  Xiaoxin Chen, Tal Garfinkel, E. Christopher Lewis, Pratap Subrahmanyam, Carl A. Waldspurger, Dan Boneh, Jeffrey Dwoskin, and Dan R. K. Ports; 2008
• TwinDrivers: semi-automatic derivation of fast and safe hypervisor network drivers from guest OS drivers
  A. Menon, S. Schubert, W. Zwaenepoel; 2009
• SnowFlock: Rapid Virtual Machine Cloning for Cloud Computing
  Horacio Andrés Lagar-Cavilla, Joseph A. Whitney, Adin Scannell, Philip Patchin, Stephen M. Rumble, Eyal de Lara, Michael Brudno, Mahadev Satyanarayanan; 2009
• vNUMA: A Virtual Shared-Memory Multiprocessor
  Matthew Chapman, Gernot Heiser; 2009
• Phase-based reboot: Reusing operating system execution phases for cheap reboot-based recovery
  K. Yamakita, H. Yamada, K. Kono; 2011