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 | 253 | 2017 |
Abstraction for concurrent objects I Filipović, P O’Hearn, N Rinetzky, H Yang Theoretical Computer Science 411 (51-52), 4379-4398, 2010 | 227 | 2010 |
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 | 169 | 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 | 151 | 2005 |
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 | 145 | 2007 |
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 | 144 | 2003 |
Chopped symbolic execution D Trabish, A Mattavelli, N Rinetzky, C Cadar Proceedings of the 40th International Conference on Software Engineering …, 2018 | 118 | 2018 |
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 | 113 | 2019 |
Interprocedural shape analysis for recursive programs N Rinetzky, M Sagiv International Conference on Compiler Construction, 133-149, 2001 | 103 | 2001 |
Interprocedural shape analysis for cutpoint-free programs N Rinetzky, M Sagiv, E Yahav Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005 | 101 | 2005 |
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 | 91 | 2017 |
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 | 89 | 2010 |
Verifying concurrent memory reclamation algorithms with grace A Gotsman, N Rinetzky, H Yang Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 58 | 2013 |
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 | 58 | 2008 |
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 |
Modular verification of concurrency-aware linearizability N Hemed, N Rinetzky, V Vafeiadis Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan …, 2015 | 41 | 2015 |
Taming callbacks for smart contract modularity E Albert, S Grossman, N Rinetzky, C Rodríguez-Núñez, A Rubio, M Sagiv Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 39 | 2020 |
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 | 33 | 2013 |
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 |
Verifying equivalence of spark programs S Grossman, S Cohen, S Itzhaky, N Rinetzky, M Sagiv Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 32 | 2017 |