- Kevin
Elphinstone.
Future directions in the evolution of the l4 microkernel.
In Gerwin Klein, editor, Proc. NICTA workshop on OS verification 2004,
Technical Report 0401005T-1, Sydney, Australia, October 2004.
National ICT Australia.
(PDF, 133462 bytes)
- Kevin
Elphinstone and Stefan Götz.
Initial evaluation of a user-level device driver framework.
In P. Yew and J. Xue, editors, Advances in Computer Systems Architecture,
Proc. 9th Asia-Pacific Conference, ACSAC'04, Lecture Notes in Computer
Science, volume 3189, Beijing, China, September 2004.
(PDF, 163450 bytes)
- Andreas Haeberlen and Kevin Elphinstone.
User-level management of kernel memory.
In Advances in Computer System Architecture (Proc. ACSAC'03), Lecture
Notes in Computer Science, volume 2823. Springer-Verlag, October 2003.
(PDF, 160840 bytes)
- Mohit Aron, Jochen
Liedtke, Yoonho Park, Luke Deller, Kevin Elphinstone, and Trent Jaeger.
The SawMill framework for virtual memory diversity.
In Australasian Computer Systems Architecture Conference, Gold
Coast, Australia, January 2001. IEEE Computer Society Press.
(PDF, 57494 bytes)
- J. Liedtke,
U. Dannowski, K. Elphinstone, G. Liefländer, E. Skoglund, V. Uhlig,
C. Ceelen, A. Haeberlen, and M. Völp.
The L4Ka Vision.
Available: http://l4ka.org/, April 2001.
(PDF, 81378 bytes)
- A. Gefflaut,
T. Jaeger, Y. Park, J. Liedtke, K. Elphinstone, V. Uhlig, J.E. Tidswell,
L. Deller, and L. Reuther.
The SawMill multiserver approach.
In 9th SIGOPS European Workshop, Kolding, Denmark, September
2000.
- T. Jaeger, J.E.
Tidswell, A. Gefflaut, Y. Park, J. Liedtke, and K. Elphinstone.
Synchronous IPC over transparent monitors.
In 9th SIGOPS European Workshop, Kolding, Denmark, September
2000.
- J. Liedtke,
M. Völp, and K. Elphinstone.
Preliminary thoughts on memory-bus scheduling.
In 9th SIGOPS European Workshop, Kolding, Denmark, September
2000.
- K. Elphinstone, G. Heiser, and J. Liedtke.
Page tables for 64-bit computer systems.
In John Morris, editor, Australasian Computer Architecture
Conference, Auckland New Zealand, January 1999. Springer Verlag,
Singapore.
- Trent Jaeger, Kevin
Elphinstone, Jochen Liedtke, Vsevolod Panteleenko, and Yoonho Park.
Flexible access control using IPC redirection.
In 7th Workshop on Hot Topics in Operating Systems, Rio Rico,
Arizona, March 1999.
- J. Liedtke,
V. Uhlig, K. Elphinstone, T. Jaeger, and Y. Park.
How to schedule unlimited memory pinning of untrusted processes or provisional
ideas about service-neutrality.
In 7th Workshop on Hot Topics in Operating Systems, Rio Rico,
Arizona, March 1999.
- Gernot Heiser, Kevin
Elphinstone, Jerry Vochteloo, Stephen Russell, and Jochen Liedtke.
The Mungi single-address-space operating system.
Software Practice and Experience, 28(9), July 1998.
- K. Elphinstone, G. Heiser, and J. Liedtke.
L4 reference manual – MIPS R4x00, version 1.0, kernel version 70.
Technical Report UNSW-CSE-TR-9709, School of Computer Science and Engineering,
University of New South Wales, 1997.
- K. Elphinstone, S. Russell, G. Heiser, and J. Liedtke.
Supporting persistent object systems in a single address space.
In Proc. 7th Int'l Workshop on Persistent Object Systems, Cape
May, 1997.
- G. Heiser,
J. Vochteloo, K. Elphinstone, and S. Russell.
The Mungi kernel API, release 1.0.
Technical Report UNSW-CSE-TR-9701, School of Computer Science and Engineering,
University of New South Wales, 1997.
- Jochen Liedtke,
Kevin Elphinstone, Sebastian Schönberg, Hermann Härtig, Gernot
Heiser, Nayeem Islam, and Trent Jaeger.
Achieved IPC performance.
In 6th Workshop on Hot Topics in Operating Systems (HotOS),
Chatham, Massachusetts, May 1997.
- J. Liedtke and K. Elphinstone.
Guarded page tables on the MIPS R4600 or an exercise in
architecture-dependent micro optimization.
Operating Systems Review, January 1996.
- Jerry
Vochteloo, Kevin Elphinstone, Stephen Russell, and Gernot Heiser.
Protection domain extensions in Mungi.
In Proc. 5th Int'l Workshop on Object Orientation in Operating
Systems, Seattle, WA, USA, October 1996.
- Jochen
Liedtke and Kevin Elphinstone.
Guarded page tables on the MIPS R4600.
Technical Report UNSW-CSE-TR-9503, School of Computer Science and Engineering,
University of New South Wales, November 1995.
- Kevin
Elphinstone, Stephen Russell, and Gernot Heiser.
Issues in implementing virtual memory.
Technical Report UNSW-CSE-TR-9411, Shool of Computer Science and Engineering,
University of New South Wales, 1994.
- G. Heiser,
K. Elphinstone, S. Russell, and J. Vochteloo.
Mungi: A distributed single address-space operating system.
In Proc. 17th Australasian Computer Science Conference,
Christchurch, New Zealand, January 1994.
- Kevin Elphinstone.
Address space management issues in the Mungi operating system.
Technical Report 9312, School of Computer Science and Engineering, University
of New South Wales, November 1993.
- G. Heiser,
K. Elphinstone, S. Russell, and G. Hellestrand.
A distributed single address-space operating system supporting persistence.
Technical Report UNSW-CSE-TR-9302, School of Computer Science and Engineering,
University of New South Wales, March 1993.
- S. Russell,
A. Skea, K. Elphinstone, G. Heiser, K. Burston, I. Gorton, and
G. Hellestrand.
Distribution + Persistence = Global Virtual Memory.
In Proc. Int'l Workshop on Object Orientation in Operating
Systems, Dourdan, France, 1992. IEEE.