C
Chris Hawblitzel
Researcher at Microsoft
Publications - 64
Citations - 2921
Chris Hawblitzel is an academic researcher from Microsoft. The author has contributed to research in topics: Assembly language & Compiler. The author has an hindex of 24, co-authored 62 publications receiving 2633 citations. Previous affiliations of Chris Hawblitzel include Dartmouth College.
Papers
More filters
Proceedings ArticleDOI
Language support for fast and reliable message-based communication in singularity OS
Manuel Fähndrich,Mark Aiken,Chris Hawblitzel,Orion Hodson,Galen C. Hunt,James R. Larus,Steven P. Levi +6 more
TL;DR: It is shown that using advanced programming language and verification techniques, it is possible to provide and enforce strong system-wide invariants that enable efficient communication and low-overhead software-based process isolation and reduce the difficulty of the message-based programming model.
Proceedings ArticleDOI
IronFleet: proving practical distributed systems correct
Chris Hawblitzel,Jon Howell,Manos Kapritsos,Jacob R. Lorch,Bryan Parno,Michael L. Roberts,Srinath Setty,Brian Zill +7 more
TL;DR: A methodology for building practical and provably correct distributed systems based on a unique blend of TLA-style state-machine refinement and Hoare-logic verification is described, which proves that each obeys a concise safety specification, as well as desirable liveness requirements.
Proceedings ArticleDOI
Helios: heterogeneous multiprocessing with satellite kernels
TL;DR: Satellite kernels are introduced, which export a single, uniform set of OS abstractions across CPUs of disparate architectures and performance characteristics, and offloaded several applications and operating system components, often by changing only a single line of metadata.
Book ChapterDOI
SYMDIFF: a language-agnostic semantic diff tool for imperative programs
TL;DR: SymDiff is described, a language-agnostic tool for equivalence checking and displaying semantic (behavioral) differences over imperative programs that operates on an intermediate verification language Boogie.
Proceedings ArticleDOI
Ironclad apps: end-to-end security via automated full-system verification
Chris Hawblitzel,Jon Howell,Jacob R. Lorch,Arjun Narayan,Bryan Parno,Danfeng Zhang,Brian Zill +6 more
TL;DR: This work provides complete, low-level software verification of a full stack of verified software, which includes a verified kernel; verified drivers; verified system and crypto libraries including SHA, HMAC, and RSA; and four Ironclad Apps.