default search action

combined dblp search
author search
venue search
publication search

ask others

Kevin Elphinstone

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/ShenHE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ShenHE19
Yanyan Shen, Gernot Heiser, Kevin Elphinstone:
Fault Tolerance Through Redundant Execution on COTS Multicores: Exploring Trade-Offs. DSN 2019: 188-200
2017
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/apsys/ElphinstoneZMH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsys/ElphinstoneZMH17
Kevin Elphinstone, Amirreza Zarrabi, Kent McLeod, Gernot Heiser:
A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4. APSys 2017: 11:1-11:8
2016
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tocs/HeiserE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocs/HeiserE16
Gernot Heiser, Kevin Elphinstone:
L4 Microkernels: The Lessons from 20 Years of Research and Deployment. ACM Trans. Comput. Syst. 34(1): 1:1-1:29 (2016)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ElphinstoneZDSH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ElphinstoneZDSH16
Kevin Elphinstone, Amirreza Zarrabi, Adrian Danis, Yanyan Shen, Gernot Heiser:
An Evaluation of Coarse-Grained Locking for Multicore Microkernels. CoRR abs/1609.08372 (2016)
2015
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/apsys/PetersDEH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsys/PetersDEH15
Sean Peters, Adrian Danis, Kevin Elphinstone, Gernot Heiser:
For a Microkernel, a Big Lock Is Fine. APSys 2015: 3:1-3:7
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/ShenE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/ShenE15
Yanyan Shen, Kevin Elphinstone:
Microkernel Mechanisms for Improving the Trustworthiness of Commodity Hardware. EDCC 2015: 155-166
2014
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tocs/KleinAEMSKH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocs/KleinAEMSKH14
Gerwin Klein, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser:
Comprehensive formal verification of an OS microkernel. ACM Trans. Comput. Syst. 32(1): 2:1-2:70 (2014)
2013
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/ElphinstoneS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/ElphinstoneS13
Kevin Elphinstone, Yanyan Shen:
Increasing the trustworthiness of commodity hardware through software. DSN 2013: 1-6
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/SalomieARE13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/SalomieARE13
Tudor-Ioan Salomie, Gustavo Alonso, Timothy Roscoe, Kevin Elphinstone:
Application level ballooning for efficient server consolidation. EuroSys 2013: 337-350
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/ElphinstoneH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/ElphinstoneH13
Kevin Elphinstone, Gernot Heiser:
From L3 to seL4 what have we learnt in 20 years of L4 microkernels? SOSP 2013: 133-150
2012
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/PettersEH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/PettersEH12
Stefan M. Petters, Kevin Elphinstone, Gernot Heiser:
Trustworthy Real-Time Systems. Advances in Real-Time Systems 2012: 191-206
2010
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/KleinAEHCDEEKNSTW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/KleinAEHCDEEKNSTW10
Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David A. 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)
[c20]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/ccs/HeiserAEKKR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/HeiserAEKKR10
Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk:
The road to trustworthy systems. STC@CCS 2010: 3-10
[c19]
- view
  - electronic edition @ usenix.org
  - details & citations
- export record
  dblp key:
  - conf/ssv/AndronickGE10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssv/AndronickGE10
June Andronick, David Greenaway, Kevin Elphinstone:
Towards Proving Security in the Presence of Large Untrusted Components. SSV 2010

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/KleinDE09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/KleinDE09
Gerwin Klein, Philip Derrin, Kevin Elphinstone:
Experience report: seL4: formally verifying a high-performance microkernel. ICFP 2009: 91-96
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/PettersLHE09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/PettersLHE09
Stefan M. Petters, Martin Lawitzky, Ryan Heffernan, Kevin Elphinstone:
Towards Real Multi-criticality Scheduling. RTCSA 2009: 155-164
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/KleinEHACDEEKNSTW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/KleinEHACDEEKNSTW09
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. 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
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/ElkaduweDE08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/ElkaduweDE08
Dhammika Elkaduwe, Philip Derrin, Kevin Elphinstone:
Kernel design for isolation and assurance of physical memory. IIES@EuroSys 2008: 35-40
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ElkaduweKE08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ElkaduweKE08
Dhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone:
Verified Protection Model of the seL4 Microkernel. VSTTE 2008: 99-114
2007
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/HeiserEKKP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/HeiserEKKP07
Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters:
Towards trustworthy computing systems: taking microkernels to the next level. ACM SIGOPS Oper. Syst. Rev. 41(4): 3-11 (2007)
[c13]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/hotos/ElphinstoneKDRH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/ElphinstoneKDRH07
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser:
Towards a Practical, Verified Kernel. HotOS 2007
[c12]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/hotos/RoscoeEH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/RoscoeEH07
Timothy Roscoe, Kevin Elphinstone, Gernot Heiser:
Hype and Virtue. HotOS 2007
2006
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/DerrinEKCC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/DerrinEKCC06
Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty:
Running the manual: an approach to high-assurance microkernel development. Haskell 2006: 60-71
2005
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jcst/LeslieCFGGMPSEH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcst/LeslieCFGGMPSEH05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aPcsac/ElphinstoneG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aPcsac/ElphinstoneG04
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aPcsac/HaeberlenE03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aPcsac/HaeberlenE03
Andreas Haeberlen, Kevin Elphinstone:
User-Level Management of Kernel Memory. Asia-Pacific Computer Systems Architecture Conference 2003: 277-289
2001
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/aPcsac/AronLEPJD01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aPcsac/AronLEPJD01
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/GefflautJPLEUTDR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/GefflautJPLEUTDR00
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/JaegerTGPEL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/JaegerTGPEL00
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigopsE/LiedtkeVE00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigopsE/LiedtkeVE00
Jochen Liedtke, Marcus Völp, Kevin Elphinstone:
Preliminary thoughts on memory-bus scheduling. ACM SIGOPS European Workshop 2000: 207-210

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/hotos/LiedtkeUEJP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/LiedtkeUEJP99
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-161
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/hotos/JaegerELPP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/JaegerELPP99
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-196
1998
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/HeiserEVRL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/HeiserEVRL98
Gernot Heiser, Kevin Elphinstone, Jerry Vochteloo, Stephen Russell, Jochen Liedtke:
The Mungi Single-Address-Space Operating System. Softw. Pract. Exp. 28(9): 901-928 (1998)
1997
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/hotos/LiedtkeESHHIJ97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/LiedtkeESHHIJ97
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/LiedtkeE96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/LiedtkeE96
Jochen Liedtke, Kevin Elphinstone:
Guarded Page Tables on Mips R4600 OR An Exercise in Architecture-Dependent Micro Optimization. ACM SIGOPS Oper. Syst. Rev. 30(1): 4-15 (1996)
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pos/ElphinstoneRHL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pos/ElphinstoneRHL96
Kevin Elphinstone, Stephen Russell, Gernot Heiser, Jochen Liedtke:
Supporting Persistent Object Systems in a Single Address Space. POS 1996: 111-119

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.