Noam Zilberstein
Scholar

Noam Zilberstein

Google Scholar ID: Bp6t6OIAAAAJ
Cornell University
Programming LanguagesLogicFormal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
139
 
H-index
6
 
i10-index
5
 
Publications
13
 
Co-authors
9
list available
Contact
Emailnoamz@cs.cornell.eduCVOpen ↗GitHubOpen ↗
Publications
4 items
Denotational Semantics for Probabilistic and Concurrent Programs
2025
Cited
0
Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
arXiv.org · 2024
Cited
3
Total Outcome Logic: Proving Termination and Nontermination in Programs with Branching
arXiv.org · 2024
Cited
2
Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
ACM Transactions on Programming Languages and Systems · 2024
Cited
2
Resume (English only)
Academic Achievements
  • Recipient of the 2024 ACM SIGPLAN John Vlissides Award for applied software research
  • Supported by NSF grants #2504142 and #2504143
  • Paper 'Denotational Semantics for Probabilistic and Concurrent Programs' accepted at CONCUR 2025
  • Paper 'Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects' accepted at TOPLAS 2025 (preprint)
  • Paper 'A Demonic Outcome Logic for Randomized Nondeterminism' accepted at POPL 2025
Co-authors
9 total
Alexandra Silva
Alexandra Silva
Cornell University
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Peter O'Hearn
Peter O'Hearn
University College London
Dexter Kozen
Dexter Kozen
Professor of Computer Science, Cornell University
Co-author 7
Co-author 7
Benjamin Lucien Kaminski
Benjamin Lucien Kaminski
Professor of Computer Science at Saarland University and Lecturer at University College London