This site lists papers, we already read within this seminar.

For some old presentation slides, have a look in here.

21.11.2019

ZombieLoad: Cross-Privilege-Boundary Data Sampling
Michael Schwarz, Moritz Lipp, Daniel Moghimi, Jo Van Bulck, Julian Stecklina, Thomas Prescher, Daniel Gruss; 2019

21.11.2019

RIDL: Rogue In-Flight Data Load
Stephan van Schaik, Alyssa Milburn, Sebastian Österlund, Pietro Frigo, Giorgi Maisuradze, Kaveh Razavi, Herbert Bos, Cristiano Giuffrida; 2019

07.11.2019

Architectural Support for Containment-based Security
Hansen Zhang, Soumyadeep Ghosh, Jordan Fix, Sotiris Apostolakis, Stephen R. Beard, Nayana P. Nagendra, Taewook Oh, David I. August; 2019

17.10.2019

Macho: Programming With Man Pages
Anthony Cozzie, Murph Finnicum, Samuel T. King; 2011

17.10.2019

An Evaluation of User-Level Failure Mitigation Support in MPI
Wesley Bland, Aurelien Bouteiller, Thomas Herault, Joshua Hursey, George Bosilca, Jack J. Dongarra; 2012

10.10.2019

FreeFlow: Software-based Virtual RDMA Networking for Containerized Clouds
Daehyeok Kim, Tianlong Yu, Hongqiang Harry Liu, Yibo Zhu, Jitu Padhye, Shachar Raindel, Chuanxiong Guo, Vyas Sekar, Srinivasan Seshan; 2019

26.09.2019

Task Packing: Efficient task scheduling in unbalanced parallel programs to maximize CPU utilization
Gladys Utrera, Montse Farreras, Jordi Fornes; 2019

29.08.2019

New Vulnerabilities in 4G and 5G Cellular Access Network Protocols: Exposing Device Capabilities
Altaf Shaik, Ravishankar Borgaonkar, Shinjo Park, Jean-Pierre Seifert; 2019

08.08.2019

JumpSwitches: Restoring the Performance of Indirect Branches In the Era of Spectre
Nadav Amit, Fred Jacobs, Michael Wei; 2019

01.08.2019

CapNet: Security and Least Authority in a Capability-Enabled Cloud
Anton Burtsev, David Johnson, Josh Kunz, Eric Eide, Jacobus Van der Merwe; 2017

25.07.2019

A Reconfigurable Fabric for Accelerating Large-Scale Datacenter Services
Andrew Putnam, Adrian M. Caulfield, Eric S. Chung, Derek Chiou, Kypros Constantinides, John Demme, Hadi Esmaeilzadeh, Jeremy Fowers, Gopi Prashanth Gopal, Jan Gray, Michael Haselman, Scott Hauck, Stephen Heil, Amir Hormati, Joo-Young Kim, Sitaram Lanka, James Larus, Eric Peterson, Simon Pope, Aaron Smith, Jason Thong, Phillip Yi Xiao, Doug Burger; 2014

18.07.2019

Featherlight Reuse-distance Measurement
Qingsen Wang, Xu Liu, Milind Chabbi; 2019

04.07.2019

A Billion Open Interfaces for Eve and Mallory: MitM, DoS, and Tracking Attacks on iOS and macOS Through Apple Wireless Direct Link
Milan Stute, Sashank Narain, Alex Mariotto, Alexander Heinrich, David Kreitschmann, Guevara Noubir, Matthias Hollick; 2019

20.06.2019

SPECTR: Formal Supervisory Control and Coordination for Many-core Systems Resource Management
Amir M. Rahmani, Bryan Donyanavard, Tiago Mück, Kasra Moazzemi, Axel Jantsch, Onur Mutlu, Nikil Dutt; 2018

06.06.2019

RobinHood: Tail Latency Aware Caching — Dynamic Reallocation from Cache-Rich to Cache-Poor
Daniel S. Berger, Benjamin Berg, Timothy Zhu, Mor Harchol-Balter, Siddhartha Sen; 2018

23.05.2019

SoK: Eternal War in Memory
László Szekeres, Mathias Payer, Tao Wei, Dawn Song; 2013

16.05.2019

A Component Architecture for the Internet of Things
Christopher Brooks, Chadlia Jerad, Hokeun Kim, Edward A. Lee, Marten Lohstroh, Victor Nouvellet, Beth Osyk, Matt Weber; 2018

09.05.2019

Arachne: Core-Aware Thread Management
Henry Qin, Qian Li, Jacqueline Speiser, Peter Kraft, John Ousterhout; 2018

25.04.2019

Time Protection: The Missing OS Abstraction
Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser; 2019

18.04.2019

Sanctum: Minimal Hardware Extensions for Strong Software Isolation
Victor Costan, Ilia Lebedev, Srinivas Devadas; 2016

21.02.2019

Cache-Tries: Concurrent Lock-Free Hash Tries with Constant-Time Operations
Aleksandar Prokopec; 2018

07.02.2019

Bridging the Gap Between HPC and Big Data Frameworks
Michael Anderson, Shaden Smith, Narayanan Sundaram, Mihai Capotă, Zheguang Zhao, Subramanya Dulloor, Nadathur Satish, and Theodore L. Willke; 2017

31.01.2019

Breaking the x86 ISA
Christopher Domas; 2017

24.01.2019

Heat-and-Run: Leveraging SMT and CMP to Manage Power Density Through the Operating System
Michael D. Powell, Mohamed Gomaa, T. N. Vijaykumar; 2004

17.01.2019

Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation
Matthias Hein, Maksym Andriushchenko; 2017

10.01.2019

The Forgotten 'Uncore': On the Energy-Efficiency of Heterogeneous Cores
Vishal Gupta, Paul Brett, David Koufaty, Dheeraj Reddy, Scott Hahn, Karsten Schwan, Ganapati Srinivasa; 2012

20.12.2018

Hierarchical Memory Management for Mutable State
Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut Acar, Matthew Fluet; 2018

13.12.2018

The Jury Is In: Monolithic OS Design Is Flawed
Simon Biggs, Damon Lee, Gernot Heiser; 2018

06.12.2018

Solros: A Data-Centric Operating System Architecture for Heterogeneous Computing
Changwoo Min, Woonhak Kang, Mohan Kumar, Sanidhya Kashyap, Steffen Maass, Heeseung Jo, Taesoo Kim; 2018

29.11.2018

NixOS: A Purely Functional Linux Distribution
Eelco Dolstra, Andres Löh; 2008

15.11.2018

LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation
Yizhou Shan, Yutong Huang, Yilun Chen, Yiying Zhang; 2018

08.11.2018

Malicious Management Unit: Why Stopping Cache Attacks in Software is Harder Than You Think
Stephan van Schaik, Cristiano Giuffrida, Herbert Bos, Kaveh Razavi; 2018

01.11.2018

Scheduling-Context Capabilities: A Principled, Light-Weight Operating-System Mechanism for Managing Time
Anna Lyons, Kent McLeod, Hesham Almatary, Gernot Heiser; 2018

25.10.2018

A Unified Theory of Garbage Collection
David F. Bacon, Perry Cheng, V. T. Rajan; 2004

18.10.2018

wPerf: Generic Off-CPU Analysis to Identify Bottleneck Waiting Events
Fang Zhou, Yifan Gan, Sixiang Ma, Yang Wang; 2018

11.10.2018

ffwd: delegation is (much) faster than you think
Sepideh Roghanchi, Jakob Eriksson, Nilanjana Basu; 2017

13.09.2018

The Seven Properties of Highly Secure Devices
Galen Hunt, George Letey, Edmund B. Nightingale; 2017

30.08.2018

Hard Real-time Scheduling for Parallel Run-time Systems
Peter Dinda, Xiaoyang Wang, Jinghang Wang, Chris Beauchene, Conor Hetland; 2018

02.08.2018

SplitStream: High-Bandwidth Multicast in Cooperative Environments
Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony Rowstron, Atul Singh; 2003

26.07.2018

TetriSched: global rescheduling with adaptive plan-ahead in dynamic heterogeneous clusters
Alexey Tumanov, Timothy Zhu, Jun Woo Park, Michael A. Kozuch, Mor Harchol-Balter, Gregory R. Ganger; 2016

19.07.2018

SEVered: Subverting AMD's Virtual Machine Encryption
Mathias Morbitzer, Manuel Huber, Julian Horsch, Sascha Wessel; 2018

12.07.2018

Interval-Based Memory Reclamation
Haosen Wen, Joseph Izraelevitz, Wentao Cai, H. Alan Beadle, Michael L. Scott; 2018

05.07.2018

The Hadoop Distributed File System
Konstantin Shvachko, Hairong Kuang, Sanjay Radia, Robert Chansler; 2010

28.06.2018

CryptDB: Protecting Confidentiality with Encrypted Query Processing
Raluca Ada Popa, Catherine M. S. Redfield, Nickolai Zeldovich, Hari Balakrishnan; 2011

21.06.2018

A Tale of Two Kernels: Towards Ending Kernel Hardening Wars with Split Kernel
Anil Kurmus, Robby Zippel; 2014

14.06.2018

Tapping into the Fountain of CPUs — On Operating System Support for Programmable Devices
Yaron Weinsberg, Danny Dolev, Tal Anker, Muli Ben-Yehuda, Pete Wyckoff; 2008

07.06.2018

Avoiding file system micromanagement with range writes
Ashok Anand, Sayandeep Sen, Andrew Krioukov, Florentina Popovici, Aditya Akella, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau, Suman Banerjee; 2008

31.05.2018

Recon: Verifying File System Consistency at Runtime
Daniel Fryer, Kuei Sun, Rahat Mahmood, TingHao Cheng, Shaun Benjamin, Ashvin Goel, Angela Demke Brown; 2012

24.05.2018

An Empirical Study on the Correctness of Formally Verified Distributed Systems
Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy; 2017

17.05.2018

