Chris Hawblitzel

	2011
17		Chris Hawblitzel: Type safety from the ground up. TLDI 2011: 43-44
16		Jean Yang, Chris Hawblitzel: Safe to the last instruction: automated verification of a type-safe operating system. Commun. ACM 54(12): 123-131 (2011)
	2010
15		Ross Tate, Juan Chen, Chris Hawblitzel: Inferable object-oriented typed assembly language. PLDI 2010: 424-435
14		Jean Yang, Chris Hawblitzel: Safe to the last instruction: automated verification of a type-safe operating system. PLDI 2010: 99-110
13		Chris Hawblitzel, Erez Petrank: Automated Verification of Practical Garbage Collectors Logical Methods in Computer Science 6(3): (2010)
	2009
12		Chris Hawblitzel, Erez Petrank: Automated verification of practical garbage collectors. POPL 2009: 441-453
11		Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen C. Hunt: Helios: heterogeneous multiprocessing with satellite kernels. SOSP 2009: 221-234
	2008
10		Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikaki: Type-preserving compilation for large-scale optimizing object-oriented compilers. PLDI 2008: 183-192
	2007
9		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. EuroSys 2007: 341-354
8		Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen: A garbage-collecting typed assembly language. TLDI 2007: 41-52
	2006
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. EuroSys 2006: 177-190
6		Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus: Deconstructing process isolation. Memory System Performance and Correctness 2006: 1-10
	2002
5		Chris Hawblitzel, Thorsten von Eicken: Luna: A Flexible Java Protection System. OSDI 2002
	1999
4		Thorsten von Eicken, Chi-Chao Chang, Grzegorz Czajkowski, Chris Hawblitzel, Deyu Hu, Dan Spoonhower: J-Kernel: A Capability-Based Operating System for Java. Secure Internet Programming 1999: 369-393
	1998
3		Chi-Chao Chang, Grzegorz Czajkowski, Chris Hawblitzel, Deyu Hu, Thorsten von Eicken: Security versus performance tradeoffs in RPC implementations for safe language systems. ACM SIGOPS European Workshop 1998: 158-161
2		Grzegorz Czajkowski, Chi-Chao Chang, Chris Hawblitzel, Deyu Hu, Thorsten von Eicken: Resource management for extensible Internet servers. ACM SIGOPS European Workshop 1998: 33-39
1		Nikos Chrisochoides, Kevin Barker, Démian Nave, Chris Hawblitzel: The Mobile Object Layer: A Run-Time Substrate for Mobile Adaptive Computations. ISCOPE 1998: 71-82

Coauthor Index

1	Mark Aiken	[6] [7] [9]
2	Kevin Barker	[1]
3	Chi-Chao Chang	[2] [3] [4]
4	Juan Chen	[8] [10] [15]
5	Nikos Chrisochoides	[1]
6	Derrick Coetzee	[10]
7	Jeremy Condit	[10]
8	Grzegorz Czajkowski	[2] [3] [4]
9	Thorsten von Eicken	[2] [3] [4] [5]
10	Michael Emmi	[10]
11	Manuel Fähndrich	[6] [7] [9]
12	Orion Hodson	[7] [9] [11]
13	Deyu Hu	[2] [3] [4]
14	Heng Huang	[8]
15	Galen C. Hunt	[6] [7] [9] [11]
16	James R. Larus	[6] [7] [9]
17	Steven Levi	[7] [9]
18	Ross McIlroy	[11]
19	Démian Nave	[1]
20	Edmund B. Nightingale	[11]
21	Frances Perry	[10]
22	Erez Petrank	[12] [13]
23	Polyvios Pratikaki	[10]
24	Dan Spoonhower	[4]
25	Bjarne Steensgaard	[9]
26	David Tarditi	[9]
27	Ross Tate	[15]
28	Lea Wittie	[8]
29	Ted Wobber	[9]
30	Jean Yang	[14] [16]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page