Outcome logic: A unifying foundation for correctness and incorrectness reasoning N Zilberstein, D Dreyer, A Silva Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 522-550, 2023 | 22 | 2023 |
Applying formal verification to microkernel IPC at Meta Q Carbonneaux, N Zilberstein, C Klee, PW O'Hearn, F Zappa Nardelli Proceedings of the 11th ACM SIGPLAN International Conference on Certified …, 2022 | 15 | 2022 |
A Relatively Complete Program Logic for Effectful Branching N Zilberstein arXiv preprint arXiv:2401.04594, 2024 | 2 | 2024 |
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects N Zilberstein, A Saliling, A Silva arXiv preprint arXiv:2305.04842, 2023 | 2 | 2023 |
Eliminating bugs with dependent Haskell (experience report) N Zilberstein Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 9-16, 2020 | 1 | 2020 |
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers L Zhang, N Zilberstein, BL Kaminski, A Silva arXiv preprint arXiv:2404.05097, 2024 | | 2024 |
A Zero-Knowledge Protocol for Keystroke Authentication N Zilberstein, J Chen | | 2014 |
Verification of System FC in Coq T Garsys, L Peña, T Mandel, N Zilberstein | | |