Noam Rinetzky
Author
Alternate names N. Rinetzky, Rinetzky Noam, Noam Rinetzky, Noam Rinetsky
Institution Tel Aviv University
Past institutions Tel Aviv University, Technion – Israel Institute of Technology, University of Oxford, Queen Mary University of London
ORCID: Yes
H-index: 21
I10-index: 35
Works count: 90
Citations count: 1,728
Online detection of effectively callback free objects with applications to smart contracts
2017 · Shelly Grossman, Ittai Abraham, et al. · Proceedings of the ACM on Programming Languages
Abstraction for concurrent objects
2010 · Ivana Filipović, Peter W. O’Hearn, et al. · Theoretical Computer Science
A semantics for procedure local heaps and its abstractions
2005 · Noam Rinetzky, Jörg Bauer, et al.