Search the dblp DataBase

Publications of Author

1. Kevin Elphinstone, Stephen Russell, Gernot Heiser, Jochen Liedtke
   Supporting Persistent Object Systems in a Single Address Space. [Citation Graph (1, 0)][DBLP]
   POS, 1996, pp:111-119 [Conf]
   
2. Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, Jochen Liedtke
   The Mungi Single-Address-Space Operating System. [Citation Graph (1, 0)][DBLP]
   Softw., Pract. Exper., 1998, v:28, n:9, pp:901-928 [Journal]
   
3. Mohit Aron, Jochen Liedtke, Kevin Elphinstone, Yoonho Park, Trent Jaeger, Luke Deller
   The SawMill Framework for Virtual Memory Diversity. [Citation Graph (0, 0)][DBLP]
   ACSAC, 2001, pp:3-10 [Conf]
   
4. Kevin Elphinstone, Stefan Götz
   Initial Evaluation of a User-Level Device Driver Framework. [Citation Graph (0, 0)][DBLP]
   Asia-Pacific Computer Systems Architecture Conference, 2004, pp:256-269 [Conf]
   
5. Andreas Haeberlen, Kevin Elphinstone
   User-Level Management of Kernel Memory. [Citation Graph (0, 0)][DBLP]
   Asia-Pacific Computer Systems Architecture Conference, 2003, pp:277-289 [Conf]
   
6. Trent Jaeger, Kevin Elphinstone, Jochen Liedtke, Vsevolod Panteleenko, Yoonho Park
   Flexible Access Control using IPC Redirection. [Citation Graph (0, 0)][DBLP]
   Workshop on Hot Topics in Operating Systems, 1999, pp:191-0 [Conf]
   
7. Jochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Hermann Härtig, Gernot Heiser, Nayeem Islam, Trent Jaeger
   Achieved IPC Performance. [Citation Graph (0, 0)][DBLP]
   Workshop on Hot Topics in Operating Systems, 1997, pp:28-31 [Conf]
   
8. 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. [Citation Graph (0, 0)][DBLP]
   Workshop on Hot Topics in Operating Systems, 1999, pp:153-0 [Conf]
   
9. Alain Gefflaut, Trent Jaeger, Yoonho Park, Jochen Liedtke, Kevin Elphinstone, Volkmar Uhlig, Jonathon Tidswell, Luke Deller, Lars Reuther
   The SawMill multiserver approach. [Citation Graph (0, 0)][DBLP]
   ACM SIGOPS European Workshop, 2000, pp:109-114 [Conf]
   
10. Trent Jaeger, Jonathon Tidswell, Alain Gefflaut, Yoonho Park, Kevin Elphinstone, Jochen Liedtke
    Synchronous IPC over transparent monitors. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 2000, pp:189-194 [Conf]
    
11. Jochen Liedtke, Marcus Völp, Kevin Elphinstone
    Preliminary thoughts on memory-bus scheduling. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 2000, pp:207-210 [Conf]
    
12. 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. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2005, v:20, n:5, pp:654-664 [Journal]
    
13. Jochen Liedtke, Kevin Elphinstone
    Guarded Page Tables on Mips R4600 OR An Exercise in Architecture-Dependent Micro Optimization. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1996, v:30, n:1, pp:4-15 [Journal]
    
14. Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty
    Running the manual: an approach to high-assurance microkernel development. [Citation Graph (0, 0)][DBLP]
    Haskell, 2006, pp:60-71 [Conf]
    
15. 
    Hype and Virtue. [Citation Graph (, )][DBLP]
    
    
16. 
    Towards a Practical, Verified Kernel. [Citation Graph (, )][DBLP]
    
    
17. 
    Experience report: seL4: formally verifying a high-performance microkernel. [Citation Graph (, )][DBLP]
    
    
18. 
    Towards Real Multi-criticality Scheduling. [Citation Graph (, )][DBLP]
    
    
19. 
    seL4: formal verification of an OS kernel. [Citation Graph (, )][DBLP]
    
    
20. 
    Verified Protection Model of the seL4 Microkernel. [Citation Graph (, )][DBLP]
    
    
21. 
    seL4: formal verification of an operating-system kernel. [Citation Graph (, )][DBLP]