| Abstraction for concurrent objects I Filipović, P O’Hearn, N Rinetzky, H Yang Theoretical Computer Science 411 (51-52), 4379-4398, 2010 | 206 | 2010 |
| Abstraction for concurrent objects I Filipović, P O’Hearn, N Rinetzky, H Yang Theoretical Computer Science 411 (51-52), 4379-4398, 2010 | 206 | 2010 |
| Online detection of effectively callback free objects with applications to smart contracts S Grossman, I Abraham, G Golan-Gueta, Y Michalevsky, N Rinetzky, ... Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017 | 179 | 2017 |
| Local reasoning for storable locks and threads A Gotsman, J Berdine, B Cook, N Rinetzky, M Sagiv Programming Languages and Systems: 5th Asian Symposium, APLAS 2007 …, 2007 | 163 | 2007 |
| A semantics for procedure local heaps and its abstractions N Rinetzky, J Bauer, T Reps, M Sagiv, R Wilhelm ACM SIGPLAN Notices 40 (1), 296-309, 2005 | 150 | 2005 |
| Towards an object store A Azagury, V Dreizin, M Factor, E Henis, D Naor, N Rinetzky, O Rodeh, ... 20th IEEE/11th NASA Goddard Conference on Mass Storage Systems and …, 2003 | 140 | 2003 |
| Comparison under abstraction for verifying linearizability D Amit, N Rinetzky, T Reps, M Sagiv, E Yahav Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 136 | 2007 |
| Interprocedural shape analysis for cutpoint-free programs N Rinetzky, M Sagiv, E Yahav Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005 | 100 | 2005 |
| Interprocedural shape analysis for recursive programs N Rinetzky, M Sagiv Compiler Construction: 10th International Conference, CC 2001 Held as Part …, 2001 | 97 | 2001 |
| Chopped symbolic execution D Trabish, A Mattavelli, N Rinetzky, C Cadar Proceedings of the 40th International Conference on Software Engineering …, 2018 | 87 | 2018 |
| Verifying linearizability with hindsight PW O'Hearn, N Rinetzky, MT Vechev, E Yahav, G Yorsh Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of …, 2010 | 76 | 2010 |
| Property-directed inference of universal invariants or proving their absence A Karbyshev, N Bjørner, S Itzhaky, N Rinetzky, S Shoham Journal of the ACM (JACM) 64 (1), 1-33, 2017 | 69 | 2017 |
| Simple and precise static analysis of untrusted linux kernel extensions E Gershuni, N Amit, A Gurfinkel, N Narodytska, JA Navas, N Rinetzky, ... Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 55 | 2019 |
| A two layered approach for securing an object store network A Azagury, R Canetti, M Factor, S Halevi, E Henis, D Naor, N Rinetzky, ... First International IEEE Security in Storage Workshop, 2002. Proceedings., 10-23, 2002 | 54 | 2002 |
| Verifying dereference safety via expanding-scope analysis A Loginov, E Yahav, S Chandra, S Fink, N Rinetzky, M Nanda Proceedings of the 2008 international symposium on Software testing and …, 2008 | 52 | 2008 |
| Verifying concurrent memory reclamation algorithms with grace A Gotsman, N Rinetzky, H Yang Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 48 | 2013 |
| Modular verification of concurrency-aware linearizability N Hemed, N Rinetzky, V Vafeiadis Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan …, 2015 | 34 | 2015 |
| Cgcexplorer: a semi-automated search procedure for provably correct concurrent collectors MT Vechev, E Yahav, DF Bacon, N Rinetzky Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007 | 33 | 2007 |
| A programming language perspective on transactional memory consistency H Attiya, A Gotsman, S Hans, N Rinetzky Proceedings of the 2013 ACM symposium on Principles of distributed computing …, 2013 | 31 | 2013 |
| Sequential verification of serializability H Attiya, G Ramalingam, N Rinetzky ACM Sigplan Notices 45 (1), 31-42, 2010 | 28 | 2010 |