COS: A Parallel Performance Model for Dynamic Variations in Processor Speed, Memory Speed, and Thread Concurrency
Bo Li, Edgar A. León, Kirk W. Cameron; 2017

03.05.2018

Efficient Address Translation for Architectures with Multiple Page Sizes
Guilherme Cox, Abhishek Bhattacharjee; 2017

26.04.2018

CLKSCREW: Exposing the Perils of Security-Oblivious Energy Management
Adrian Tang, Simha Sethumadhavan, Salvatore Stolfo; 2017

19.04.2018

ANVIL: Software-Based Protection Against Next-Generation Rowhammer Attacks
Zelalem Birhanu Aweke, Salessawi Ferede Yitbarek, Rui Qiao, Reetuparna Das, Matthew Hicks, Yossi Oren, Todd Austin; 2016

12.04.2018

The Malicious Use of Artificial Intelligence: Forecasting, Prevention, and Mitigation
Miles Brundage, Shahar Avin, Jack Clark, Helen Toner, Peter Eckersley, Ben Garfinkel, Allan Dafoe, Paul Scharre, Thomas Zeitzoff, Bobby Filar, Hyrum Anderson, Heather Roff, Gregory C. Allen, Jacob Steinhardt, Carrick Flynn, Seán Ó hÉigeartaigh, Simon Beard, Haydn Belfield, Sebastian Farquhar, Clare Lyle, Rebecca Crootof, Owain Evans, Michael Page, Joanna Bryson, Roman Yampolskiy, Dario Amodei; 2018

01.03.2018

Fail-Slow at Scale: Evidence of Hardware Performance Faults in Large Production Systems
Haryadi S. Gunawi, Riza O. Suminto, Russell Sears, Casey Golliher, Swaminathan Sundararaman, Xing Lin, Tim Emami, Weiguang Sheng, Nematollah Bidokhti, Caitie McCaffrey, Gary Grider, Parks M. Fields, Kevin Harms, Robert B. Ross, Andree Jacobson, Robert Ricci, Kirk Webb, Peter Alvaro, H. Birali Runesha, Mingzhe Hao, Huaicheng Li; 2018

15.02.2018

From L3 to seL4 - What Have We Learnt in 20 Years of L4 Microkernels?
Kevin Elphinstone, Gernot Heiser; 2013

08.02.2018

KASLR is Dead: Long Live KASLR
Daniel Gruss, Moritz Lipp, Michael Schwarz, Richard Fellner, Clémentine, Maurice, Stefan Mangard; 2017

01.02.2018

Post-failure recovery of MPI communication capability: Design and rationale
Wesley Bland, Aurelien Bouteiller, Thomas Herault, George Bosilca, Jack Dongarra; 2012

25.01.2018

Reconsidering Custom Memory Allocation
Emery D. Berger, Benjamin G. Zorn, Kathryn S. McKinley; 2002

18.01.2018

Latency-Tolerant Software Distributed Shared Memory
Jacob Nelson, Brandon Holt, Brandon Myers, Preston Brigg, Luis Ceze, Simon Kahan, Mark Oskin; 2015

11.01.2018

Spectre Attacks: Exploiting Speculative Execution
Paul Kocher, Daniel Genkin, Daniel Gruss, Werner Haas, Mike Hamburg, Moritz Lipp, Stefan Mangard, Thomas Prescher, Michael Schwarz, Yuval Yarom; 2018

11.01.2018

Meltdown
Moritz Lipp, Michael Schwarz, Daniel Gruss, Thomas Prescher, Werner Haas, Stefan Mangard, Paul Kocher, Daniel Genkin, Yuval Yarom, Mike Hamburg; 2018

04.01.2018

Canopy: An End-to-End Performance Tracing and Analysis System
Jonathan Kaldor, Jonathan Mace, Michał Bejda, Edison Gao, Wiktor Kuropatwa, Joe O’Neill, Kian Win Ong, Bill Schaller, Pingjia Shan, Brendan Viscomi, Vinod Venkataraman, Kaushik Veeraraghavan, Yee Jiun Song; 2017

14.12.2017

Certified Lies: Detecting and Defeating Government Interception Attacks Against SSL
Christopher Soghoian, Sid Stamm; 2011

07.12.2017

Lazy Diagnosis of In-Production Concurrency Bugs
Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu; 2017

30.11.2017

System Software for Persistent Memory
Subramanya R Dulloor, Sanjay Kumar, Anil Keshavamurthy, Dheeraj Reddy, Rajesh Sankaran, Jeff Jackson; 2011

23.11.2017

Operating System Support for Application-Specific Speculation
Benjamin Wester, Peter M. Chen, Jason Flinn; 2011

16.11.2017

Understanding The Security of Discrete GPUs
Zhiting Zhu, Sangman Kim, Yuri Rozhanski, Yige Hu, Emmett Witchel, Mark Silberstein; 2017

09.11.2017

My VM is Lighter (and Safer) than your Container
Filipe Manco, Costin Lupu, Florian Schmidt, Jose Mendes, Simon Kuenzer, Sumit Sati, Kenichi Yasukata, Costin Raiciu, Felipe Huici; 2017

02.11.2017

Soft Updates Made Simple and Fast on Non-volatile Memory
Mingkai Dong, Haibo Chen; 2017

26.10.2017

Bypassing Races in Live Applications with Execution Filters
Jingyue Wu, Heming Cui, Junfeng Yang; 2010

19.10.2017

Quasar: Resource-Efficient and QoS-Aware Cluster Management
Christina Delimitrou, Christos Kozyrakis; 2014

12.10.2017

Minimizing Faulty Executions of Distributed Systems
Colin Scott, Aurojit Panda, Vjekoslav Brajkovic, George Necula, Arvind Krishnamurthy, Scott Shenker; 2016

07.09.2017

Mind your language(s): A discussion about languages and security
Éric Jaeger, Olivier Levillain; 2014

31.08.2017

On the Use of Commodity Ethernet Technology in Exascale HPC Systems
Mariano Benito, Enrique Vallejo, Ramón Beivide; 2015

24.08.2017

Failure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures
Baris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles Pokam, George Candea; 2015

17.08.2017

Execution Drafting: Energy Efficiency Through Computation Deduplication
Michael Mckeown, Jonathan Balkind, David Wentzlaff; 2014

10.08.2017

OpenPiton: An Open Source Manycore Research Framework
Jonathan Balkind, Michael McKeown, Yaosheng Fu, Tri Nguyen, Yanqi Zhou, Alexey Lavrov, Mohammad Shahrad, Adi Fuchs, Samuel Payne, Xiaohua Liang, Matthew Matl, David Wentzlaff; 2016

03.08.2017

Dominant Resource Fairness: Fair Allocation of Multiple Resource Types
Ali Ghodsi, Matei Zaharia, Benjamin Hindman, Andy Konwinski, Scott Shenker, Ion Stoica; 2011

27.07.2017

cHash: Detection of Redundant Compilations via AST Hashing
Christian Dietrich, Valentin Rothberg, Ludwig Füracker, Andreas Ziegler, Daniel Lohmann; 2017

20.07.2017

PEMOGEN: Automatic Adaptive Performance Modeling during Program Runtime
Arnamoy Bhattacharyya, Torsten Hoefler; 2014

13.07.2017

AddressSanitizer: A Fast Address Sanity Checker
Konstantin Serebryany, Derek Bruening, Alexander Potapenko, Dmitry Vyukov; 2012

06.07.2017

Shake Before Building - Replacing Make with Haskell
Neil Mitchell; 2012

29.06.2017

Wait-Free Hash Maps in the Entity-Component-System Pattern for Realtime Interactive Systems
Patrick Lange, Rene Weller, Gabriel Zachmann; 2016

22.06.2017

TPC: Target-Driven Parallelism Combining Prediction and Correction to Reduce Tail Latency in Interactive Services
Myeongjae Jeon, Yuxiong He, Hwanju Kim, Sameh Elnikety, Scott Rixner, Alan L. Cox; 2016

15.06.2017

Instant OS Updates via Userspace Checkpoint-and-Restart
Sanidhya Kashyap, Changwoo Min, Byoungyoung Lee, Taesoo Kim, Pavel Emelyanov; 2016

01.06.2017

Fine-Grained Fault Tolerance using Device Checkpoints
Asim Kadav, Matthew J. Renzelmann, Michael M. Swift; 2013

18.05.2017

Twitter Heron: Stream Processing at Scale
Sanjeev Kulkarni, Nikunj Bhagat, Maosong Fu, Vikas Kedigehalli, Christopher Kellogg, Sailesh Mittal, Jignesh M. Patel, Karthik Ramasamy, Siddarth Taneja; 2015

11.05.2017

Real-Time Cache Management Framework for Multi-core Architectures
Renato Mancuso, Roman Dudko, Emiliano Betti, Marco Cesati, Marco Caccamo, Rodolfo Pellizzoni; 2013

04.05.2017

Forkscan: Conservative Memory Reclamation for Modern Operating Systems
Dan Alistarh, William Leiserson, Alexander Matveev, Nir Shavit; 2017

27.04.2017

Privacy Capsules: Preventing Information Leaks by Mobile Apps
Raul Herbster, Scott DellaTorre, Peter Druschel, Bobby Bhattacharjee; 2016

20.04.2017

Hash, Don't Cache (the Page Table)
Idan Yaniv, Dan Tsafrir; 2016

13.04.2017

Synchronization via Scheduling: Techniques For Efficiently Managing Shared State
Micah J Best, Shane Mottishaw, Craig Mustard, Mark Roth, Alexandra Fedorova, Andrew Brownsword; 2011

06.04.2017

Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis
Christoph Borchert, Olaf Spinczyk ; 2015

16.03.2017

The Application Slowdown Model: Quantifying and Controlling the Impact of Inter-Application Interference at Shared Caches and Main Memory
Lavanya Subramanian, Vivek Seshadri, Arnab Ghosh, Samira Khan, Onur Mutlu; 2015

02.03.2017

JetsonLeap: A Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems
Tarsila Bessa, Pedro Quintão, Michael Frank, Fernando Magno Quintão Pereira; 2016

