Chanhee Cho

According to our database, Chanhee Cho authored at least 5 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Crabtree: Rust API Test Synthesis Guided by Coverage and Type.

Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, Corina S. Pasareanu

Proc. ACM Program. Lang., 2024

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, Jacob R. Lorch, Oded Padon, Bryan Parno

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

A Framework for Debugging Automated Program Verification Proofs via Proof Actions.

Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Verus: Verifying Rust Programs using Linear Ghost Types.

Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel

Proc. ACM Program. Lang., April, 2023

Verus: Verifying Rust Programs using Linear Ghost Types (extended version).

Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel

CoRR, 2023