Nicolas Koh

According to our database, Nicolas Koh authored at least 3 papers between 2019 and 2023.

Collaborative distances:

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

2023

When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic.

Zachary Kincaid, Nicolas Koh, Shaowei Zhu

Proc. ACM Program. Lang., January, 2023

2021

Verifying an HTTP Key-Value Server with Interaction Trees and VST.

Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2019

From C to interaction trees: specifying, verifying, and testing a networked server.

Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019