23.02.2017

Automatic Pool Allocation: Improving Performance by Controlling Data Structure Layout in the Heap
Chris Lattner, Vikram Adve; 2005

16.02.2017

Lifting Assembly to Intermediate Representation: A Novel Approach Leveraging Compilers
Niranjan Hasabnis, R. Sekar; 2016

09.02.2017

OSIRIS: Efficient and Consistent Recovery of Compartmentalized Operating Systems
Koustubha Bhat, Dirk Vogt, Erik van der Kouwe, Ben Gras, Lionel Sambuc, Andrew S. Tanenbaum, Herbert Bos, Cristiano Giuffrida; 2016

02.02.2017

Unleashing MAYHEM on Binary Code
Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert, David Brumley; 2012

26.01.2017

memif: Towards Programming Heterogeneous Memory Asynchronously
Felix Xiaozhu Lin, Xu Liu; 2016

19.01.2017

CASPAR: Breaking Serialization in Lock-Free Multicore Synchronization
Tanmay Gangwani, Adam Morrison, Josep Torrellas; 2016

12.01.2017

Characterizing and Modeling the Behavior of Context Switch Misses
Fang Liu, Fei Guo, Yan Solihin, Seongbeom Kim, Abdulaziz Eker; 2008

05.01.2017

MemGuard: Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Platforms
Heechul Yun, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha; 2013

15.12.2016

Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering
Jialin Li, Ellis Michael, Naveen Kr. Sharma, Adriana Szekeres, Dan R. K. Ports; 2016

08.12.2016

ReQoS: Reactive Static/Dynamic Compilation for QoS in Warehouse Scale Computers
Lingjia Tang, Jason Mars, Wei Wang, Tanima Dey, Mary Lou Soffa; 2013

01.12.2016

Fuzzing with Code Fragments
Christian Holler, Kim Herzig, Andreas Zeller; 2012

24.11.2016

Shuffler: Fast and Deployable Continuous Code Re-Randomization
David Williams-King, Graham Gobieski, Kent Williams-King, James P. Blake, Xinhao Yuan, Patrick Colp, Michelle Zheng, Vasileios P. Kemerlis, Junfeng Yang, William Aiello; 2016

17.11.2016

Understanding Performance Interference in Next-Generation HPC Systems
Oscar H. Mondragon, Patrick G. Bridges, Scott Levy, Kurt B. Ferreira, Patrick Widener; 2016

10.11.2016

Light-Weight Contexts: An OS Abstraction for Safety and Performance
James Litton, Anjo Vahldiek-Oberwagner, Eslam Elnikety, Deepak Garg, Bobby Bhattacharjee, Peter Druschel; 2016

03.11.2016

Cosh: clear OS data sharing in an incoherent world
Andrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe; 2014

27.10.2016

OS-based Resource Accounting for Asynchronous Resource Use in Mobile Systems
Farshad Ghanei, Pranav Tipnis, Kyle Marcus, Karthik Dantu, Steve Ko, Lukasz Ziarek; 2016

20.10.2016

Resource and Throughput Aware Execution Trace Analysis for Efficient Run-time Mapping on MPSoCs
Amit Kumar Singh, Muhammad Shafique, Akash Kumar, Jörg Henkel; 2016

13.10.2016

Evaluating the Cost of Atomic Operations on Modern Architectures
Hermann Schweizer, Maciej Besta, Torsten Hoefler; 2015

06.10.2016

A high performance file system for non-volatile main memory
Jiaxin Ou, Jiwu Shu, Youyou Lu; 2016

22.09.2016

Maximizing Performance Under a Power Cap: A Comparison of Hardware, Software, and Hybrid Techniques
Huazhe Zhang, Henry Hoffmann; 2016

15.09.2016

Legion: Expressing Locality and Independence with Logical Regions
Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken; 2012

04.08.2016

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, Remzi H. Arpaci-Dusseau; 2014

28.07.2016

Process-level Power Estimation in VM-based Systems
Maxime Colmant, Mascha Kurpicz, Pascal Felber, Loïc Huertas, Romain Rouvoy, Anita Sobe; 2015

21.07.2016

Scheduling for Reduced CPU Energy
Mark Weiser, Brent Welch, Alan Demers, Scott Shenker; 1994

14.07.2016

Parallel Sections: Scaling System-Level Data-Structures
Qi Wang, Timothy Stamler, Gabriel Parmer; 2016

07.07.2016

Implementing Zero Overhead Exception Handling
S. Drew, K. J. Gough, J. Ledermann; 1995

30.06.2016

MillWheel: Fault-Tolerant Stream Processing at Internet Scale
Tyler Akidau, Alex Balikov, Kaya Bekiroğlu, Slava Chernyak, Josh Haberman, Reuven Lax, Sam McVeety, Daniel Mills, Paul Nordstrom, Sam Whittle; 2013

23.06.2016

Resilient Distributed Datasets: A Fault-Tolerant Abstraction for in-memory cluster computation
Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauley, Michael J. Franklin, Scott Shenker, Ion Stoica; 2012

16.06.2016

Linux Block IO: Introducing Multi-queue SSD Access on Multi-core Systems
Matias Bjørling, Jens Axboe, David Nellans, Philippe Bonnet; 2013

09.06.2016

Adapting to intermittent faults in multicore systems
Philip M. Wells, Koushik Chakraborty, Gurindar S. Sohi; 2008

02.06.2016

seL4: Formal Verification of an OS kernel
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood; 2009

26.05.2016

The Akamai Network: A Platform for High-Performance Internet Applications
Erik Nygren, Ramesh K. Sitaraman, Jennifer Sun; 2010

19.05.2016

Multi-Stage Programming for GPUs in Modern C++ using PACXX
Michael Haidl, Michel Steuwer, Tim Humernbrum, Sergei Gorlatch; 2016

12.05.2016

Kendo: Efficient Deterministic Multithreading in Software
Marek Olszewski, Jason Ansel, Saman Amarasinghe; 2009

28.04.2016

Code-Pointer Integrity
Volodymyr Kuznetsov, László Szekeres, Mathias Payer†, George Candea, R. Sekar, Dawn Song; 2014

21.04.2016

NOVA: A Log-structured File System for Hybrid Volatile/Non-volatile Main Memories
Jian Xu, Steven Swanson; 2016

14.04.2016

Fault tolerant MapReduce-MPI for HPC clusters
Yanfei Guo, Wesley Bland, Pavan Balaji, Xiaobo Zhou; 2015

07.04.2016

Effective Data-Race Detection for the Kernel
John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, Kirk Olynyk; 2010

31.03.2016

First-Class User-Level Threads
Brian D. Marsh, Michael L. Scott, Thomas J. LeBlanc, Evangelos P. Markatos; 1991

17.03.2016

Exploiting Variability for Energy Optimization of Load Balanced Parallel Programs
Xin Chen, Karsten Schwan, Wim Lavrijsen, Costin Iancu, Wibe de Jong; 2016

10.03.2016

Flash Reliability in Production: The Expected and the Unexpected
Bianca Schroeder, Raghav Lagisetty, Arif Merchant; 2016

03.03.2016

Arrakis: The Operating System is the Control Plane
Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas Anderson, Timothy Roscoe; 2014

25.02.2016

Quantifying the Effectiveness of Load Balance Algorithms
Olga Pearce, Todd Gamblin, Bronis R. de Supinski, Martin Schulz, Nancy M. Amato; 2012

18.02.2016

A Case for Transforming Parallel Runtimes Into Operating System Kernels
Kyle C. Hale, Peter A. Dinda; 2015

11.02.2016

Cache Contention and Application Performance Prediction for Multi-Core Systems
Chi Xu, Xi Chen, Robert P. Dick, Zhuoqing Morley Mao; 2010

04.02.2016

JouleGuard: Energy Guarantees for Approximate Applications
Henry Hoffmann; 2015

21.01.2016

Scientific Benchmarking of Parallel Computing Systems
Torsten Hoefler, Roberto Belli; 2015

17.12.2015

A Case for Application-Oblivious Energy-Efficient MPI Runtime
Akshay Venkatesh, Abhinav Vishnu, Khaled Hamidouche, Nathan Tallent, Dhabaleswar Panda, Darren Kerbyson, Adolfy Hoisie; 2015

10.12.2015

Runtime-Driven Shared Last-Level Cache Management for Task-Parallel Programs
Abhisek Pan, Vijay S. Pai; 2015

03.12.2015

Reassembleable Disassembling
Shuai Wang, Pei Wang, Dinghao Wu; 2015

26.11.2015

Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
Yuanzhong Xu, Weidong Cui, Marcus Peinado; 2015

12.11.2015

Impossibility Results for Distributed Transactional Memory
Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma; 2015

05.11.2015

Locating Cache Performance Bottlenecks Using Data Profiling
Aleksey Pesterev, Nickolai Zeldovich, Robert T. Morris; 2010

29.10.2015

DAGuE: A generic distributed DAG engine for High Performance Computing
George Bosilca, Aurelien Bouteiller, Anthony Danalis, Thomas Herault, Pierre Lemarinier, Jack Dongarra; 2011

22.10.2015

COZ: Finding Code that Counts with Causal Profiling
Charlie Curtsinger, Emery D. Berger; 2015

15.10.2015

Willow: A User-Programmable SSD
Sudharsan Seshadri, Mark Gahagan, Sundaram Bhaskaran, Trevor Bunker, Arup De, Yanqin Jin, Yang Liu, Steven Swanson; 2014

08.10.2015

Vuvuzela: Scalable Private Messaging Resistant to Traffic Analysis
Jelle van den Hooff, David Lazar, Matei Zaharia, Nickolai Zeldovich; 2015

24.09.2015

Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming
Alexander Matveev, Nir Shavit, Pascal Felber, Patrick Marlier; 2015

17.09.2015

Queue-Dispatch Asynchronous Systems
Gilles Geeraerts, Alexander Heußner, Jean-François Raskin; 2012

