Welcome!

I am an Electrical & Computer Engineering PhD student at Carnegie Mellon University, where I am advised by Limin Jia. I am a member of CyLab, the security and privacy institute at CMU. My research interests include software security, programming languages, and formal methods.

I received my M.Sc. at CMU under Bryan Parno working on deductive verification of Rust programs (Verus) and proof engineering (ProofPlumber).

Before that, I received my B.Sc. in Mathematics and my B.Sc. in Computer Science and Engineering from Seoul National University.

Contact: chanheec at cmu dot edu

Office: CIC 2219G, 4720 Forbes Avenue, Pittsburgh, PA 15213

[dblp] [GitHub]

Publications

  • Verus: A Practical Foundation for Systems Verification.
    Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jay Lorch, Oded Padon, and Bryan Parno.
    ACM Symposium on Operating Systems Principles (SOSP), November, 2024.
    (To appear.)

  • Crabtree: Rust API Test Synthesis Guided by Coverage and Type.
    Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, and Corina Pasareanu.
    ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), October, 2024.
    [pdf] [bibtex]

  • A Framework for Debugging Automated Program Verification Proofs via Proof Actions
    Chanhee Cho, Yi Zhou, Jay Bosamiya, and Bryan Parno.
    International Conference on Computer Aided Verification (CAV), July, 2024.
    Distinguished Paper Award.
    [pdf] [GitHub] [bibtex]

  • Verus: Verifying Rust Programs using Linear Ghost Types
    Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, and Chris Hawblitzel.
    ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), October, 2023.
    [pdf] [GitHub] [bibtex]

Teaching

  • Browser Security, Teaching Assistant, Carnegie Mellon University, Fall 2024.
  • Secure Software Systems, Teaching Assistant, Carnegie Mellon University, Spring 2024.
  • System Programming, Teaching Assistant, Seoul National University, Fall 2020.