I agree that this site is using cookies. You can find further informations here.
X
Zilberstein, Noam
9  results:
Search for persons X
?
1

Outcome Separation Logic: Local Reasoning for Correctness a..:

Zilberstein, Noam ; Saliling, Angelina ; Silva, Alexandra
Proceedings of the ACM on Programming Languages.  8 (2024)  OOPSLA1 - p. 276-304 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Outcome Logic: A Unifying Foundation for Correctness and In..:

Zilberstein, Noam ; Dreyer, Derek ; Silva, Alexandra
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA1 - p. 522-550 , 2023
Link: https://doi.org/10.1145/..
 
?
3

Applying formal verification to microkernel IPC at meta:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Carbonneaux, Quentin ; Zilberstein, Noam ; Klee, Christoph.. - p. 116-129 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

Eliminating bugs with dependent Haskell (experience report):

, In: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell,
Zilberstein, Noam - p. 9-16 , 2020
Link: https://dl.acm.org/doi/1..
 
?
5

A Relatively Complete Program Logic for Effectful Branching:

Zilberstein, Noam
http://arxiv.org/abs/2401.04594.  , 2024
Link: http://arxiv.org/abs/240..
 
?
6

Outcome Logic: A Unifying Foundation for Correctness and In..:

Zilberstein, Noam ; Dreyer, Derek ; Silva, Alexandra
http://arxiv.org/abs/2303.03111.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

Outcome Separation Logic: Local Reasoning for Correctness a..:

Zilberstein, Noam ; Saliling, Angelina ; Silva, Alexandra
http://arxiv.org/abs/2305.04842.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

SELENOPROTEIN O is a chloroplast protein involved in ROS sc..:

Fichman, Yosef ; Koncz, Zsuzsa ; Reznik, Noam...
Plant Science.  270 (2018)  - p. 278-291 , 2018
Link: https://doi.org/10.1016/..
 
?
9

The Bacillus thuringiensis delta-endotoxin Cry1C as a poten..:

Avisar, Dror ; Eilenberg, Haviva ; Keller, Menachem...
Plant Science.  176 (2009)  3 - p. 315-324 , 2009
Link: https://doi.org/10.1016/..
 
1-9