Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Chris Hawblitzel" ( http://dblp.L3S.de/Authors/Chris_Hawblitzel )

  Author page on DBLP  Author page in RDF  Community of Chris Hawblitzel in ASPL-2

Publication years (Num. hits)
1998-2010 (15) 2011 (2)
Publication types (Num. hits)
article(2) inproceedings(15)
Venues (Conferences, Journals, ...)
PLDI(3) ACM SIGOPS European Workshop(2) EuroSys(2) TLDI(2) Commun. ACM(1) ISCOPE(1) Logical Methods in Computer Sc...(1) Memory System Performance and ...(1) OSDI(1) POPL(1) Secure Internet Programming(1) SOSP(1)
Authors
Chris Hawblitzel(17) Galen C. Hunt(4) Thorsten von Eicken(4) Chi-Chao Chang(3) Deyu Hu(3) Grzegorz Czajkowski(3) James R. Larus(3) Juan Chen(3) Manuel Fähndrich(3) Mark Aiken(3) Orion Hodson(3) Erez Petrank(2) Jean Yang(2) Steven Levi(2) Bjarne Steensgaard(1) Dan Spoonhower(1) More (+10 of total 31)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 14 keywords
Results
Found 17 publication records. Showing 17 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jean Yang, Chris Hawblitzel Safe to the last instruction: automated verification of a type-safe operating system. Search on Bibsonomy Commun. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chris Hawblitzel Type safety from the ground up. Search on Bibsonomy TLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chris Hawblitzel, Erez Petrank Automated Verification of Practical Garbage Collectors Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2010 DBLP  BibTeX  RDF
1Jean Yang, Chris Hawblitzel Safe to the last instruction: automated verification of a type-safe operating system. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF verification, operating system, type safety, run-time system
1Ross Tate, Juan Chen, Chris Hawblitzel Inferable object-oriented typed assembly language. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler
1Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen C. Hunt Helios: heterogeneous multiprocessing with satellite kernels. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF operating systems, heterogeneous computing
1Chris Hawblitzel, Erez Petrank Automated verification of practical garbage collectors. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF verification, garbage collection
1Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikaki Type-preserving compilation for large-scale optimizing object-oriented compilers. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF object-oriented compilers, type-preserving compilation
1Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen A garbage-collecting typed assembly language. Search on Bibsonomy TLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF garbage collection, typed assembly language
1Galen C. Hunt, Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Orion Hodson, James R. Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber Sealing OS processes to improve dependability and safety. Search on Bibsonomy EuroSys The full citation details ... 2007 DBLP  DOI  BibTeX  RDF open process architecture, sealed kernel, sealed process architecture, software isolated process (SIP)
1Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus Deconstructing process isolation. Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hardware isolated process (HIP), hardware protection domain, software isolated process (SIP), singularity
1Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, Steven Levi Language support for fast and reliable message-based communication in singularity OS. Search on Bibsonomy EuroSys The full citation details ... 2006 DBLP  DOI  BibTeX  RDF data ownership, protocols, asynchronous communication, channels, static checking
1Chris Hawblitzel, Thorsten von Eicken Luna: A Flexible Java Protection System. Search on Bibsonomy OSDI The full citation details ... 2002 DBLP  BibTeX  RDF
1Thorsten von Eicken, Chi-Chao Chang, Grzegorz Czajkowski, Chris Hawblitzel, Deyu Hu, Dan Spoonhower J-Kernel: A Capability-Based Operating System for Java. Search on Bibsonomy Secure Internet Programming The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Grzegorz Czajkowski, Chi-Chao Chang, Chris Hawblitzel, Deyu Hu, Thorsten von Eicken Resource management for extensible Internet servers. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Chi-Chao Chang, Grzegorz Czajkowski, Chris Hawblitzel, Deyu Hu, Thorsten von Eicken Security versus performance tradeoffs in RPC implementations for safe language systems. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Nikos Chrisochoides, Kevin Barker, Démian Nave, Chris Hawblitzel The Mobile Object Layer: A Run-Time Substrate for Mobile Adaptive Computations. Search on Bibsonomy ISCOPE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #17 of 17 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.