10.09.2015

Thread and Memory Placement on NUMA Systems: Asymmetry Matters
Baptiste Lepers, Vivien Quéma, Alexandra Fedorova; 2015

03.09.2015

Cache-Oblivious Algorithms
Matteo Frigo, Charles E. Leiserson, Harald Prokop, Sridhar Ramachandran; 1999

27.08.2015

Oversubscription on Multicore Processors
Costin Iancu, Steven Hofmeyr, Filip Blagojević, Yili Zheng; 2010

30.07.2015

Callisto-RTS: Fine-Grain Parallel Loops
Tim Harris, Stefan Kaestle; 2015

23.07.2015

Hints to improve automatic load balancing with LeWI for hybrid applications
Marta Garcia, Jesus Labarta, Julita Corbalan; 2014

16.07.2015

mov is Turing-complete
Stephen Dolan; 2013

09.07.2015

iThreads: A Threading Library for Parallel Incremental Computation
Pramod Bhatotia, Pedro Fonseca, Umut A. Acar, Björn B. Brandenburg, Rodrigo Rodrigues; 2015

02.07.2015

Evolution of Thread-Level Parallelism in Desktop Applications
Geoffrey Blake, Ronald G. Dreslinski, Trevor Mudge, Krisztián Flautner; 2010

25.06.2015

Beyond the PDP-11: Architectural support for a memory-safe C abstract machine
David Chisnall, Colin Rothwell, Robert N. M. Watson, Jonathan Woodruff, Munraj Vadera, Simon W. Moore, Michael Roe, Brooks Davis, Peter G. Neumann; 2015

18.06.2015

ERIS: A NUMA-Aware In-Memory Storage Engine for Analytical Workloads
Thomas Kissinger, Tim Kiefer, Benjamin Schlegel, Dirk Habich, Daniel Molka, Wolfgang Lehner; 2014

11.06.2015

Toward a Unified Object Storage Foundation for Scalable Storage Systems
Cengiz Karakoyunlu, Dries Kimpe, Philip Carns, Kevin Harms, Robert Ross, Lee Ward; 2013

04.06.2015

Avoiding Pitfalls in Fault-Injection Based Comparison of Program Susceptibility to Soft Errors
Horst Schirmeier, Christoph Borchert, Olaf Spinczyk; 2015

28.05.2015

Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct Fault-Tolerant Services
Jacob R. Lorch, Andrew Baumann, Lisa Glendenning, Dutch Meyer, Andrew Warfield; 2015

07.05.2015

POET: A Portable Approach to Minimizing Energy Under Soft Real-time Constraints
Connor Imes, David H. K. Kim, Martina Maggio, Henry Hoffmann; 2015

30.04.2015

A Practical Approach to Dynamic Load Balancing
Jerrell Watts, Stephen Taylor; 1998

23.04.2015

Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications
Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller; 2012

16.04.2015

Hobbes: Composition and Virtualization as the Foundations of an Extreme-scale OS/R
Ron Brightwell, Ron Oldfield, Arthur B. Maccabe, David E. Bernholdt; 2013

09.04.2015

Nanowire Nanocomputer as a Finite-State Machine
Jun Yao, Hao Yan, Shamik Das, James F. Klemic, James C. Ellenbogen, Charles M. Lieber; 2014

02.04.2015

Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation
Nathan Dautenhahn, Theodoros Kasampalis, Will Dietz, John Criswell, Vikram Adve; 2015

12.03.2015

The Raw Microprocessor: A Computational Fabric for Software Circuits and General-Purpose Programs
Michael Bedford Taylor, Jason Kim, Jason Miller, David Wentzlaff, Fae Ghodrat, Ben Greenwald, Henry Hoffman, Paul Johnson, Jae-Wook Lee, Walter Lee, Albert Ma, Arvind Saraf, Mark Seneski, Nathan Shnidman, Volker Strumpen, Matt Frank, Saman Amarasinghe, Anant Agarwal; 2002

05.03.2015

Tolerating Malicious Device Drivers in Linux
Silas Boyd-Wickizer, Nickolai Zeldovich; 2010

26.02.2015

Nail: A Practical Tool for Parsing and Generating Data Formats
Julian Bangert, Nickolai Zeldovich; 2014

19.02.2015

Decoupling Cores, Kernels, and Operating Systems
Gerd Zellweger, Simon Gerber, Kornilios Kourtis, Timothy Roscoe; 2014

12.02.2015

Using In-Flight Chains to Build a Scalable Cache Coherence Protocol
Samantika Subramaniam, Simon C. Steely, Will Hasenplaugh, Aamer Jaleel, Carl Beckmann, Tryggve Fossum, Joel Emer; 2013

28.01.2015

Gdev: First-Class GPU Resource Management in the Operating System
Shinpei Kato, Michael McThrow, Carlos Maltzahn, Scott Brandt; 2012

21.01.2015

It's Time for Low Latency
Stephen M. Rumble, Diego Ongaro, Ryan Stutsman, Mendel Rosenblum, John K. Ousterhout; 2011

14.01.2015

Exascale Radio Astronomy: Can We Ride the Technology Wave?
Erik Vermij, Leandro Fiorin, Christoph Hagleitner, Koen Bertels; 2014

07.01.2015

The Benefit of SMT in the Multi-Core Era
Stijn Eyerman, Lieven Eeckhout; 2014

17.12.2014

Proactive Energy-Aware Programming with PEEK
Timo Honig, Heiko Janker, Christopher Eibel, Wolfgang Schroder-Preikschat, Oliver Mihelic, Rudiger Kapitza; 2014

10.12.2014

Pydron: Semi-Automatic Parallelization for Multi-Core and the Cloud
Stefan C. Mueller, Gustavo Alonso, Adam Amara, Andre Csilaghy; 2014

03.12.2014

The nonkernel: a kernel designed for the cloud
Muli Ben-Yehuda et al.; 2013

26.11.2014

Concurrent Predicates: A Debugging Technique for Every Parallel Programmer
Justin Gottschlich; 2013

05.11.2014

OSv - Optimizing the Operating System for Virtual Machines
Avi Kivity et al.; 2014

29.10.2014

A Case for Scaling Applications to Many-core Platforms with OS Clustering
Xiang Song, Haibo Chen, Rong Chen, Yuanxuan Wang, Binyu Zang; 2011

22.10.2014

Cloudlets: at the Leading Edge of Mobile-Cloud Convergence
Satya; 2014

15.10.2014

Torturing Databases for Fun and Profit
Mai Zheng et al; 2014

03.09.2014

Unikernels: library operating systems for the cloud
A. Madhavapeddy et al.; 2013

20.08.2014

Hardware-enforced Fine-grained Isolation of Untrusted Code
Eugen Leontie, Gedare Bloom, Bhagirath Narahari, Rahul Simha, Joseph Zambreno; 2009

13.08.2014

mOS: An Architecture for Extreme-Scale Operating Systems
Robert W. Wisniewski, Todd Inglett, Pardo Keppel, Ravi Murty, Rolf Riesen; 2014

06.08.2014

Cosmic Rays Don't Strike Twice: Understanding the Nature of DRAM Errors and the Implications for System Design
Andy A. Hwang, Ioan Stefanovici, Bianca Schroeder; 2012

30.07.2014

Log-structured Memory for DRAM-based Storage
Carsten Weinhold; 2014

23.07.2014

Debugging operating systems with time-traveling virtual machines
Sam King, George Dunlap, Peter Chen; 2005

16.07.2014

X10 and APGAS at Petascale
Olivier Tardieu, Benjamin Herta; 2014

09.07.2014

Deterministic Process Groups in dOS
Tom Bergan, Nicholas Hunt, Luis Ceze, Steven D. Gribble; 2010

02.07.2014

ELI: bare-metal performance for I/O virtualization
Abel Gordon, Nadav Amit, Nadav Har'El, Muli Ben-Yehuda, Alex Landau, Assaf Schuster, Dan Tsafrir; 2012

25.06.2014

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

04.06.2014

DieHarder: Securing the Heap
Gene Novark, Emery D. Berger; 2010

28.05.2014

Zeno: Eventually Consistent Byzantine-Fault Tolerance
A. Singh et al.; 2009

21.05.2014

Scheduler activations: Effective Kernel Support for the User-Level Management
Thomas Anderson, Brian Bershad, Ed Lazowska, Henry Levy; 1992

14.05.2014

The Page-Fault Weird Machine: Lessons in Instruction-less Computation
J. Bangert, S. Bratus, R. Shapiro, S. W. Smith; 2013

07.05.2014

Tessellation: Refactoring the OS around Explicit Resource Containers with Continuous Adaptation
J. Colmenares, G. Eads, S. Hofmeyr, S. Bird, M. Moreto, D. Chou, B. Gluzman, E. Roman, D. Bartolini, N. Mor, K. Asanovic, J. Kubiatowicz; 2013

30.04.2014

TESLA: Temporally Enhanced Security Logic Assertions
J. Anderson, R. Watson, D. Chisnall, K. Gudka, I. Marinos, B. Davis; 2014

23.04.2014

Callisto: Co-Scheduling Parallel Runtime Systems
Tim Harris, Martin Maas, Virendra Marathe; 2014

16.04.2014

Adagio: Making DVS Practical for Complex HPC Applications
Barry Rountree, David K. Lownenthal, Bronis R. de Supinski, Martin Schulz, Vincent W. Freeh, Tyler Bletsch; 2009

09.04.2014

Naiad: A Timely Dataflow System
Derek G. Murray, Frank McSherry, Rebecca Isaacs, Michael Isard, Paul Barham, Martín Abadi; 2013

02.04.2014

Redefining the Role of the CPU in the Era of CPU-GPU Integration
M. Arora, S. Nath, S. Mazumdar, S. Baden, D. Tullsen; 2012

26.03.2014

Recovery domains - an organizing principle for recoverable operating systems
A. Lenharth, V. Adve, S. King; 2009

12.03.2014

Gang EDF Scheduling of Parallel Task Systems
S. Kato, Y. Ishikawa; 2009

