Noam Zilberstein

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Intuitionistic Logic

Abductive Reasoning

Classical Logic

Order Of Magnitude Reasoning

Top Venues

Proc. ACM Program. Lang.

Publications

Noam Zilberstein, Angelina Saliling, Alexandra Silva
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers. CoRR (2024)
Noam Zilberstein
A Relatively Complete Program Logic for Effectful Branching. CoRR (2024)
Noam Zilberstein, Derek Dreyer, Alexandra Silva
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning. CoRR (2023)
Noam Zilberstein, Angelina Saliling, Alexandra Silva
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects. CoRR (2023)
Noam Zilberstein, Derek Dreyer, Alexandra Silva
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Quentin Carbonneaux, Noam Zilberstein, Christoph Klee, Peter W. O'Hearn, Francesco Zappa Nardelli
Applying formal verification to microkernel IPC at meta. CPP (2022)
Noam Zilberstein
Eliminating bugs with dependent Haskell (experience report). Haskell@ICFP (2020)