http://i30www.ira.uka.de/research/publications/l4ka/index.php?year=2008&lid=en#year2008
| L4Ka Publications |
 |
|
|
2007
|
|
Towards
Fast and Portable Microkernels
Uwe Dannowski
Dissertation, Fakultät für Informatik, Universität Karlsruhe, 12.
Dezember 2007
|
|
[pdf]
[bib]
|
Towards
Effective User-Controlled Scheduling for Microkernel-Based Systems
Jan Stoess
ACM SIGOPS Operating System Review, Special Topics on Secure
Small-Kernel
Systems, July 2007
|
|
[pdf]
[bib]
|
Energy
Management for Hypervisor-Based Virtual Machines
Jan Stoess, Christian Lang, and Frank Bellosa
Proceedings of the 2007 USENIX Technical Conference, Santa Clara, CA,
June 17-22, 2007
|
|
[pdf]
[bib]
|
Automated
Object Layout Optimization in a Portable Microkernel
Uwe Dannowski
Proceedings of the MIKES 2007: First International Workshop on
MicroKernels for Embedded Systems, Sydney, Australia, January 16, 2007,
pp. 22-28
|
|
[pdf]
[bib]
|
L4-Based
Real Virtual Machines - An API Proposal
Sebastian Biemüller and Uwe Dannowski
Proceedings
of the MIKES 2007: First International Workshop on MicroKernels for
Embedded Systems, Sydney, Australia, January 16, 2007, pp. 36-42
|
|
[pdf]
[bib]
|
2006
|
|
Flexible,
Low-overhead Event Logging to Support Resource Scheduling
Jan Stoess and Volkmar Uhlig
12th
International Conference on Parallel and Distributed Systems
(ICPADS'06), Minneapolis, MN, July 12-15, 2006, Volume 2, pp. 115-120
|
|
[pdf]
[bib]
|
Pre-Virtualization:
Soft Layering for Virtual Machines
Joshua LeVasseur, Volkmar Uhlig, Matthew Chapman, Peter Chubb, Ben
Leslie, and Gernot Heiser
Technical Report 2006-15, Fakultät für Informatik, Universität
Karlsruhe, July 2006
|
|
[pdf]
[bib]
|
Energy-aware
Processor Management for Virtual Machines
Jan Stoess, Christian Lang, and Marcus Reinhardt
Poster session of 1st ACM SIGOPS EuroSys Conference, Leuven, Belgium,
April 20, 2006
|
|
[pdf]
[bib]
[abstract.pdf]
|
Are
virtual-machine monitors microkernels done right?
Gernot Heiser, Volkmar Uhlig, Joshua LeVasseur
ACM SIGOPS Operating Systems Review, Vol. 40, No. 1, pp. 95-99, January
2006
|
|
[pdf]
[bib]
|
2005
|
|
Pre-Virtualization:
Slashing the Cost of Virtualization
Joshua LeVasseur, Volkmar Uhlig, Matthew Chapman, Peter Chubb, Ben
Leslie, Gernot Heiser
Fakultät für Informatik, Universität Karlsruhe (TH), Technical Report
2005-30, November 2005
|
|
[pdf]
[bib]
|
Pre-Virtualization:
Uniting Two Worlds
Joshua LeVasseur, Volkmar Uhlig, Ben Leslie, Matthew Chapman and Gernot
Heiser
Poster session of 20th ACM Symposium on Operating Systems Principles
(SOSP-20), October 23-26, 2005, Brighton, United Kingdom
|
|
[pdf]
[bib]
|
Are
Virtual-Machine Monitors Microkernels Done Right?
Gernot Heiser, Volkmar Uhlig, Joshua LeVasseur
National ICT Australia, Technical Report, October 2005
|
|
[pdf]
[bib]
|
Scalability
of Microkernel-Based Systems
Volkmar Uhlig
Dissertation, Fakultät für Informatik, Universität Karlsruhe, 15. Juni
2005
|
|
[pdf]
[bib]
|
2004
|
|
Unmodified
Device Driver Reuse and Improved System Dependability via Virtual
Machines
Joshua LeVasseur, Volkmar Uhlig, Jan Stoess, and Stefan Götz
Proceedings
of the Sixth Symposium on Operating Systems Design and Implementation
(OSDI '04), December 6-8, 2004, San Francisco, CA
|
|
[pdf]
[bib]
|
A
Sledgehammer Approach to Reuse of Legacy Device Drivers
Joshua LeVasseur and Volkmar Uhlig
Proceedings of the 11th ACM SIGOPS European Workshop, September 19-22,
2004, Leuven, Belgium
|
|
[pdf]
[bib]
|
Managing
Code Complexity in a Portable Microkernel
Uwe Dannowski
Proceedings
of the ECOOP Workshop on Programming Languages and Operating Systems at
ECOOP 2004 (ECOOP-PLOS'04), June 15, 2004, Oslo, Norway
|
|
[pdf]
[bib]
|
Towards
Scalable Multiprocessor Virtual Machines
Volkmar Uhlig, Joshua LeVasseur, Espen Skoglund, and Uwe Dannowski
Proceedings of the 3rd Virtual Machine Research & Technology
Symposium (VM'04), May 6-7, 2004, San Jose, CA
|
|
[pdf]
[ps]
[bib]
|
2003
|
|
Flexible
and Scalable Virtual Machines
Volkmar Uhlig, Joshua LeVasseur, Espen Skoglund, and Uwe Dannowski
Poster session of 19th ACM Symposium on Operating Systems Principles
(SOSP-19), October 19-22, 2003, Bolton Landing, NY
|
|
[pdf]
[bib]
|
User-level
Management of Kernel Memory
Andreas Haeberlen and Kevin Elphinstone
Proceedings
of the Eighth Asia-Pacific Computer Systems Architecture Conference
(ACSAC'03), Aizu-Wakamatsu City, Japan, September 23-26, 2003
|
|
[pdf]
[ps]
[bib]
|
Implementation
of Fast Address-Space Switching and TLB Sharing on the StrongARM
Processor
Adam Wiggins, Harvey Tuch, Volkmar Uhlig, and Gernot Heiser
Proceedings
of the Eighth Asia-Pacific Computer Systems Architecture Conference
(ACSAC'03), Aizu-Wakamatsu City, Japan, September 23-26, 2003
|
|
[pdf]
[ps]
[bib]
|
2002
|
|
Performance
of Address-Space Multiplexing on the Pentium
Volkmar Uhlig, Uwe Dannowski, Espen Skoglund, Aandreas Haeberlen, and
Gernot Heiser
Interner Bericht 2002-1, Fakultät für Informatik, Universität Karlsruhe
|
|
[pdf]
[ps]
[bib]
|
2001
|
|
Lazy
Process Switching
Jochen Liedtke and Horst Wenske
Proceedings of the 8th Workshop on Hot Topics in Operating Systems
(HotOS-VIII), Elmau/Oberbayern, Germany, May 2001
|
|
[pdf]
[bib]
|
The
L4Ka Vision
Jochen
Liedtke, Uwe Dannowski, Kevin Elphinstone, Gerd Liefländer, Espen
Skoglund, Volkmar Uhlig, Christian Ceelen, Andreas Haeberlen, and
Marcus Völp
White Paper, April 2001
|
|
[pdf]
[ps]
[bib]
|
The
SawMill Framework for Virtual Memory Diversity
Mohit Aron, Luke Deller, Kevin Elphinstone, Trent Jaeger, Jochen
Liedtke, and Yoonho Park
Proceedings of the 6th Australasian Computer Systems Architecture
Conference (ACSAC 2001), Bond University, Gold Coast, Queensland,
January 29 - February 2, 2001
|
|
[pdf]
[ps]
[bib]
|
2000
|
|
Stub-Code
Performance is Becoming Important
Andreas Haeberlen, Jochen Liedtke, Yoonho Park, Lars Reuther, and
Volkmar Uhlig
Proceedings of the 1st Workshop on Industrial Experiences with Systems
Software (WIESS), San Diego, CA, October 2000
|
|
[pdf]
[ps]
[bib]
|
Preliminary
Thoughts On Memory-Bus Scheduling
Jochen Liedtke, Marcus Völp, and Kevin Elphinstone
Proceedings of the 9th SIGOPS European Workshop, Kolding, Denmark,
September 2000
|
|
[pdf]
[ps]
[bib]
|
The
SawMill Multiserver Approach
Alain
Gefflaut, Trent Jaeger, Yoonho Park, Jochen Liedtke, Kevin Elphinstone,
Volkmar Uhlig, Jonathan E. Tidswell, Luke Deller, and Lars Reuther
Proceedings of the 9th SIGOPS European Workshop, Kolding, Denmark,
September 2000
|
|
[pdf]
[bib]
|
Synchronous
IPC over Transparent Monitors
Trent Jaeger, Jonathan E. Tidswell, Alain Gefflaut, Yoonho Park, Jochen
Liedtke, and Kevin Elphinstone
Proceedings of the 9th SIGOPS European Workshop, Kolding, Denmark,
September 2000
|
|
[pdf]
[ps]
[bib]
|
Transparent
Orthogonal Checkpointing Through User-Level Pagers
Espen Skoglund, Christian Ceelen, and Jochen Liedtke
Proceedings of the 9th International Workshop on Persistent Object
Systems (POS9), Lillehammer, Norway, September 2000
|
|
[pdf]
[ps]
[bib]
|
1999
|
|
How
to Schedule Unlimited Memory Pinning of Untrusted Processes or
Provisional Ideas About Service-Neutrality
Jochen Liedtke, Volkmar Uhlig, Kevin Elphinstone, Trent Jaeger, and
Yoonho Park
Proceedings of the 7th Workshop on Hot Topics in Operating Systems
(HotOS-VII), Rio Rico, Arizona, March 29-30, 1999
|
|
[pdf]
[ps]
[bib]
|
Flexible
Access Control Using IPC Redirection
Trent. Jaeger, Kevin. Elphinstone, Jochen Liedtke, Vsevolod
Panteleenko, and Yoonho Park
Proceedings of the 7th Workshop on Hot Topics in Operating Systems
(HotOS-VII), Rio Rico, Arizona, March 29-30, 1999
|
|
[pdf]
[ps]
[bib]
|
1998
|
|
A
Security Architecture for Component-Based Operating Systems
Trent Jaeger, Nayeem Islam, Jochen Liedtke, Vsevolod Panteleenko, and
Yoonho Park
Proceedings of the 8th ACM SIGOPS European Workshop, Sintra, Portugal,
September 1998
|
|
[pdf]
[ps]
[bib]
|
An
Unconventional Proposal: Using the x86 Architecture As --The Ubiquitous
Virtual Standard Architecture--
Jochen Liedtke, Nayeem Islam, Trent Jaeger, Vsevolod Panteleenko, and
Yoonho Park
Proceedings of the 8th ACM SIGOPS European Workshop, Sintra, Portugal,
September 1998
|
|
[pdf]
[ps]
[bib]
|
Irreproducible
Benchmarks Might Be Sometimes Helpful
Jochen Liedtke, Nayeem Islam, Trent Jaeger, Vsevolod Panteleenko, and
Yoonho Park
Proceedings of the 8th ACM SIGOPS European Workshop, Sintra, Portugal,
September 1998
|
|
[pdf]
[ps]
[bib]
|
High-Performance
Caching With The Lava Hit-Server
Jochen Liedtke, Vsevolod Panteleenko, Trent Jaeger, and Nayeem Islam
Proceedings of the USENIX 1998 Annual Technical Conference, New
Orleans, Lousiana, June 15-19 1998
|
|
[pdf]
[ps]
[bib]
|
Operating
System Protection for Fine-Grained Programs
Trent Jaeger, Jochen Liedtke, and Nayeem Islam
Proceedings of the 7th USENIX Security Symposium, San Antonio, TX,
January 1998
|
|
[pdf]
[ps]
[bib]
|
1997
|
|
A
Role-based Access Control Model for Protection Domain Derivation and
Management
Trent Jaeger, Frederique Giraud, Nayeem Islam, and Jochen Liedtke
2nd ACM Role-based Access Control Workshop, Fairfax, VA, November 1997
|
|
[pdf]
[ps]
[bib]
|
The
Performance of µ-Kernel-Based Systems
Hermann Härtig, Michael Hohmuth, Jochen Liedtke, Sebastian Schönberg,
and Jean Wolter
Proceedings of the 16th ACM Symposium on Operating System Principles
(SOSP), St. Malo, France, October 1997
|
|
[pdf]
[ps]
[bib]
|
OS-Controlled
Cache Predictability for Real-Time Systems
Jochen Liedtke, Hermann Härtig, and Michael Hohmuth
Proceedings of the 3rd IEEE Real-time Technology and Applications
Symposium (RTAS), Montreal, Canada, June 1997
|
|
[pdf]
[ps]
[bib]
|
Achieved
IPC Performance (Still The Foundation For Extensibility)
Jochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Hermann Härtig,
Gernot Heiser, Nayeem Islam, and Trent Jaeger
Proceedings of the 6th Workshop on Hot Topics in Operating Systems
(HotOS), Chatham (Cape Code), MA, May 1997
|
|
[pdf]
[ps]
[bib]
|
Preventing
Denial-of-Service Attacks on a µ-Kernel for WebOSes
Jochen Liedtke, Nayeem Islam, and Trent Jaeger
Proceedings of the 6th Workshop on Hot Topics in Operating Systems
(HotOS), Chatham (Cape Code), MA, May 1997
|
|
[pdf]
[ps]
[bib]
|
1996
|
|
µ-Kernels
Must And Can Be Small
Jochen Liedtke
Proceedings of the 5th IEEE International Workshop on
Object-Orientation in Operating Systems (IWOOOS), Seattle, WA, October
1996
|
|
[pdf]
[ps]
[bib]
|
Caches
Versus Object Allocation
Jochen Liedtke
Proceedings
of the 5th IEEE International Workshop on Object-Orientation in
Operating Systems (IWOOOS), Seattle, WA, October 1996
|
|
[pdf]
[ps]
[bib]
|
Toward
Real µ-kernels
Jochen Liedtke
Communications of the ACM, 39(9), pp. 70-77, September 1996
|
|
[pdf]
[ps]
[bib]
|
1995
|
|
On
µ-Kernel Construction
Jochen Liedtke
Proceedings of the 15th ACM Symposium on Operating System Principles
(SOSP), Copper Mountain Resort, CO, December 1995
|
|
[pdf]
[ps]
[bib]
|
Improved
Address-Space Switching on Pentium Processors by Transparently
Multiplexing User Address Spaces
Jochen Liedtke
GMD Technical Report No. 933, November 1995
|
|
[pdf]
[ps]
[bib]
|
A
Short Note on Cheap Fine-grained Time Measurement
Jochen Liedtke
ACM Operating Systems Review, Vol. 29, No. 3, pp. 31-34, July 1995
|
|
[pdf]
[ps]
[bib]
|
1993
|
|
Improving
IPC by Kernel Design
Jochen Liedtke
Proceedings of the 14th ACM Symposium on Operating System Principles
(SOSP), Asheville, NC, December 1993
|
|
[pdf]
[ps]
[bib]
|
Lazy
Context Switching Algorithms for Sparc-like Processors
Jochen Liedtke
GMD Technical Report No. 776, September 1993
|
|
[pdf]
[ps]
[bib]
|
|
