Login / Signup
Nicolas Koh
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 5
Top Topics
Consequence Finding
Human Computer Interaction
Client Server
Np Hard
Top Venues
CoRR
Proc. ACM Program. Lang.
ITP
CPP
</>
Publications
</>
Zachary Kincaid
,
Nicolas Koh
,
Shaowei Zhu
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic.
Proc. ACM Program. Lang.
7 (POPL) (2023)
Zachary Kincaid
,
Nicolas Koh
,
Shaowei Zhu
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic.
CoRR
(2022)
Hengchu Zhang
,
Wolf Honoré
,
Nicolas Koh
,
Yao Li
,
Yishuai Li
,
Li-yao Xia
,
Lennart Beringer
,
William Mansky
,
Benjamin C. Pierce
,
Steve Zdancewic
Verifying an HTTP Key-Value Server with Interaction Trees and VST.
ITP
(2021)
Nicolas Koh
,
Yao Li
,
Yishuai Li
,
Li-yao Xia
,
Lennart Beringer
,
Wolf Honoré
,
William Mansky
,
Benjamin C. Pierce
,
Steve Zdancewic
From C to interaction trees: specifying, verifying, and testing a networked server.
CPP
(2019)
Nicolas Koh
,
Yao Li
,
Yishuai Li
,
Li-yao Xia
,
Lennart Beringer
,
Wolf Honoré
,
William Mansky
,
Benjamin C. Pierce
,
Steve Zdancewic
From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server.
CoRR
(2018)