Concepedia

Chris Hawblitzel

CH

32

Publications

2.4K

Citations

23

H-Index

1996

Active since

Affiliations

Microsoft (United States)(Current)

Microsoft Research (United Kingdom)

Cornell University

Carnegie Mellon University

Massachusetts Institute of Technology

Chris Hawblitzel is an author at Microsoft (United States) specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringVerificationSystem SoftwareFormal VerificationFormal MethodsComputer Architecture

Publications per year

1996–2024

32

Publications

32

IronFleet

Chris Hawblitzel, Jon Howell, Manos Kapritsos et al. · 2015 · 305 citations

Engineering, Verification, Fault Tolerance +16

Language support for fast and reliable message-based communication in singularity OS

Manuel Fähndrich, Mark Aiken, Chris Hawblitzel et al. · 2006 · 287 citations · Full text

Engineering, System Programming, Verification +21

Edmund B. Nightingale, Orion Hodson, Ross McIlroy et al. · 2009 · 194 citations

Os Abstractions, Engineering, Operating Systems +13

Implementing multiple protection domains in java

Chris Hawblitzel, Chi-Chao Chang, Grzegorz Czajkowski et al. · eCommons (Cornell University) · 1998 · 156 citations · Full text

Ironclad apps: end-to-end security via automated full-system verification

Chris Hawblitzel, Jon Howell, Jacob R. Lorch et al. · Operating Systems Design and Implementation · 2014 · 149 citations

Engineering, Information Security, Verification +18

Rows per page

1–5 of 32