Kevin Elphinstone

Citado por

	Total	Desde 2019
Citas	5880	1923
Índice h	27	11
Índice i10	45	11

420

210

105

315

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 26 52 73 43 48 59 66 56 69 60 78 110 153 270 229 259 297 307 380 417 358 376 364 299 312 327 329 292

Acceso público

Ver todo

5 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Gernot HeiserProfessor of Computer Science, University of New South WalesDirección de correo verificada de unsw.edu.au
Gerwin KleinProofcraft and UNSWDirección de correo verificada de unsw.edu.au
Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Dirección de correo verificada de ce.pdn.ac.lk
June AndronickCEO and co-founcer, ProofcraftDirección de correo verificada de proofcraft.systems
David CockSenior Researcher, ETH ZurichDirección de correo verificada de cse.unsw.edu.au
Trent JaegerProfessor of Computer Science and Engineering, UC RiversideDirección de correo verificada de ucr.edu
Kai Engelhardtn.a.Dirección de correo verificada de acm.org
Michael NorrishAustralian National UniversityDirección de correo verificada de anu.edu.au
Stefan M. PettersCISTER Research Unit, ISEP-IPP, PortugalDirección de correo verificada de isep.ipp.pt
Timothy RoscoeProfessor of Computer Science, ETH ZurichDirección de correo verificada de inf.ethz.ch
Peter ChubbUNSW, SydneyDirección de correo verificada de unsw.edu.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneDirección de correo verificada de unimelb.edu.au
Ihor KuzSenior OS Engineer, Kry10 LtdDirección de correo verificada de ikuz.org
Alain GefflautEngineering Manager Google CloudDirección de correo verificada de google.com
Hermann HärtigProfessor Computer Science, Technische Universität DresdenDirección de correo verificada de tu-dresden.de
Gustavo AlonsoProfessor of Computer Science, ETH Zürich, SwitzerlandDirección de correo verificada de inf.ethz.ch
David GreenawayNICTA and School of Computer Science, University of New South WalesDirección de correo verificada de cse.unsw.edu.au
Andreas HaeberlenUniversity of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Manuel M T ChakravartyTweag I/O & IOHKDirección de correo verificada de justtesting.org
Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgDirección de correo verificada de uni.lu

Seguir

Kevin Elphinstone

University of New South Wales

Dirección de correo verificada de cse.unsw.edu.au - Página principal

operating systems microkernels


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
seL4: Formal verification of an OS kernel G Klein, K Elphinstone, G Heiser, J Andronick, D Cock, P Derrin, ... Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009	2876	2009
Comprehensive formal verification of an OS microkernel G Klein, J Andronick, K Elphinstone, T Murray, T Sewell, R Kolanski, ... ACM Transactions on Computer Systems (TOCS) 32 (1), 1-70, 2014	525	2014
User-level device drivers: Achieved performance B Leslie, P Chubb, N Fitzroy-Dale, S Götz, C Gray, L Macpherson, D Potts, ... Journal of Computer Science and Technology 20 (5), 654-664, 2005	260	2005
From L3 to seL4 what have we learnt in 20 years of L4 microkernels? K Elphinstone, G Heiser Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems …, 2013	249	2013
The mungi single‐address‐space operating system G Heiser, K Elphinstone, J Vochteloo, S Russell, J Liedtke Software: Practice and Experience 28 (9), 901-928, 1998	188	1998
The SawMill multiserver approach A Gefflaut, T Jaeger, Y Park, J Liedtke, KJ Elphinstone, V Uhlig, ... Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the …, 2000	139	2000
Towards trustworthy computing systems: taking microkernels to the next level G Heiser, K Elphinstone, I Kuz, G Klein, SM Petters ACM SIGOPS Operating Systems Review 41 (4), 3-11, 2007	138	2007
Achieved IPC performance (still the foundation for extensibility) J Liedtke, K Elphinstone, S Schonberg, H Hartig, G Heiser, N Islam, ... Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No …, 1997	126	1997
Application level ballooning for efficient server consolidation TI Salomie, G Alonso, T Roscoe, K Elphinstone Proceedings of the 8th ACM European Conference on Computer Systems, 337-350, 2013	115	2013
L4 microkernels: The lessons from 20 years of research and deployment G Heiser, K Elphinstone ACM Transactions on Computer Systems (TOCS) 34 (1), 1-29, 2016	97	2016
Verified protection model of the seL4 microkernel D Elkaduwe, G Klein, K Elphinstone Verified Software: Theories, Tools, Experiments, 99-114, 2008	86	2008
Mungi: A distributed single address-space operating system G Heiser, K Elphinstone, S Russell, J Vochteloo Proceedings of the 17th Australasian Computer Science Conference, 271-80, 1993	86	1993
Towards a practical, verified kernel K Elphinstone, G Klein, P Derrin, T Roscoe, G Heiser Proceedings of the 11th USENIX workshop on Hot topics in operating systems, 20, 2007	67	2007
Hype and virtue T Roscoe, K Elphinstone, G Heiser Proceedings of the 11th USENIX workshop on Hot topics in operating systems, 4, 2007	64	2007
Running the manual: An approach to high-assurance microkernel development P Derrin, K Elphinstone, G Klein, D Cock, MMT Chakravarty Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, 60-71, 2006	59	2006
Experience report: seL4: formally verifying a high-performance microkernel G Klein, P Derrin, K Elphinstone ACM SIGPLAN Notices 44 (9), 91-96, 2009	57	2009
The SawMill framework for virtual memory diversity M Aron, Y Park, T Jaeger, J Liedtke, K Elphinstone, L Deller Computer Systems Architecture Conference, 2001. ACSAC 2001. Proceedings. 6th …, 2001	50	2001
Kernel design for isolation and assurance of physical memory D Elkaduwe, P Derrin, K Elphinstone Proceedings of the 1st Workshop on Isolation and Integration in Embedded …, 2008	45	2008
Flexible access control using IPC redirection T Jaeger, K Elphinstone, J Liedtke, V Panteleenko, Y Park Proceedings of the Seventh Workshop on Hot Topics in Operating Systems, 191-196, 1999	42	1999
Implementation and performance of the Mungi single-address-space operating system G Heiser, K Elphinstone, J Vochteloo, S Russell, J Liedtke UNSW-CSE-TR 9704, University of New South Wales, School of Computer Science …, 1997	34	1997

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores