Noam Zilberstein

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

Collaborative distances:

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

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

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

Noam Zilberstein, Angelina Saliling, Alexandra Silva

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