| From C to interaction trees: specifying, verifying, and testing a networked server N Koh, Y Li, Y Li, L Xia, L Beringer, W Honoré, W Mansky, BC Pierce, ... Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019 | 62 | 2019 |
| Verifying an HTTP key-value server with interaction trees and VST H Zhang, W Honoré, N Koh, Y Li, Y Li, L Xia, L Beringer, W Mansky, ... The 12th Conference on Interactive Theorem Proving, 32, 2021 | 31 | 2021 |
| Constraint-based program reasoning with heaps and separation GJ Duck, J Jaffar, NCH Koh International Conference on Principles and Practice of Constraint …, 2013 | 16 | 2013 |
| When less is more: consequence-finding in a weak theory of arithmetic Z Kincaid, N Koh, S Zhu Proceedings of the ACM on Programming Languages 7 (POPL), 1275-1307, 2023 | 9 | 2023 |
| A constraint solver for heaps with separation G Duck, J Jaffar, N Koh CP, LNCS 8124, 2013 | 5 | 2013 |
| A Symbolic Execution Framework with Explicit Heaps and Separation GJ Duck, J Jaffar, NCH Koh | | |
