|
Paper Reading Group - Previously Read PapersThis site lists papers, we already read within this seminar. For some old presentation slides, have a look in here 15.05.2013Neuroscience Meets Cryptography: Designing Crypto Primitives Secure Against Rubber Hose Attacks 08.05.2013Power containers: an OS facility for fine-grained power and energy management on multicore servers 24.04.2013Region Scheduling: Efficiently Using the Cache Architectures via Page-level Affinity 17.04.2013A package for OpenCL based heterogeneous computing on clusters with many GPU devices 10.04.2013RadixVM: Scalable address spaces for multithreaded applications 20.03.2013Conversion: Multi-version concurrency control for main memory segments 27.02.2013Horus: Fine-Grained Encryption-Based Security for Large-Scale Storage 20.02.2013The Multikernel: A New OS Architecture for Scalable Multicore Systems 06.02.2013Inter-core Prefetching for Multicore Processors Using Migrating Helper Threads 30.01.2013Detection and Correction of Silent Data Corruption for Large-Scale High-Performance Computing 16.01.2013Understanding Checkpointing Overheads on Massive-Scale Systems: Analysis of the IBM Blue Gene/P System 09.01.2013Ksplice: automatic rebootless kernel updates 12.12.2012Stable Deterministic Multithreading Through Schedule Memoization 05.12.2012Otherworld -- giving applications a chance to survive OS kernel crashes 28.11.2012Rump File Systems: Kernel Code Reborn 07.11.2012The Case for RAMCloud 24.10.2012Factored Operating Systems (fos): The Case for a Scalable Operating System for Multicores 17.10.2012PTask: Operating System Abstractions To Manage GPUs as Compute Devices 19.09.2012Architectural Support for Operating System-Drivern CMP Cache Management 12.09.2012Efficient Program Scheduling for Heterogeneous Multi-core Processors 05.09.2012Hybrid Binary Rewriting for Memory Access Instrumentation 29.08.2012CuriOS: Improving Reliability through Operating System Structure 22.08.2012Execution Migration in a Heterogeneous-ISA Chip Multiprocessor 15.08.2012For Extreme Parallelism, Your OS Is Sooooo Last-Millennium 08.08.2012Keep Net Working - On a dependable and fast networking stack 01.08.2012Dynamic Knobs for Responsive Power-Aware Computing 25.07.2012Cloud Terminal: Secure Access to Sensitive Applications from Untrusted Systems 18.07.2012Inconsistency Robustness for Scalability in Interactive Concurrent‑Update In-Memory MOLAP Cubes 11.07.2012The UNIX Time-Sharing System 04.07.2012Scheduling Strategies for Optimistic Parallel Execution of Irregular Programs 27.06.2012Learning from mistakes - a comprehensive study on real world concurrency bug characteristics 20.06.2012Recovering Device Drivers 06.06.2012Welcome to the Parallel Jungle! 30.05.2012Jettison: Efficient Idle Desktop Consolidation with Partial VM Migration 23.05.2012Windows XP kernel crash analysis 16.05.2012Accent: A communication oriented network operating system kernel 09.05.2012Fine-Grained Power Modeling for Smartphones Using System Call Tracing 02.05.2012PeerReview: Practical Accountability for Distributed
Systems 25.04.2012KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs 18.04.2012Operating Systems Challenges for GPU Resource Management 11.04.2012Virtualization Challenges: A view from the server consolidation perspective 04.04.2012Thread Motion: Fine-Grained Power Management for Multi-Core Systems 28.03.2012Aikido: Accelerating Shared Data Dynamic Analyses 07.03.2012Consistency Without Ordering 15.02.2012seL4 Enforces Integrity 08.02.2012Borrowed-Virtual-Time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose scheduler 01.02.2012NonStop advanced architecture 25.01.2012RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor 21.01.2013VALE, a Switched Ethernet for Virtual Machines 18.01.2012DThreads: Efficient Deterministic Multithreading 11.01.2012Cells: A Virtual Mobile Smartphone Architecture 04.01.2012Feature Consistency in Compile-Time–Configurable System Software Facing the Linux 10,000 Feature Problem 14.12.2011NV-Heaps: Making Persistent Objects Fast and Safe with Next-Generation, Non-Volatile Memories 07.12.2011Y-Branches: When You Come to a Fork in the Road, Take It 30.11.2011Dark Silicon and the End of Multicore Scaling 23.11.2011Energy Management in Mobile Devices with the Cinder Operating System 09.11.2011What is a file? 02.11.2011Orchestra: Intrusion Detection Using Parallel Execution and Monitoring of Program Variants in User-Space 19.10.2011Breaking Up is Hard to Do: Security and Functionality in a Commodity Hypervisor 12.10.2011Faults in Linux: Ten Years Later 5.10.2011Self-tuning Schedulers for Legacy Real-Time Applications 21.09.2011Rethinking the library OS from the top down 14.09.2011Autonomous Storage Management for Personal Devices with PodBase 07.09.2011X10: An Object-Oriented Approach to Non-Uniform Cluster Computing 31.08.2011System Noise, OS Clock Ticks, and Fine-Grained Parallel Applications 03.08.2011Understanding the Propagation of Hard Errors to Software and Implications for Resilient System Design 27.07.2011What does control theory bring to systems research? 20.07.2011Synthesizing Concurrent Schedulers for Irregular Algorithms 13.07.2011Exception-Less System Calls for Event-Driven Servers 06.07.2011Hints for Computer System Design 29.06.2011Energy-aware adaptation for mobile applications 22.06.2011Improving File System Reliability with I/O Shepherding 08.06.2011The Protection of Information in Computer Systems 01.06.2011The cathedral and the bazaar 25.05.2011Balancing power consumption in multiprocessor systems 18.05.2011Using likely program invariants to detect hardware errors 11.05.2011Scheduling Threads for Constructive Cache Sharing on CMPs 04.05.2011A runtime system for software lock elision 27.04.2011An empirical investigation of fault types in space mission system software 20.04.2011Why software hangs and what can be done with it 13.04.2011Compiling for EDGE Architectures 06.04.2011Depot: cloud storage with minimal trust 23.03.2011Effective data-race detection for the kernel 26.03.2011The Landscape of Parallel Computing Research: A View from Berkeley some "rather unknown" 09.03.2011Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory 02.03.2011Software Techniques to Improve Virtualized I/O Performance on Multi-Core Systems 23.02.2011Retaining Sandbox Containment Despite Bugs in Privileged Memory-Safe Code 16.02.2011A Clean-Slate Look at Disk Scrubbing 09.02.2011Addressing Shared Resource Contention in Multicore Processors via Scheduling 02.02.2011Checking Process-Oriented Operating System Behaviour using CSP and Refinement 26.01.2011Solving the starting problem: Device Drivers as self-describing artifacts 19.01.2011Pin: building customized program analysis tools with dynamic instrumentation 12.01.2011Polaris: Virus Safe Computing for Windows XP 05.01.2011Two memory allocators that use hints to improve locality 15.12.2010Dynamo: Amazon's Highly Available Key-Value Store 08.12.2010ECOSystem: Managing energy as a first-class operating system resource 01.12.2010Eight friends are enough: social graph approximation via public listings 24.11.2010The Design and Implementation of a Log-Structured File System 10.11.2010Dynamic Voltage and Frequency Scaling: The Laws of Diminishing Returns 03.11.2010DP-FAIR: A Simple Model for Understanding Optimal Multiprocessor Scheduling 27.10.2010Efficient System-Enforced Deterministic Parallelism 20.10.2010Return-Oriented Programming without Returns 13.10.2010Special Issue: I 0wn the NIC, now I want a shell 15.09.2010A Survey of Hard Real-Time Scheduling Algorithms and Schedulability Analysis Techniques for Multiprocessor Systems 08.09.2010Defeating Return-Oriented Rootkits With "Return-less" Kernels 01.09.2010Speculative execution in a distributed file system 25.08.2010Real-time synchronization protocols for multiprocessors 18.08.2010PTLsim: A Cycle Accurate Full System x86-64 Microarchitectural Simulator 28.07.2010Firefly: a multiprocessor workstation 20.07.2010EIO: Error Handling is Occassionally Correct 13.07.2010Cooperative I/O - A Novel I/O Semantics for Energy-Aware Applications 06.07.2010Protection in the BirliX Operating System 29.06.2010The Plight of the Targeted Attacker in a World of Scale 22.06.2010Helios: Heterogeneous multiprocessing with satellite kernels 15.06.2010The next 700 BFT protocols 08.06.2010Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems 02.06.2010The Multikernel: A New OS Architecture for Scalable Multicore Systems 25.05.2010VMKit: A Substrate for Managed Runtime Environments 18.05.2010Scalable I/O Virtualization via Self-Virtualizing Devices 11.05.2010Isolating web programs in modern browser architectures 04.05.2010Distributed shared memory: A survey of issues and algorithms 27.04.2010Native Client: A Sandbox for Portable, Untrusted x86 Native Code 20.04.2010Decoupling Contention Management from Scheduling 31.03.2010The Geometry of Innocent Flesh on the Bone: Return-into-libc without Function Calls (on the x86) 10.03.2010Membrane: Operating System Support for Restartable File Systems 03.03.2010Chip and PIN is broken 24.02.2010Fast byte-granularity software fault isolation 17.02.2010A case for redundant arrays of inexpensive disks (RAID) 03.02.2010Why Events Are A Bad Idea (for high-concurrency servers) 27.01.2010Samurai - Protecting Critical Data in Unsafe Languages 20.01.2010Right-Weight Kernels: an off-the-shelf alternative to custom Light-Weight Kernels 13.01.2010So Long, And No Thanks for the Externalities: The Rational Rejection of Security Advice by Users 06.01.2010Switchblade - Enforcing dynamic personalized system call models 16.12.2009Implementing fault-tolerant services using the state machine approach: a tutorial 09.12.2009/* iComment: Bugs or Bad Comments? */ 02.12.2009The Google File System 25.11.2009Designing and Implementing Malicious Hardware 11.11.2009Operating System Transactions 04.11.2009DRAM errors in the wild: A large-scale field study 28.10.2009FAWN: A Fast Array of Wimpy Nodes 21.10.2009Fair and timely scheduling via cooperative polling 14.10.2009The increasing irrelevance of IPC performance for microkernel-based operating systems 22.09.2009Mixed-Mode Multicore Reliability 15.09.2009Producing wrong data without doing anything obviously wrong! 08.09.2009Deadlock Immunity: Enabling Systems to Defend Against Deadlocks 18.08.2009A Real-Time HPC Approach for Optimizing Intel Multi-Core Architectures 11.08.2009Experiences with the Amoeba Distributed Operating System 04.08.2009 First-Aid: Surviving and Preventing Memory Management Bugs During Production Runs 29.07.2009Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software 14.07.2009Koala: A platform for os-level power management 07.07.2009Godson-3: A Scalable Multicore RISC Processor with x86 Emulation 30.06.2009Page Table Structures For Fine-Grain Virtual Memory 23.06.2009A Precise Yet Efficient Memory Model For C 16.06.2009JIT instrumentation - a novel approach to dynamically instrument
operating systems 09.06.2009MapReduce: Simplified Data Processing on Large Clusters 26.05.2009Reconstructing I/O 19.05.2009Rethink the sync 12.05.2009Finding and Reproducing Heisenbugs in Concurrent Programs 28.04.2009Garbage Collection in an Uncooperative Environment 21.04.2009Recovery domains - an organizing principle for recoverable operating systems 14.04.2009Microkernels Meet Recursive Virtual Machines 07.04.2009Larrabee: a many-core x86 architecture for visual computing 18.03.2009A Practical Verification Methodology for Concurrent Programs 04.03.2009CCured: Type-safe retrofitting of legacy code 25.02.2009Have things changed now? - An empirical study of Bug Characteristics in Modern OSS 11.02.2009Transactional Flash 04.02.2009Container-based operating systems virtualization:
A scalable, high performance alternative to hypervisors 28.01.2009Threads cannot be implemented as a library 21.01.2009A virtual honeypot framework 14.01.2009Countering IPC Threats in Multiserver Operating Systems 07.01.2009Digging for Data Structures 17.12.2008Hardware Enforcement of Application Security Policies Using Tagged Memory 10.12.2008Documenting and automating collateral evolutions in Linux device drivers 03.12.2008Dealing with I/O Devices in the Context of Pervasive System Verification 26.11.2008Understanding and Countering Insider Threats In Software Development 12.11.2008When Virtual Is Better Than Real 05.11.2008Practical Byzantine Fault Tolerance 29.10.2008Vulnerabilities in synchronous IPC designs 22.10.2008eXplode: a Lightweight, General System for Finding
Serious Storage System Errors 15.10.2008Configuration debugging as search: finding the needle in the haystack 25.09.2008Worst-Case Execution Time - A Tool Provider's Perspective 18.09.2008FS2: Dynamic Data Replication in Free Disk Space for Improving Disk Performance and Energy Consumption 11.09.2008Program confinement in KVM/370 04.09.2008Obfuscation of Executable Code to Improve Resistance to Static Disassembly 07.08.2008Improving Xen security through disaggregation 22.07.2008A Caching Model of Operating System Kernel Functionality 15.07.2008Preventing memory error exploits with WIT 08.07.2008Model-Carrying Code: A Practical Approach for Safe Execution of Untrusted Applications 01.07.2008Unmodified Device Driver Reuse and Improved
System Dependability via Virtual Machines 24.06.2008An Analysis of Data Corruption in the Storage Stack 17.06.2008Vortex: an event-driven multiprocessor operating system supporting performance isolation 10.06.2008Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications 03.06.2008A Novel Processor Architecture With Exact Tag-Free Pointers 27.05.2008Valgrind - a Framework for heavyweight dynamic
binary instrumentation 13.05.2008Secure Web Applications via Automatic Partitioning 06.05.2008Shredding Your Garbage: Reducing Data Lifetime Through Secure Deallocation 29.04.2008Causality Considerations in Distributed,
Persistent Operating Systems 22.04.2008Composable memory transactions 15.04.2008GreenFS: Making Enterprise Computers Greener by
Protecting Them Better 08.04.2008Polaris: Usable Virus Protection for Windows 26.03.2008A Principled Approach to Operating System
Construction in Haskell 19.03.2008Scalability vs. Development Effort for Multiprocessor
Operating System Kernels 12.03.2008Thirty Seconds is Not Enough! A Study of Operating
System Timer Usage 05.03.2008Inside the Mac OS X Kernel 27.02.2008Construction of a Highly Dependable Operating System 20.02.2008Generalized File System Dependencies 13.02.2008Automatic Instruction-Level Software-Only Recovery 06.02.2008Alias Types 30.01.2008The Mungi single-address-space operating system 23.01.2008Analyzing integrity protection in the SELinux Example Policy 16.01.2008Thread Clustering: Sharing-Aware Scheduling on SMP-CMP-SMT Multiprocessors 09.01.2008CRAMM: Virtual Memory Support for Garbage-Collected Applications 19.12.2007Vigilante: End-to-End Containment of Internet Worms 12.12.2007Backwards-compatible array bounds checking for C with low overhead 05.12.2007LLVM: A Compilation Framework for Lifelong Program
Analysis & Transformation 07.11.2007Hoard: A Scalable Memory Allocator for Multithreaded
Applications 24.10.2007Formal Methods in the Robin project: Specification
and verification of the Nova microhypervisor 29.08.2007Information Flow Control for Standard OS Abstractions 22.08.2007Singularity: Rethinking the Software Stack 15.08.2007The Interaction of Architecture and Operating System
Design 08.08.2007Safe kernel extensions without run-time checking 01.08.2007Secure File System Versioning at the Block Level 18.07.2007Hype and Virtue 04.07.2007Language-Based Information-Flow Security 20.06.2007Dynamic and adaptive updates of non-quiescent subsystems in
commodity operating system kernels 13.06.2007Melange: Creating a "functional" internet 06.06.2007TLSF: A New Dynamic Memory Allocator for Real-Time Systems 30.05.2007Cellular Disco: resource management using virtual clusters on
shared-memory multiprocessors 23.05.2007Designing a global name service 16.05.2007Operating System Support for Database Management 09.05.2007Resource Containers: A New Facility for Resource Management
in Server Systems 25.04.2007Transfer of Information and Authority in a Protection System 18.04.2007The Nucleus of a Multiprogramming System 11.04.2007Self-Paging in the Nemesis Operating System 04.04.2007Virtualizing I/O Devices on VMWare Workstation's Hosted Virtual
Machine Monitor 07.03.2007Memory Resource Management in VMware ESX Server 21.02.2007System security on the One Laptop per Child's XO laptop -
The Bitfrost security platform 14.02.2007Where the Bugs Are 07.02.2007User Interaction Design for Secure Systems 31.01.2007Informed Prefetching and Caching 24.01.2007CPU Inheritance Scheduling 17.01.2007Microkernels Meet Recursive Virtual Machines 10.01.2007HYDRA: the kernel of a multiprocessor operating system 13.12.2006Evaluating SFI for a CISC Architecture 06.12.2006Protection and the control of information sharing in multics 30.11.2006The Design and Implementation of an Operating System to
Support Distributed Multimedia Applications 30.11.2006The Pebble Component-Based Operating System 01.11.2006Application Performance and Flexibility on Exokernel Systems 01.11.2006Reflections on an Operating System Design |
Contact
Dipl.-Inf.
Björn Döbel Phone: 463 38799 Fax: 463 38284  e-mail contact formRegulations
Time and Place
Mailing List
|