26.02.2014

Discerning the Dominant Out-of-Order Performance Advantage: Is it Speculation or Dynamism?
D. McFarlin, C. Tucker, C. Zilles; 2013

19.02.2014

TwinDrivers: semi-automatic derivation of fast and safe hypervisor network drivers from guest OS drivers
A. Menon, S. Schubert, W. Zwaenepoel; 2009

12.02.2014

A Virtualized Separation Kernel for Mixed Criticality Systems
Li, West, Missimer; 2014

05.02.2014

Model-Based, Memory-Centric Performance and Power Optimization on NUMA Multiprocessors
C. Su, D. Li, D. Nikolopoulos, K. Cameron, B. de Supinski, E. Leon; 2012

29.01.2014

InkTag: Secure Applications on an Untrusted Operating System
O. Hofmann, S. Kim, A. Dunn, M. Lee, E. Witchel; 2013

22.01.2014

Integrated Temporal Planning, Module Selection and Placement of Tasks for Dynamic Networks-on-Chip
Philipp Mahr, Steffen Christgau, Christian Haubelt, Christophe Bobda; 2011

15.01.2014

Transactional Memory Architecture and Implementation for IBM System z
C. Jacobi, T. Slegel, D. Greiner; 2012

08.01.2014

DeNovoND: Efficient Hardware Support for Disciplined Non-Determinism
H. Sung, R. Komuravelli, S. Adve; 2013

11.12.2013

StarPU: a unified platform for task scheduling on heterogeneous multicore architectures
Cédric Augonnet, Samuel Thibault, Raymond Namyst, Pierre-André Wacrenier; 2010

03.12.2013

Portable Performance on Heterogeneous Architectures
P. Phothilimthana, J. Ansel, J. Ragan-Kelley, S. Amarasinghe; 2013

27.11.2013

PrivExec: Private Execution as an Operating System Service
K. Onarlioglu, C. Mulliner, W. Robertson, E. Kirda; 2013

13.11.2013

A Scheduling Framework that Makes any Disk Schedulers Non-work-conserving solely based on Request Characteristics
Y. Xu, S. Jiang; 2011

06.11.2013

Security completeness: towards noninterference in composed languages
A. Gampe, J. von Ronne; 2013

30.10.2013

Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior
X. Wang, N. Zeldovich, F. Kaashoek, A. Solar-Lemaza; 2013

23.10.2013

End-To-End Sequential Consistency
A. Singh, S. Narayanasamy, D. Marino, T. Millenstein, M. Musuvathi; 2012

16.10.2013

When the CRC and TCP checksum disagree
J. Stone, C. Partridge; 2009

09.10.2013

TableFS: Enhancing Metadata Efficiency in the Local File System
Kai Ren, Garth Gibson; 2013

02.10.2013

Relyzer: Exploiting Application-Level Fault Equivalence to Analyze Application Resiliency to Transient Faults
S. Hari, S. Adve, H. Naeimi, P. Ramachandran; 2012

11.09.2013

Countering Terrorism through Information and Privacy Protection Technologies
R. Popp, J. Poindexter; 2006

04.09.2013

IsoStack: highly efficient network processing on dedicated cores
L. Shalev, J. Satran, E. Borovik, M. Ben-Yehuda; 2010

21.08.2013

Fast byte-granularity software fault isolation
Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black; 2009

07.08.2013

Exposing Application Alternatives
P. Keleher, J. Hollingsworth, D. Perkovic; 1999

31.07.2013

A Unified Hardware/Software Runtime Environment for FPGA-based Reconfigurable Computers Using BORPH
H. K.-H. So, A. Tkachenko, R. Brodersen; 2006

24.07.2013

Resource Management on Multi-core Systems: the ACTORS approach
Enrico Bini, Giorgio Buttazzo, Johan Eker, Stefan Schorr, Raphael Guerra, Gerhard Fohler, Karl-Erik Årzén, Vanessa Romero, Claudio Scordino; 2010

17.07.2013

Using One-Sided RDMA Reads to Build a Fast, CPU-Efficient Key-Value Store
C. Mitchell, Y. Geng, J. Li; 2013

10.07.2013

When Slower is Faster: On Heterogeneous Multicores for Reliable Systems
Tomas Hruby, Herbert Bos Andrew S. Tanenbaum; 2013

03.07.2013

DAFT: decoupled acyclic fault tolerance
Zhang et al.; 2010

19.06.2013

Chronos: Predictable Low Latency for Data Center Applications
Kapoor et al.; 2012

12.06.2013

Why On-Chip Cache Coherence is Here to Stay
Milo M. K. Martin, Mark D. Hill, Daniel J. Sorin; 2012

05.06.2013

QuickIA: Exploring Heterogeneous Architectures on Real Prototypes
N. Chitlur et al.; 2011

29.05.2013

Minimizing the hidden cost of RDMA
Frey, Alonso; 2009

22.05.2013

MegaPipe: a new programming interface for scalable network I/O
Sangjin Han et al.; 2012

15.05.2013

Neuroscience Meets Cryptography: Designing Crypto Primitives Secure Against Rubber Hose Attacks
H. Bojinov et al.; 2012

08.05.2013

Power containers: an OS facility for fine-grained power and energy management on multicore servers
Kai Shen, Arrvindh Shriraman, Sandhya Dwarkadas, Xiao Zhang, Zhuan Chen; 2013

24.04.2013

Region Scheduling: Efficiently Using the Cache Architectures via Page-level Affinity
Min Lee, Karsten Schwan; 2012

17.04.2013

A package for OpenCL based heterogeneous computing on clusters with many GPU devices
A. Barak et al.; 2010

10.04.2013

RadixVM: Scalable address spaces for multithreaded applications
Austin Clemens et al.; 2013

20.03.2013

Conversion: Multi-version concurrency control for main memory segments
T. Merrifield, J. Eriksson; 2013

27.02.2013

Horus: Fine-Grained Encryption-Based Security for Large-Scale Storage
Y. Li et al.; 2013

20.02.2013

The Multikernel: A New OS Architecture for Scalable Multicore Systems
A. Baumann, P. Barham, E. Dagand, T. Harris, R. Isaacs, S. Peter, T. Roscoe, A. Schüpbach, A. Singhhnia; 2009

06.02.2013

Inter-core Prefetching for Multicore Processors Using Migrating Helper Threads
M. Kamruzzaman et al.; 2011

30.01.2013

Detection and Correction of Silent Data Corruption for Large-Scale High-Performance Computing
D. Fiala, F. Mueller, C. Engelmann, R. Riesen, K. Ferreira, R. Brightwell; 2012

16.01.2013

Understanding Checkpointing Overheads on Massive-Scale Systems: Analysis of the IBM Blue Gene/P System
Rinku Gupta, Harish Naik, Pete Beckman; 2011

09.01.2013

Ksplice: automatic rebootless kernel updates
Jeff Arnold, M. Frans Kaashoek; 2009

12.12.2012

Stable Deterministic Multithreading Through Schedule Memoization
Heming Cui, Jingyue Wu, Chia-Che Tsai, Junfeng Yang; 2010

05.12.2012

Otherworld -- giving applications a chance to survive OS kernel crashes
Alex Depoutovitch, Michael Stumm; 2010

28.11.2012

Rump File Systems: Kernel Code Reborn
A. Kantee; 2009

14.11.2012

Identifying Program Power Phase Behavior Using Power Vectors
Canturk Isci, Margaret Martonosi; 2003

07.11.2012

The Case for RAMCloud
J. Ousterhout et al.; 2011

24.10.2012

Factored Operating Systems (fos): The Case for a Scalable Operating System for Multicores
D. Wentzlaff, A. Agarwal; 2009

17.10.2012

PTask: Operating System Abstractions To Manage GPUs as Compute Devices
Christopher J. Rossbach, Jon Currey, Mark Silberstein, Baishakhi Ray, Emmett Witchel; 2011

19.09.2012

Architectural Support for Operating System-Drivern CMP Cache Management
N. Raflique, W. Lim, M. Thottethodi; 2006

12.09.2012

Efficient Program Scheduling for Heterogeneous Multi-core Processors
Jian Chen, Lizy K. John; 2009

05.09.2012

Hybrid Binary Rewriting for Memory Access Instrumentation
Amithaba Roy et al.; 2011

29.08.2012

CuriOS: Improving Reliability through Operating System Structure
F.M. David, E.M. Chan, J.C. Carlyle, R.H. Campbell; 2008

22.08.2012

Execution Migration in a Heterogeneous-ISA Chip Multiprocessor
De Vuyst, Venkat, Tullsen; 2012

15.08.2012

For Extreme Parallelism, Your OS Is Sooooo Last-Millennium
Rob Knauerhase, Romain Cledat, Justin Teller; 2012

08.08.2012

Keep Net Working - On a dependable and fast networking stack
T. Hruby, D. Vogt, H. Bos, A. Tanenbaum; 2012

01.08.2012

Dynamic Knobs for Responsive Power-Aware Computing
Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin Rinard; 2011

25.07.2012

Cloud Terminal: Secure Access to Sensitive Applications from Untrusted Systems
Lorenzo Martignoni, Pongsin Poosankam, Matei Zaharia, Jun Han, Stephen McCamant, Dawn Song, Vern Paxson, Adrian Perrig, Scott Shenker, Ion Stoica; 2012

18.07.2012

Inconsistency Robustness for Scalability in Interactive Concurrent‑Update In-Memory MOLAP Cubes
David Ungar, Doug Kimelman, Sam Adams; 2011

11.07.2012

The UNIX Time-Sharing System
Dennis M. Ritchie, Ken Thompson; 1974

04.07.2012

Scheduling Strategies for Optimistic Parallel Execution of Irregular Programs
Milind Kulkarni et al.; 2008

27.06.2012

Learning from mistakes - a comprehensive study on real world concurrency bug characteristics
S. Lu, S. Park, E. Seo, Y. Zhou; 2008

20.06.2012

