|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 5 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Harvey Tuch, Cyprien Laplace, Kenneth C. Barr, Bi Wu |
Block storage virtualization with commodity secure digital cards.  |
VEE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth C. Barr, Prashanth P. Bungale, Stephen Deasy, Viktor Gyuris, Perry Hung, Craig Newell, Harvey Tuch, Bruno Zoppis |
The VMware mobile virtualization platform: is that a hypervisor in your pocket? |
Operating Systems Review |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Harvey Tuch |
Formal Verification of C Systems Code. |
J. Autom. Reasoning |
2009 |
DBLP DOI BibTeX RDF |
C, Separation logic, Interactive theorem proving |
| 1 | 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 |
DBLP DOI BibTeX RDF |
l4, sel4, microkernel, isabelle/hol |
| 1 | Harvey Tuch |
Structured Types and Separation Logic. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Harvey Tuch, Gerwin Klein, Michael Norrish |
Types, bytes, and separation logic. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
C, separation logic, interactive theorem proving |
| 1 | Harvey Tuch, Gerwin Klein |
A Unified Memory Model for Pointers. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Harvey Tuch, Gerwin Klein, Gernot Heiser |
OS Verification - Now! |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser |
Legba: Fast Hardware Support for Fine-Grained Protection. |
Asia-Pacific Computer Systems Architecture Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Wiggins, Harvey Tuch, Volkmar Uhlig, Gernot Heiser |
Implementation of Fast Address-Space Switching and TLB Sharing on the StrongARM Processor. |
Asia-Pacific Computer Systems Architecture Conference |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")