PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Chris Hawblitzel

2 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. Verus: Verifying Rust Programs using Linear Ghost Types

    2023 · Proceedings of the ACM on Programming Languages

    The Rust programming language provides a powerful type system that checks linearity and borrowing, allowing code to safely manipulate memory without garbage collection and making Rust ideal for developing low-level, high-assurance systems. For such systems, …

  2. Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software

    2026 · ACM Transactions on Programming Languages and Systems

    Project Everest began at Microsoft Research in 2016, aiming to spur research in program verification to produce industrial-grade software. In collaboration with INRIA and Carnegie Mellon University, Project Everest’s goal was to produce drop-in verified …