Recovering Device Drivers
Michael Swift et al.; 2004

06.06.2012

Welcome to the Parallel Jungle!
Herb Sutter; 2012

30.05.2012

Jettison: Efficient Idle Desktop Consolidation with Partial VM Migration
Nilton Bila, Eyal de Lara, Kaustubh Joshi, H. Andres Lagar-Cavilla, Matti Hiltunen, Mahadev Satyanarayanan; 2012

23.05.2012

Windows XP kernel crash analysis
A. Ganapathi, V. Ganapathi, D. Patterson; 2006

16.05.2012

Accent: A communication oriented network operating system kernel
Richard F. Rashid, George G. Robertson; 1981

09.05.2012

Fine-Grained Power Modeling for Smartphones Using System Call Tracing
Abhinav Pathak, Y. Charlie Hu, Ming Zhang, Paramvir Bahl, Yi-Min Wang; 2011

02.05.2012

PeerReview: Practical Accountability for Distributed Systems
Andreas Haberlen et al.; 2007

25.04.2012

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
Cristian Cadar, Daniel Dunbar, Dawson Engler; 2008

18.04.2012

Operating Systems Challenges for GPU Resource Management
S. Kato, S. Brandt, Y. Ishikawa, R. Rajkumar; 2011

11.04.2012

Virtualization Challenges: A view from the server consolidation perspective
Hui Lv, Yaozu Dong, Jiangang Duan, Kevin Tian; 2012

04.04.2012

Thread Motion: Fine-Grained Power Management for Multi-Core Systems
Krishna K. Rangan, Gu-Yeon Wei, David Brooks ; 2009

28.03.2012

Aikido: Accelerating Shared Data Dynamic Analyses
M. Olszewski et al.; 2012

07.03.2012

Consistency Without Ordering
Vijay Chidambaram, Tushar Sharma, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau; 2012

15.02.2012

seL4 Enforces Integrity
Thomas Sewell, Simon Winwood, Peter Gammie1, Toby Murray, June Andronick, Gerwin Klein; 2011

08.02.2012

Borrowed-Virtual-Time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose scheduler
Kenneth J. Duda, David R. Cheriton; 1999

01.02.2012

NonStop advanced architecture
Bernick et. al. ; 2005

25.01.2012

RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor
Paul Regnier, George Lima, Ernesto Massa, Greg Levin, Scott Brandt; 2011

23.01.2012

VALE, a Switched Ethernet for Virtual Machines
L. Rizzi, G. Lettieri; 2012

18.01.2012

DThreads: Efficient Deterministic Multithreading
Tonping Liu, Charlie Curtsinger, Emery Berger; 2011

11.01.2012

Cells: A Virtual Mobile Smartphone Architecture
Jeremy Andrus, Christoffer Dall, Alex Van't Hof, Oren Laadan, Jason Nieh; 2011

04.01.2012

Feature Consistency in Compile-Time–Configurable System Software Facing the Linux 10,000 Feature Problem
Reinhard Tartler, Daniel Lohmann, Julio Sincero, Wolfgang Schröder-Preikschat; 2010

14.12.2011

NV-Heaps: Making Persistent Objects Fast and Safe with Next-Generation, Non-Volatile Memories
Joel Coburn, Adrian M. Caulfield, Ameen Akel, Laura M. Grupp, Rajesh K. Gupta, Ranjit Jhala, Steven Swanson; 2011

07.12.2011

Y-Branches: When You Come to a Fork in the Road, Take It
Nicholas Wang, Michael Fertig, Sanjay Patel; 2003

30.11.2011

Dark Silicon and the End of Multicore Scaling
H. Esmaeilzadeh, E. Blem, R. St. Amant, K. Sankaralingam, D. Burger;

23.11.2011

Energy Management in Mobile Devices with the Cinder Operating System
Arjun Roy, Stephen M. Rumble, Ryan Stutsman, Philip Levis, David Mazières, Nickolai Zeldovich; 2011

09.11.2011

What is a file?
Richard Harper, Eno Thereska, Siân Lindley, Richard Banks, Phil Gosset, William Odom, Gavin Smyth, Eryn Whitworth; 2011

02.11.2011

Orchestra: Intrusion Detection Using Parallel Execution and Monitoring of Program Variants in User-Space
B. Salamat, T. Jackson, A. Gal, M. Franz; 2009

19.10.2011

Breaking Up is Hard to Do: Security and Functionality in a Commodity Hypervisor
Patrick Colp et al.; 2011

12.10.2011

Faults in Linux: Ten Years Later
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall, Gilles Muller; 2011

05.10.2011

Self-tuning Schedulers for Legacy Real-Time Applications
Tommaso Cucinotta, Fabio Checconi, Luca Abeni, Luigi Palopoli; 2010

21.09.2011

Rethinking the library OS from the top down
Donald E. Porter, Silas Boyd-Wickizer, Jon Howell, Reuben Olinsky, Galen C. Hunt; 2011

14.09.2011

Autonomous Storage Management for Personal Devices with PodBase
Ansley Post, Juan Navarro, Petr Kuznetsov, Peter Druschel; 2011

07.09.2011

X10: An Object-Oriented Approach to Non-Uniform Cluster Computing
Philippe Charles et al.; 2005

31.08.2011

System Noise, OS Clock Ticks, and Fine-Grained Parallel Applications
Tsafrir, Etsion, Feitelson, Kirkpatrick; 2005

03.08.2011

Understanding the Propagation of Hard Errors to Software and Implications for Resilient System Design
M. Li, P. Ramachandran, S. Sahoo, S. Adve, V. Adve, Y. Zhou; 2008

27.07.2011

What does control theory bring to systems research?
X. Zhu, M. Uysal, Z. Wang, S. Singhal, A. Merchant, P. Padala, K. Shin; 2009

22.07.2011

Synthesizing Concurrent Schedulers for Irregular Algorithms
Donald Nguyen, Keshav Pingali ; 2011

13.07.2011

Exception-Less System Calls for Event-Driven Servers
Livio Soares, Michael Stumm; 2011

06.07.2011

Hints for Computer System Design
Butler W. Lampson; 1983

29.06.2011

Energy-aware adaptation for mobile applications
J. Flinn, M. Satyanarayanan; 1999

22.06.2011

Improving File System Reliability with I/O Shepherding
Haryadi S. Gunawi et al.; 2007

08.06.2011

The Protection of Information in Computer Systems
J.H. Saltzer, M.D. Schröder; 1975

01.06.2011

The cathedral and the bazaar
Eric S. Raymond; 1996

25.05.2011

Balancing power consumption in multiprocessor systems
A. Merkel, F. Bellosa; 2006

18.05.2011

Using likely program invariants to detect hardware errors
S. Sahoo, M. Li, P. Ramachandran, S. Adve, V. Adve, Y. Zhou; 2008

11.05.2011

Scheduling Threads for Constructive Cache Sharing on CMPs
Shimin Chen et al.; 2007

04.05.2011

A runtime system for software lock elision
A. Roy, S. Hand; 2009

27.04.2011

An empirical investigation of fault types in space mission system software
M. Grottke, A. Nikora, K. Trivedi; 2010

20.04.2011

Why software hangs and what can be done with it
Xiang Song; Haibo Chen; Binyu Zang; 2010

13.04.2011

Compiling for EDGE Architectures
Aaron Smith, Jon Gibson, Bertrand Maher, Nick Nethercote, Bill Yoder, Doug Burger, Kathryn S. McKinle, Jim Burrill.; 2006

06.04.2011

Depot: cloud storage with minimal trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, Michae Walfish; 2010

23.03.2011

Effective data-race detection for the kernel
J. Erickson et al.; 2010

16.03.2011

The Landscape of Parallel Computing Research: A View from Berkeley some "rather unknown"
David A. Patterson et al.; 2006

09.03.2011

Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory
P. McKenney, M. Michael, J. Triplett, J. Walpole; 2010

02.03.2011

Software Techniques to Improve Virtualized I/O Performance on Multi-Core Systems
G. Loao, D. Guo, L. Bhuyan, S. King; 2008

23.02.2011

Retaining Sandbox Containment Despite Bugs in Privileged Memory-Safe Code
J. Cappos et al.; 2010

16.02.2011

A Clean-Slate Look at Disk Scrubbing
Alina Oprea, Ari Juels; 2010

09.02.2011

Addressing Shared Resource Contention in Multicore Processors via Scheduling
Sergey Zhuravlev, Sergey Blagodurov, Alexandra Fedorova; 2010

02.02.2011

Checking Process-Oriented Operating System Behaviour using CSP and Refinement
F. M. Barnes; 2009

26.01.2011

Solving the starting problem: Device Drivers as self-describing artifacts
M. Spear, T. Roeder, O. Hodson, G. Hunt, S. Levi; 2006

19.01.2011

Pin: building customized program analysis tools with dynamic instrumentation
Luk et al.; 2005

12.01.2011

Polaris: Virus Safe Computing for Windows XP
Marc Stiegler, Alan H. Karp, Ka-Ping Yee, Mark Miller; 2006

05.01.2011

Two memory allocators that use hints to improve locality
Alin Jula, Lawrence Rauchwerger; 2009

15.12.2010

Dynamo: Amazon's Highly Available Key-Value Store
Guiseppe DeCandia et al.; 2007

08.12.2010

ECOSystem: Managing energy as a first-class operating system resource
H. Zeng, C. Ellis, A. Lebeck, A. Vahdat; 2002

01.12.2010

Eight friends are enough: social graph approximation via public listings
Joseph Bonneau, Jonathan Anderson, Ross Anderson, Frank Stajano; 2009

24.11.2010

The Design and Implementation of a Log-Structured File System
Mendel Rosenblum, John K. Ousterhout; 1991

10.11.2010

Dynamic Voltage and Frequency Scaling: The Laws of Diminishing Returns
Etienne Le Sueur, Gernot Heiser; 2010

03.11.2010

