The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Chris Hawblitzel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thorsten von Eicken, Chi-Chao Chang, Grzegorz Czajkowski, Chris Hawblitzel, Deyu Hu, Dan Spoonhower
    J-Kernel: A Capability-Based Operating System for Java. [Citation Graph (0, 0)][DBLP]
    Secure Internet Programming, 1999, pp:369-393 [Conf]
  2. Nikos Chrisochoides, Kevin Barker, Démian Nave, Chris Hawblitzel
    The Mobile Object Layer: A Run-Time Substrate for Mobile Adaptive Computations. [Citation Graph (0, 0)][DBLP]
    ISCOPE, 1998, pp:71-82 [Conf]
  3. Chris Hawblitzel, Thorsten von Eicken
    Luna: A Flexible Java Protection System. [Citation Graph (0, 0)][DBLP]
    OSDI, 2002, pp:- [Conf]
  4. Chi-Chao Chang, Grzegorz Czajkowski, Chris Hawblitzel, Deyu Hu, Thorsten von Eicken
    Security versus performance tradeoffs in RPC implementations for safe language systems. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1998, pp:158-161 [Conf]
  5. Grzegorz Czajkowski, Chi-Chao Chang, Chris Hawblitzel, Deyu Hu, Thorsten von Eicken
    Resource management for extensible Internet servers. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1998, pp:33-39 [Conf]
  6. Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen
    A garbage-collecting typed assembly language. [Citation Graph (0, 0)][DBLP]
    TLDI, 2007, pp:41-52 [Conf]
  7. Manuel 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. [Citation Graph (0, 0)][DBLP]
    EuroSys, 2006, pp:177-190 [Conf]
  8. Galen 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. [Citation Graph (0, 0)][DBLP]
    EuroSys, 2007, pp:341-354 [Conf]

  9. Deconstructing process isolation. [Citation Graph (, )][DBLP]


  10. Type-preserving compilation for large-scale optimizing object-oriented compilers. [Citation Graph (, )][DBLP]


  11. Inferable object-oriented typed assembly language. [Citation Graph (, )][DBLP]


  12. Safe to the last instruction: automated verification of a type-safe operating system. [Citation Graph (, )][DBLP]


  13. Automated verification of practical garbage collectors. [Citation Graph (, )][DBLP]


  14. Helios: heterogeneous multiprocessing with satellite kernels. [Citation Graph (, )][DBLP]


  15. Automated Verification of Practical Garbage Collectors [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.018secs
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