Eliminating bugs with dependent Haskell (experience report). - Noam Zilberstein (Haskell@ICFP, 2020)

Applying formal verification to microkernel IPC at meta. - Quentin Carbonneaux; Noam Zilberstein; Christoph Klee; Peter W. O'Hearn; Francesco Zappa Nardelli (CPP, 2022)

Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning. - Noam Zilberstein; Derek Dreyer; Alexandra Silva 001 (Proc. ACM Program. Lang., 2023)

Unified Analysis Techniques for Programs with Outcomes. - Noam Zilberstein (SPLASH Companion, 2024)

A Relatively Complete Program Logic for Effectful Branching. - Noam Zilberstein (CoRR, 2024)

Total Outcome Logic: Proving Termination and Nontermination in Programs with Branching. - James Li; Noam Zilberstein; Alexandra Silva 001 (CoRR, 2024)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants. - Noam Zilberstein; Alexandra Silva 001; Joseph Tassarotti (CoRR, 2024)

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers. - Linpeng Zhang; Noam Zilberstein; Benjamin Lucien Kaminski; Alexandra Silva 001 (Proc. ACM Program. Lang., 2024)

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects. - Noam Zilberstein; Angelina Saliling; Alexandra Silva 001 (Proc. ACM Program. Lang., 2024)

Denotational Semantics for Probabilistic and Concurrent Programs. - Noam Zilberstein; Daniele Gorla; Alexandra Silva 001 (CONCUR, 2025)

A Demonic Outcome Logic for Randomized Nondeterminism. - Noam Zilberstein; Dexter Kozen; Alexandra Silva 001; Joseph Tassarotti (Proc. ACM Program. Lang., 2025)