DP-FAIR: A Simple Model for Understanding Optimal Multiprocessor Scheduling
Levin, G., Funk, S., Sadowski, C., Pye, I., Brandt, S.; 2010

27.10.2010

Efficient System-Enforced Deterministic Parallelism
Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford; 2010

20.10.2010

Return-Oriented Programming without Returns
S. Checkoway, L. Davi, A. Dmitrienko, A. Sadeghi, H. Shacham, M. Winandy; 2010

13.10.2010

Special Issue: I 0wn the NIC, now I want a shell
Arrigo Triulzi; 2008

15.09.2010

A Survey of Hard Real-Time Scheduling Algorithms and Schedulability Analysis Techniques for Multiprocessor Systems
R.I. Davis, A. Burns; 2009

08.09.2010

Defeating Return-Oriented Rootkits With "Return-less" Kernels
J. Li et al.; 2010

01.09.2010

Speculative execution in a distributed file system
E.B. Nightingale, Peter Chen, Jason Flinn; 2005

25.08.2010

Real-time synchronization protocols for multiprocessors
Rajkumar, Sha, Lehoczky; 1988

18.08.2010

PTLsim: A Cycle Accurate Full System x86-64 Microarchitectural Simulator
Matt T. Yourst; 2007

28.07.2010

Firefly: a multiprocessor workstation
C. Thacker; 1987

20.07.2010

EIO: Error Handling is Occassionally Correct
H. Gunawi, C. Rubio-Gonzalez, A. Arpaci-Dusseau; 2008

13.07.2010

Cooperative I/O - A Novel I/O Semantics for Energy-Aware Applications
Andreas Weißel, Björn Beutel, Frank Bellosa; 2002

06.07.2010

Protection in the BirliX Operating System
Oliver C. Kowalski, Hermann Härtig; 1990

29.06.2010

The Plight of the Targeted Attacker in a World of Scale
Cormac Herley; 2010

22.06.2010

Helios: Heterogeneous multiprocessing with satellite kernels
E. Nightingale, O. Hodson, R. McIlroy, C. Hawblitzel, G. Hunt; 2009

15.06.2010

The next 700 BFT protocols
R. Guerraoui, N. Knezevic, V. Quema, M. Vukolic; 2010

08.06.2010

Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems
S. Bhatia, A. Kumar, M. Fiuczynski, L. Peterson; 2008

02.06.2010

The Multikernel: A New OS Architecture for Scalable Multicore Systems
A. Baumann, P. Barham, E. Dagand, T. Harris, R. Isaacs, S. Peter, T. Roscoe, A. Schüpbach, A. Singhhnia; 2009

25.05.2010

VMKit: A Substrate for Managed Runtime Environments
N. Geoffray, G. Thomas, J. Lawall, G. Muller, B. Folliot; 2010

18.05.2010

Scalable I/O Virtualization via Self-Virtualizing Devices
Himanshu Raj, Ivan Ganev, Karsten Schwan, Jimi Xenidis; 2006

11.05.2010

Isolating web programs in modern browser architectures
C. Reis, S. Gribble; 2009

04.05.2010

Distributed shared memory: A survey of issues and algorithms
B. Nitzberg, V. Lo; 1991

27.04.2010

Native Client: A Sandbox for Portable, Untrusted x86 Native Code
B. Yee, D. Sehr, G. Dardyk, J. Bradley Chen, R. Muth, T. Ormandy, S. Okasaka, N. Narula, N. Fullagar; 2009

20.04.2010

Decoupling Contention Management from Scheduling
F. Ryan Johnson, Radu Stoica, Anastasia Ailamaki, Todd C. Mowry; 2010

31.03.2010

The Geometry of Innocent Flesh on the Bone: Return-into-libc without Function Calls (on the x86)
Hovav Shacham; 2007

10.03.2010

Membrane: Operating System Support for Restartable File Systems
Swaminathan Sundararaman, Sriram Subramanian, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Michael M. Swift; 2010

03.03.2010

Chip and PIN is broken
Steven J. Murdoch, Saar Drimer, Ross Anderson, Mike Bond; 2010

24.02.2010

Fast byte-granularity software fault isolation
Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black; 2009

17.02.2010

A case for redundant arrays of inexpensive disks (RAID)
David A. Patterson, Garth Gibson, Randy H. Katz; 1988

03.02.2010

Why Events Are A Bad Idea (for high-concurrency servers)
Rob von Behren, Jeremy Condit, Eric Brewer; 2003

27.01.2010

Samurai - Protecting Critical Data in Unsafe Languages
K. Pattabiraman, V. Grover, B. Zorn; 2008

20.01.2010

Right-Weight Kernels: an off-the-shelf alternative to custom Light-Weight Kernels
R. Minnich, M. Sottile, S. Choi, E. Hendriks, J. McKie; 2006

13.01.2010

So Long, And No Thanks for the Externalities: The Rational Rejection of Security Advice by Users
Cormac Herley; 2009

06.01.2010

Switchblade - Enforcing dynamic personalized system call models
C. Fetzer, M. Suesskraut; 2008

16.12.2009

Implementing fault-tolerant services using the state machine approach: a tutorial
Fred B. Schneider; 1990

09.12.2009

/* iComment: Bugs or Bad Comments? */
Lin Tan et al.; 2007

02.12.2009

The Google File System
S. Ghemawat; 2003

25.11.2009

Designing and Implementing Malicious Hardware
S. King, J. Tucek, A. Cozzie, C. Grier, W. Jiang, Y. Zhou; 2008

11.11.2009

Operating System Transactions
D. Porter, O. Hofmann, C. Rossbach, A. Benn, E. Witchel; 2009

04.11.2009

DRAM errors in the wild: A large-scale field study
B. Schroeder, E. Pinheiro, W.-D. Weber; 2009

28.10.2009

FAWN: A Fast Array of Wimpy Nodes
David G. Andersen et al.; 2009

21.10.2009

Fair and timely scheduling via cooperative polling
Charles Krasic et al.; 2009

14.10.2009

The increasing irrelevance of IPC performance for microkernel-based operating systems
Brian Bershad; 1992

22.09.2009

Mixed-Mode Multicore Reliability
Philip Wells, Koushik Chakraborty, UGuri Sohi; 2009

15.09.2009

Producing wrong data without doing anything obviously wrong!
T. Mytkowicz et al.; 2009

08.09.2009

Deadlock Immunity: Enabling Systems to Defend Against Deadlocks
Horatiu Jula, Daniel Tralamazza, Cristian Zamfir, George Candea; 2008

18.08.2009

A Real-Time HPC Approach for Optimizing Intel Multi-Core Architectures
Vrancic, Meisel; 2009

11.08.2009

Experiences with the Amoeba Distributed Operating System
A. Tanenbaum, R. v. Renesse, H. van Staveren, G. Sharp; 1990

04.08.2009

First-Aid: Surviving and Preventing Memory Management Bugs During Production Runs
Qi Gao, Wenbin Zhang, Yan Tang, Feng Qin; 2009

29.07.2009

Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software
J. Newsome, D. Song; 2005

14.07.2009

Koala: A platform for os-level power management
D. Snowdon, E. Le Sueur, M. Petters, G. Heiser; 2009

07.07.2009

Godson-3: A Scalable Multicore RISC Processor with x86 Emulation
W. Hu, J. Wang, X. Gao, Y. Chen, Q. Liu, G. Li; 2009

30.06.2009

Page Table Structures For Fine-Grain Virtual Memory
Jochen Liedtke; 1994

23.06.2009

A Precise Yet Efficient Memory Model For C
Ernie Cohen, Michał Moskal, Wolfram Schulte, Stephan Tobies; 2009

16.06.2009

JIT instrumentation - a novel approach to dynamically instrument operating systems
M. Olszewski, K. Mierle, A. Czajkowski, A. D. Brown; 2007

09.06.2009

MapReduce: Simplified Data Processing on Large Clusters
Jeffrey Dean, Sanjay Ghemawat; 2004

26.05.2009

Reconstructing I/O
K. Fraser, S. Hand, R. Neugebauer, I. Pratt, A. Warfield, M. Williamson; 2004

19.05.2009

Rethink the sync
E. Nightingale, K. Veeraraghavan, P. Chen, J. Flinn; 2006

12.05.2009

Finding and Reproducing Heisenbugs in Concurrent Programs
Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu; 2008

27.04.2009

Garbage Collection in an Uncooperative Environment
H.-J. Boehm, M. Weiser; 1988

21.04.2009

Recovery domains - an organizing principle for recoverable operating systems
A. Lenharth, V. Adve, S. King; 2009

14.04.2009

Microkernels Meet Recursive Virtual Machines
Bryan Ford, et al.; 1996

07.04.2009

Larrabee: a many-core x86 architecture for visual computing
L. Seiler, D. Carmean et al.; 2008

18.03.2009

A Practical Verification Methodology for Concurrent Programs
E. Cohen, M. Moskal, W. Schulte, S. Tobies; 2009

04.03.2009

CCured: Type-safe retrofitting of legacy code
G. Necula, S. McPeak, W. Weimer; 2002

25.02.2009

Have things changed now? - An empirical study of Bug Characteristics in Modern OSS
Z. Li, Li Tan, X. Wang, S. Lu, Y. Zhou, C. Zhai; 2006

11.02.2009

Transactional Flash
V. Prabhakaran, T. Rodeheffer, L. Zhou; 2008

04.02.2009

Container-based operating systems virtualization: A scalable, high performance alternative to hypervisors
S. Soltesz, H. Poetzl, M. Fiuczynski, A. Bavier, L. Peterson; 2007

28.01.2009

Threads cannot be implemented as a library
H. Boehm; 2005

21.01.2009

A virtual honeypot framework
Niels Provos; 2004

14.01.2009

Countering IPC Threats in Multiserver Operating Systems
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum; 2008

07.01.2009

Digging for Data Structures
Anthony Cozzie, Frank Stratton, Hui Xue, Samuel T. King; 2008

17.12.2008

Hardware Enforcement of Application Security Policies Using Tagged Memory
Nickolai Zeldovich, Hari Kannan, Michael Dalton, Christos Kozyrakis; 2008

