Noam Zilberstein

According to our database, Noam Zilberstein authored at least 8 papers between 2020 and 2024.

Collaborative distances:

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

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

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

James Li, Noam Zilberstein, Alexandra Silva

CoRR, 2024

A Demonic Outcome Logic for Randomized Nondeterminism.

Noam Zilberstein, Dexter Kozen, Alexandra Silva, Joseph Tassarotti

CoRR, 2024

A Relatively Complete Program Logic for Effectful Branching.

Noam Zilberstein

CoRR, 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