Noam Zilberstein

According to our database, Noam Zilberstein authored at least 11 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

A Demonic Outcome Logic for Randomized Nondeterminism.

Noam Zilberstein, Dexter Kozen, Alexandra Silva, Joseph Tassarotti

Proc. ACM Program. Lang., 2025

Denotational Semantics for Probabilistic and Concurrent Programs.

Noam Zilberstein, Daniele Gorla, Alexandra Silva

Proceedings of the 36th International Conference on Concurrency Theory, 2025

2024

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects.

Noam Zilberstein, Angelina Saliling, Alexandra Silva

Proc. ACM Program. Lang., 2024

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers.

Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva

Proc. ACM Program. Lang., 2024

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants.

Noam Zilberstein, Alexandra Silva, Joseph Tassarotti

CoRR, 2024

Total Outcome Logic: Proving Termination and Nontermination in Programs with Branching.

James Li, Noam Zilberstein, Alexandra Silva

CoRR, 2024

A Relatively Complete Program Logic for Effectful Branching.

Noam Zilberstein

CoRR, 2024

Unified Analysis Techniques for Programs with Outcomes.

Noam Zilberstein

Proceedings of the Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, 2024

2023

Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning.

Noam Zilberstein, Derek Dreyer, Alexandra Silva

Proc. ACM Program. Lang., April, 2023

2022

Applying formal verification to microkernel IPC at meta.

Quentin Carbonneaux, Noam Zilberstein, Christoph Klee, Peter W. O'Hearn, Francesco Zappa Nardelli

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2020

Eliminating bugs with dependent Haskell (experience report).

Noam Zilberstein

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020