Chris Chhak

According to our database, Chris Chhak authored at least 2 papers between 2021 and 2024.

Collaborative distances:

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

2024

Defining and Preserving More C Behaviors: Verified Compilation Using a Concrete Memory Model.

Andrew Tolmach, Chris Chhak, Sean Noble Anderson

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2021

Towards formally verified compilation of tag-based policy enforcement.

Chris Chhak, Andrew Tolmach, Sean Noble Anderson

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021