| 2007 |
| 9 | EE | Alexey Gotsman,
Josh Berdine,
Byron Cook,
Noam Rinetzky,
Mooly Sagiv:
Local Reasoning for Storable Locks and Threads.
APLAS 2007: 19-37 |
| 8 | EE | Daphna Amit,
Noam Rinetzky,
Thomas W. Reps,
Mooly Sagiv,
Eran Yahav:
Comparison Under Abstraction for Verifying Linearizability.
CAV 2007: 477-490 |
| 7 | EE | Noam Rinetzky,
Arnd Poetzsch-Heffter,
Ganesan Ramalingam,
Mooly Sagiv,
Eran Yahav:
Modular Shape Analysis for Dynamically Encapsulated Programs.
ESOP 2007: 220-236 |
| 6 | EE | Martin T. Vechev,
Eran Yahav,
David F. Bacon,
Noam Rinetzky:
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors.
PLDI 2007: 456-467 |
| 2005 |
| 5 | EE | Noam Rinetzky,
Jörg Bauer,
Thomas W. Reps,
Shmuel Sagiv,
Reinhard Wilhelm:
A semantics for procedure local heaps and its abstractions.
POPL 2005: 296-309 |
| 4 | EE | Noam Rinetzky,
Mooly Sagiv,
Eran Yahav:
Interprocedural Shape Analysis for Cutpoint-Free Programs.
SAS 2005: 284-302 |
| 2003 |
| 3 | EE | Alain Azagury,
Vladimir Dreizin,
Michael Factor,
Ealan Henis,
Dalit Naor,
Noam Rinetzky,
Ohad Rodeh,
Julian Satran,
Ami Tavory,
Lena Yerushalmi:
Towards an Object Stor.
IEEE Symposium on Mass Storage Systems 2003: 165- |
| 2002 |
| 2 | EE | Alain Azagury,
Ran Canetti,
Michael Factor,
Shai Halevi,
Ealan Henis,
Dalit Naor,
Noam Rinetzky,
Ohad Rodeh,
Julian Satran:
A Two Layered Approach for Securing an Object Store Network.
IEEE Security in Storage Workshop 2002: 10-23 |
| 2001 |
| 1 | EE | Noam Rinetzky,
Shmuel Sagiv:
Interprocedural Shape Analysis for Recursive Programs.
CC 2001: 133-149 |