The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kevin Elphinstone: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002