Noam Zilberstein

18 papers B 2Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants.
Proc. ACM Program. Lang.
Noam Zilberstein, Alexandra Silva, Joseph Tassarotti
2025 J jnl
A Demonic Outcome Logic for Randomized Nondeterminism.
Proc. ACM Program. Lang.
Noam Zilberstein, Dexter Kozen, Alexandra Silva, Joseph Tassarotti
2025 B conf
Denotational Semantics for Probabilistic and Concurrent Programs.
CONCUR
Noam Zilberstein, Daniele Gorla, Alexandra Silva
2025 J jnl
Denotational Semantics for Probabilistic and Concurrent Programs.
CoRR
Noam Zilberstein, Daniele Gorla, Alexandra Silva
2025 J jnl
Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects.
ACM Trans. Program. Lang. Syst.
Noam Zilberstein
2024 J jnl
A Demonic Outcome Logic for Randomized Nondeterminism.
CoRR
Noam Zilberstein, Dexter Kozen, Alexandra Silva, Joseph Tassarotti
2024 J jnl
A Relatively Complete Program Logic for Effectful Branching.
CoRR
Noam Zilberstein
2024 J jnl
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects.
Proc. ACM Program. Lang.
Noam Zilberstein, Angelina Saliling, Alexandra Silva
2024 J jnl
Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants.
CoRR
Noam Zilberstein, Alexandra Silva, Joseph Tassarotti
2024 J jnl
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers.
CoRR
Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva
2024 J jnl
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers.
Proc. ACM Program. Lang.
Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva
2024 J jnl
Total Outcome Logic: Proving Termination and Nontermination in Programs with Branching.
CoRR
James Li, Noam Zilberstein, Alexandra Silva
2024 — conf
Unified Analysis Techniques for Programs with Outcomes.
SPLASH Companion
Noam Zilberstein
2023 J jnl
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning.
CoRR
Noam Zilberstein, Derek Dreyer, Alexandra Silva
2023 J jnl
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning.
Proc. ACM Program. Lang.
Noam Zilberstein, Derek Dreyer, Alexandra Silva
2023 J jnl
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects.
CoRR
Noam Zilberstein, Angelina Saliling, Alexandra Silva
2022 B conf
Applying formal verification to microkernel IPC at meta.
CPP
Quentin Carbonneaux, Noam Zilberstein, Christoph Klee, Peter W. O'Hearn, Francesco Zappa Nardelli
2020 — conf
Eliminating bugs with dependent Haskell (experience report).
Haskell@ICFP
Noam Zilberstein