conf.researchr.org / Noam Zilberstein
Registered user since Sat 15 Aug 2020
Name:Noam Zilberstein
Bio:
I am an Assistant Professor of Computer Science at the Stevens Institute of Technology in Hoboken, NJ. My research centers around the semantic foundations of program logics and applications of formal methods to improve real world software quality.
I recieved my PhD from Cornell University, and was previously a staff software engineer in the Facebook Programming Languages and Runtimes team, where I applied formal methods by using dependently typed Haskell in production and formally verifying concurrent algorithms for an OS microkernel. My research has been recognized with the 2024 ACM SIGPLAN John Vlissides Award for applied software research and a distinguished paper award at POPL 2026.
Country:United States
Affiliation:Stevens Institute of Technology
Personal website: https://zilberstein.github.io
GitHub: https://github.com/zilberstein
Research interests:Logic, Semantics, Formal Methods
Contributions
2027
2026
POPL
2025
TPSA
- Committee Member in Organizing Committee within the TPSA 2025-track
- Committee Member in Program Committee within the TPSA 2025-track
- Author of Total Outcome Logic: Termination and Nontermination Proving for Effectful Branching within the TPSA 2025-track
- Author of Introduction within the TPSA 2025-track
2024
SPLASH
- Author of Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects within the OOPSLA 2024-track
- Author of (Lightning Talk) Unified Analysis Techniques for Programs with Outcomes within the Doctoral Symposium-track
- Author of Unified Analysis Techniques for Programs with Outcomes within the Doctoral Symposium-track
- Author of Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers within the OOPSLA 2024-track
Formal Methods for Incorrectness
- Organizer in Organizing Committee within the Incorrectness-track
- Author of Welcome within the Incorrectness-track
- Session Chair of Opening (part of Incorrectness)
- Session Chair of Logics and Program Analysis (part of Incorrectness)
- Committee Member in Program Committee within the Incorrectness-track