- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c19 |      | Tudor-Ioan Salomie, Gustavo Alonso, Timothy Roscoe, Kevin Elphinstone: Application level ballooning for efficient server consolidation. EuroSys 2013: 337-350 |
| 2012 | ||
| c18 | | Stefan M. Petters, Kevin Elphinstone, Gernot Heiser: Trustworthy Real-Time Systems. Advances in Real-Time Systems 2012: 191-206 |
| 2010 | ||
| j5 | | Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood: seL4: formal verification of an operating-system kernel. Commun. ACM 53(6): 107-115 (2010) |
| 2009 | ||
| c17 | | Gerwin Klein, Philip Derrin, Kevin Elphinstone: Experience report: seL4: formally verifying a high-performance microkernel. ICFP 2009: 91-96 |
| c16 | | Stefan M. Petters, Martin Lawitzky, Ryan Heffernan, Kevin Elphinstone: Towards Real Multi-criticality Scheduling. RTCSA 2009: 155-164 |
| c15 | | 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: seL4: formal verification of an OS kernel. SOSP 2009: 207-220 |
| 2008 | ||
| c14 | | Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone: Verified Protection Model of the seL4 Microkernel. VSTTE 2008: 99-114 |
| 2007 | ||
| j4 | | Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters: Towards trustworthy computing systems: taking microkernels to the next level. Operating Systems Review 41(4): 3-11 (2007) |
| c13 | | Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser: Towards a Practical, Verified Kernel. HotOS 2007 |
| c12 | | |
| 2006 | ||
| c11 | | Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty: Running the manual: an approach to high-assurance microkernel development. Haskell 2006: 60-71 |
| 2005 | ||
| j3 | | Ben Leslie, Peter Chubb, Nicholas Fitzroy-Dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yue-Ting Shen, Kevin Elphinstone, Gernot Heiser: User-Level Device Drivers: Achieved Performance. J. Comput. Sci. Technol. 20(5): 654-664 (2005) |
| 2004 | ||
| c10 | | Kevin Elphinstone, Stefan Götz: Initial Evaluation of a User-Level Device Driver Framework. Asia-Pacific Computer Systems Architecture Conference 2004: 256-269 |
| 2003 | ||
| c9 | | Andreas Haeberlen, Kevin Elphinstone: User-Level Management of Kernel Memory. Asia-Pacific Computer Systems Architecture Conference 2003: 277-289 |
| 2001 | ||
| c8 | | Mohit Aron, Jochen Liedtke, Kevin Elphinstone, Yoonho Park, Trent Jaeger, Luke Deller: The SawMill Framework for Virtual Memory Diversity. ACSAC 2001: 3-10 |
| 2000 | ||
| c7 | | Alain Gefflaut, Trent Jaeger, Yoonho Park, Jochen Liedtke, Kevin Elphinstone, Volkmar Uhlig, Jonathon Tidswell, Luke Deller, Lars Reuther: The SawMill multiserver approach. ACM SIGOPS European Workshop 2000: 109-114 |
| c6 | | Trent Jaeger, Jonathon Tidswell, Alain Gefflaut, Yoonho Park, Kevin Elphinstone, Jochen Liedtke: Synchronous IPC over transparent monitors. ACM SIGOPS European Workshop 2000: 189-194 |
| c5 | | Jochen Liedtke, Marcus Völp, Kevin Elphinstone: Preliminary thoughts on memory-bus scheduling. ACM SIGOPS European Workshop 2000: 207-210 |
| 1999 | ||
| c4 | | Jochen Liedtke, Volkmar Uhlig, Kevin Elphinstone, Trent Jaeger, Yoonho Park: How To Schedule Unlimited Memory Pinning of Untrusted Processes Or Provisional Ideas about Service-Neutrality. Workshop on Hot Topics in Operating Systems 1999: 153- |
| c3 | | Trent Jaeger, Kevin Elphinstone, Jochen Liedtke, Vsevolod Panteleenko, Yoonho Park: Flexible Access Control using IPC Redirection. Workshop on Hot Topics in Operating Systems 1999: 191- |
| 1998 | ||
| j2 | | Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, Jochen Liedtke: The Mungi Single-Address-Space Operating System. Softw., Pract. Exper. 28(9): 901-928 (1998) |
| 1997 | ||
| c2 |  | Jochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Hermann Härtig, Gernot Heiser, Nayeem Islam, Trent Jaeger: Achieved IPC Performance. Workshop on Hot Topics in Operating Systems 1997: 28-31 |
| 1996 | ||
| j1 | | Jochen Liedtke, Kevin Elphinstone: Guarded Page Tables on Mips R4600 OR An Exercise in Architecture-Dependent Micro Optimization. Operating Systems Review 30(1): 4-15 (1996) |
| c1 | | Kevin Elphinstone, Stephen Russell, Gernot Heiser, Jochen Liedtke: Supporting Persistent Object Systems in a Single Address Space. POS 1996: 111-119 |
Data released under the ODC-BY 1.0 license — See also our legal information page