10.12.2008

Documenting and automating collateral evolutions in Linux device drivers
Yoann Padioleau, Julia Lawall, René Rydhof Hansen, Gilles Muller; 2008

03.12.2008

Dealing with I/O Devices in the Context of Pervasive System Verification
Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul; 2005

26.11.2008

Understanding and Countering Insider Threats In Software Development
Michael Franz; 2007

12.11.2008

When Virtual Is Better Than Real
Peter M. Chen, Brian D. Noble; 2008

05.11.2008

Practical Byzantine Fault Tolerance
Miguel Castro, Barbara Liskov; 1999

29.10.2008

Vulnerabilities in synchronous IPC designs
Jonathan Shapiro; 2003

22.10.2008

eXplode: a Lightweight, General System for Finding Serious Storage System Errors
Junfeng Yang, Can Sar, Dawson Engler; 2006

15.10.2008

Configuration debugging as search: finding the needle in the haystack
Andrew Whitacker et al.; 2004

25.09.2008

Worst-Case Execution Time - A Tool Provider's Perspective
Christian Ferdinand, Reinhold Heckmann; 2008

18.09.2008

FS2: Dynamic Data Replication in Free Disk Space for Improving Disk Performance and Energy Consumption
Hai Huang, Wanda Hung, Kang G. Shin; 2005

11.09.2008

Program confinement in KVM/370
Marvin Schaefer, Barry Gold, Richard Linde, John Scheid; 1977

04.09.2008

Obfuscation of Executable Code to Improve Resistance to Static Disassembly
Cullen Linn, Saumya Debray; 2003

07.08.2008

Improving Xen security through disaggregation
Derek Murray, Grzegorz Milos, Steven Hand; 2008

22.07.2008

A Caching Model of Operating System Kernel Functionality
David R. Cheriton, Kenneth J. Duda; 1994

15.07.2008

Preventing memory error exploits with WIT
Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro; 2008

08.07.2008

Model-Carrying Code: A Practical Approach for Safe Execution of Untrusted Applications
R. Sekar, V.N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney; 2003

01.07.2008

Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines
J. LeVasseur, V. Uhlig, J. Stoess, S. Götz; 2004

24.06.2008

An Analysis of Data Corruption in the Storage Stack
Lakshmi N. Bairavasundaram, Garth R. Goodson, Bianca Schroeder, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau; 2008

17.06.2008

Vortex: an event-driven multiprocessor operating system supporting performance isolation
Åge Kvalnes, Dag Johansen, Audun Arnesen, Robbert van Renesse; 2003

10.06.2008

Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications
David Brumley, Pongsin Poosankam, Dawn Song, Jiang Zheng; 2008

03.06.2008

A Novel Processor Architecture With Exact Tag-Free Pointers
Matthias Meyer; 2003

27.05.2008

Valgrind - a Framework for heavyweight dynamic binary instrumentation
N. Nethercote, J. Seward; 2007

13.05.2008

Secure Web Applications via Automatic Partitioning
Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng; 2007

06.05.2008

Shredding Your Garbage: Reducing Data Lifetime Through Secure Deallocation
Jim Chow, Ben Pfaff, Tal Garfinkel, Mendel Rosenblum; 2005

29.04.2008

Causality Considerations in Distributed, Persistent Operating Systems
Francis Vaughan, Alan Dearle, Jiannong Cao, Rex di Bona, J. Matthew Farrow, Frans Henskens, Anders Lindstrüm, John Rosenberg; 1994

22.04.2008

Composable memory transactions
Tim Harris, Simon Marlow, Simon Peyton Jones, Maurice Herlihy; 2006

15.04.2008

GreenFS: Making Enterprise Computers Greener by Protecting Them Better
Nikolai Joukov, Josef Sipek; 2008

08.04.2008

Polaris: Usable Virus Protection for Windows
Ka-Ping Yee, Marc D. Stiegler, Alan H. Karp, Tyler Close, Mark S. Miller; 2005

26.03.2008

A Principled Approach to Operating System Construction in Haskell
Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach; 2005

19.03.2008

Scalability vs. Development Effort for Multiprocessor Operating System Kernels
Simon Kagström, Hakan Grahn, Lars Lundberg; 2007

12.03.2008

Thirty Seconds is Not Enough! A Study of Operating System Timer Usage
Simon Peter, Andrew Baumann, Timothy Roscoe, Paul Barham, Rebecca Isaacs; 2008

05.03.2008

Inside the Mac OS X Kernel
Lucy; 2007

27.02.2008

Construction of a Highly Dependable Operating System
Jon N. Herder, et al.; 2006

20.02.2008

Generalized File System Dependencies
Christopher Frost et al.; 2007

13.02.2008

Automatic Instruction-Level Software-Only Recovery
Jonathan Chang, et al.; 2006

06.02.2008

Alias Types
F. Smith, D. Walker, G. Morrisett; 2000

30.01.2008

The Mungi single-address-space operating system
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, Jochen Liedtke; 1998

23.01.2008

Analyzing integrity protection in the SELinux Example Policy
Trent Jaeger, Reiner Sailer, Xiaolan Zhang; 2003

16.01.2008

Thread Clustering: Sharing-Aware Scheduling on SMP-CMP-SMT Multiprocessors
David Tam, Reza Azimi, Michael Stumm; 2007

09.01.2008

CRAMM: Virtual Memory Support for Garbage-Collected Applications
Ting Yang, Emery D. Berger, Scott F. Kaplan, J. Eliot B. Moss; 2006

19.12.2007

Vigilante: End-to-End Containment of Internet Worms
M. Costa et al.; 2005

12.12.2007

Backwards-compatible array bounds checking for C with low overhead
Dinakar Dhurjati, Vikram Adve; 2006

05.12.2007

LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation
Chris Lattner, Vikram Adve; 2004

07.11.2007

Hoard: A Scalable Memory Allocator for Multithreaded Applications
Emery D. Berger, Kathryn S. McKinley, Robert D. Blumofe, Paul R. Wilson; 2000

24.10.2007

Formal Methods in the Robin project: Specification and verification of the Nova microhypervisor
Henrik Tews; 2007

29.08.2007

Information Flow Control for Standard OS Abstractions
Maxwell Krohn, Alexander Yip, Micah Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris; 2007

22.08.2007

Singularity: Rethinking the Software Stack
Galen C. Hunt; James R. Larus; 2007

15.08.2007

The Interaction of Architecture and Operating System Design
Thomas E. Anderson, Henry M. Levy, Brian N. Bershad, Edward D. Lazowska; 1991

08.08.2007

Safe kernel extensions without run-time checking
George C. Necula, Peter Lee; 1996

01.08.2007

Secure File System Versioning at the Block Level
Jake Wires, Michael J. Feeley; 2007

18.07.2007

Hype and Virtue
Timothy Roscoe, Kevin Elphinstone, Gernot Heiser; 2007

04.07.2007

Language-Based Information-Flow Security
Andrei Sabelfeld, Andrew C. Myers; 2003

20.06.2007

Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels
K. Makris, K. Ryu; 2007

13.06.2007

Melange: Creating a "functional" internet
A. Madhavapeddy, A. Ho, T. Deegan, D. Scott, R. Sohan; 2007

06.06.2007

TLSF: A New Dynamic Memory Allocator for Real-Time Systems
M. Masmano, I. Ripoll, A. Crespo, J. Real; 2004

30.05.2007

Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors
Kinshuk Govil, Dan Teodosiu, Yongqiang Huang, Mendel Rosenblum; 1999

23.05.2007

Designing a global name service
B. Lampson; 1986

09.05.2007

Operating System Support for Database Management
Michael Stonebraker; 1981

02.05.2007

Resource Containers: A New Facility for Resource Management in Server Systems
Gaurav Banga, Peter Druschel, Jeffrey C. Mogul; 1999

25.04.2007

Transfer of Information and Authority in a Protection System
Matt Bishop, Lawrence Snyder; 1979

18.04.2007

The Nucleus of a Multiprogramming System
P. Brinch Hansen; 1970

11.04.2007

Self-Paging in the Nemesis Operating System
Steven M. Hand; 1999

04.04.2007

Virtualizing I/O Devices on VMWare Workstation's Hosted Virtual Machine Monitor
Jeremy Sugerman, Ganesh Venkitachalam, Beng-Hong Lim; 2001

07.03.2007

Memory Resource Management in VMware ESX Server
Carl A. Waldspurger; 2002

21.02.2007

System security on the One Laptop per Child's XO laptop - The Bitfrost security platform
Ivan Krstic; 2007

14.02.2007

Where the Bugs Are
T.J. Ostrand, E.J. Weyuker, R.M. Bell; 2004

07.02.2007

User Interaction Design for Secure Systems
Ka-Ping Yee; 2002

31.01.2007

Informed Prefetching and Caching
R. Hugo Patterson, Garth A. Gibson, Eka Ginting, Daniel Stodolsky, Jim Zelenka; 1995

24.01.2007

CPU Inheritance Scheduling
Bryan Ford, Sia Susarla; 1996

17.01.2007

Microkernels Meet Recursive Virtual Machines
Bryan Ford, et al.; 1996

10.01.2007

HYDRA: the kernel of a multiprocessor operating system
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, F. Pollack; 1974

13.12.2006

Evaluating SFI for a CISC Architecture
Stephen McCamant, Greg Morrisett; 2006

06.12.2006

Protection and the control of information sharing in multics
Jerome H. Saltzer; 1974

30.11.2006

The Design and Implementation of an Operating System to Support Distributed Multimedia Applications
Ian Leslie, et al.; 1997

30.11.2006

The Pebble Component-Based Operating System
Eran Grabber et al.; 1999

01.11.2006

Application Performance and Flexibility on Exokernel Systems
M. Frans Kaashoek, Dawson R. Engler et. al.; 1997

01.11.2006

Reflections on an Operating System Design
Butler W. Lampson, Howard E. Sturgis; 1976