×

zbMATH — the first resource for mathematics

Rinetzky, Noam

Compute Distance To:
Author ID: rinetzky.noam Recent zbMATH articles by "Rinetzky, Noam"
Published as: Rinetzky, N.; Rinetzky, Noam
Documents Indexed: 24 Publications since 2001

Publications by Year

Citations contained in zbMATH

13 Publications have been cited 57 times in 44 Documents Cited by Year
Local reasoning for storable locks and threads. Zbl 1137.68354
Gotsman, Alexey; Berdine, Josh; Cook, Byron; Rinetzky, Noam; Sagiv, Mooly
11
2007
Abstraction for concurrent objects. Zbl 1209.68156
Filipović, Ivana; O’Hearn, Peter; Rinetzky, Noam; Yang, Hongseok
8
2010
Abstraction for concurrent objects. Zbl 1234.68065
Filipović, Ivana; O’Hearn, Peter; Rinetzky, Noam; Yang, Hongseok
7
2009
Verifying linearizability with hindsight. Zbl 1315.68068
O’Hearn, Peter W.; Rinetzky, Noam; Vechev, Martin T.; Yahav, Eran; Yorsh, Greta
6
2010
Comparison under abstraction for verifying linearizability. Zbl 1135.68462
Amit, Daphna; Rinetzky, Noam; Reps, Thomas; Sagiv, Mooly; Yahav, Eran
5
2007
A semantics for procedure local heaps and its abstractions. Zbl 1369.68154
Rinetzky, Noam; Bauer, Jörg; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
5
2005
Property-directed inference of universal invariants or proving their absence. Zbl 1381.68169
Karbyshev, A.; Bjørner, N.; Itzhaky, S.; Rinetzky, N.; Shoham, S.
4
2015
Interprocedural shape analysis for cutpoint-free programs. Zbl 1141.68375
Rinetzky, Noam; Sagiv, Mooly; Yahav, Eran
4
2005
Modular verification of concurrency-aware linearizability. Zbl 1394.68229
Hemed, Nir; Rinetzky, Noam; Vafeiadis, Viktor
2
2015
A programming language perspective on transactional memory consistency. Zbl 1323.68061
Attiya, Hagit; Gotsman, Alexey; Hans, Sandeep; Rinetzky, Noam
2
2013
Verifying concurrent memory reclamation algorithms with grace. Zbl 1381.68053
Gotsman, Alexey; Rinetzky, Noam; Yang, Hongseok
1
2013
Interprocedural shape analysis for effectively cutpoint-free programs. Zbl 1383.68025
Kreiker, J.; Reps, T.; Rinetzky, N.; Sagiv, M.; Wilhelm, Reinhard; Yahav, E.
1
2013
Interprocedural shape analysis for recursive programs. Zbl 0977.68688
Rinetzky, Noam; Sagiv, Mooly
1
2001
Property-directed inference of universal invariants or proving their absence. Zbl 1381.68169
Karbyshev, A.; Bjørner, N.; Itzhaky, S.; Rinetzky, N.; Shoham, S.
4
2015
Modular verification of concurrency-aware linearizability. Zbl 1394.68229
Hemed, Nir; Rinetzky, Noam; Vafeiadis, Viktor
2
2015
A programming language perspective on transactional memory consistency. Zbl 1323.68061
Attiya, Hagit; Gotsman, Alexey; Hans, Sandeep; Rinetzky, Noam
2
2013
Verifying concurrent memory reclamation algorithms with grace. Zbl 1381.68053
Gotsman, Alexey; Rinetzky, Noam; Yang, Hongseok
1
2013
Interprocedural shape analysis for effectively cutpoint-free programs. Zbl 1383.68025
Kreiker, J.; Reps, T.; Rinetzky, N.; Sagiv, M.; Wilhelm, Reinhard; Yahav, E.
1
2013
Abstraction for concurrent objects. Zbl 1209.68156
Filipović, Ivana; O’Hearn, Peter; Rinetzky, Noam; Yang, Hongseok
8
2010
Verifying linearizability with hindsight. Zbl 1315.68068
O’Hearn, Peter W.; Rinetzky, Noam; Vechev, Martin T.; Yahav, Eran; Yorsh, Greta
6
2010
Abstraction for concurrent objects. Zbl 1234.68065
Filipović, Ivana; O’Hearn, Peter; Rinetzky, Noam; Yang, Hongseok
7
2009
Local reasoning for storable locks and threads. Zbl 1137.68354
Gotsman, Alexey; Berdine, Josh; Cook, Byron; Rinetzky, Noam; Sagiv, Mooly
11
2007
Comparison under abstraction for verifying linearizability. Zbl 1135.68462
Amit, Daphna; Rinetzky, Noam; Reps, Thomas; Sagiv, Mooly; Yahav, Eran
5
2007
A semantics for procedure local heaps and its abstractions. Zbl 1369.68154
Rinetzky, Noam; Bauer, Jörg; Reps, Thomas; Sagiv, Mooly; Wilhelm, Reinhard
5
2005
Interprocedural shape analysis for cutpoint-free programs. Zbl 1141.68375
Rinetzky, Noam; Sagiv, Mooly; Yahav, Eran
4
2005
Interprocedural shape analysis for recursive programs. Zbl 0977.68688
Rinetzky, Noam; Sagiv, Mooly
1
2001
all top 5

Cited by 109 Authors

3 da Rocha Pinto, Pedro
3 Gardner, Philippa Anne
3 O’Hearn, Peter W.
3 Schellhorn, Gerhard
3 Smith, Graeme
2 Appel, Andrew W.
2 Birkedal, Lars
2 Derrick, John
2 Dinsdale-Young, Thomas
2 Dongol, Brijesh
2 Gotsman, Alexey
2 Hobor, Aquinas
2 Murawski, Andrzej S.
2 Pottier, François
2 Rinetzky, Noam
2 Sagiv, Mooly
2 Tzevelekos, Nikos
2 Wehrheim, Heike
2 Winter, Kirsten
2 Yang, Hongseok
1 Amighi, Afshin
1 Bäumler, Simon
1 Belzner, Lenz
1 Bjørner, Nikolaj S.
1 Blom, Stefan
1 Bouajjani, Ahmed
1 Brutschy, Lucas
1 Buisse, Alexandre
1 Busch, Marianne
1 Charguéraud, Arthur
1 Cimatti, Alessandro
1 Colvin, Robert J.
1 Darabi, Saeed
1 Di Francesco, Marco
1 Dockins, Robert
1 Dodds, Mike
1 Doherty, Simon
1 Dong, Yuan
1 Dragoi, Cezara
1 Enea, Constantin
1 Fasching, Anton
1 Feldman, Yotam M. Y.
1 Feng, Xinyu
1 Filipović, Ivana
1 Frumkin, Asya
1 Garg, Pranav
1 Genaim, Samir
1 Gherghina, Cristian
1 Griggio, Alberto
1 Guo, Yu
1 Gurfinkel, Arie
1 Hierons, Robert Mark
1 Hölzl, Matthias M.
1 Huisman, Marieke
1 Hurlin, Clément
1 Hussain, Akbar
1 Jagadeesan, Radha
1 Jeannet, Bertrand
1 Khyzha, Artem
1 Klarl, Annabelle
1 Koch, Nora
1 Kreiker, Jörg
1 Kroiss, Christian
1 Lhoták, Ondřej
1 Lv, Yi
1 Madhusudan, Parthasarathy
1 Mayer, Philip
1 McMillan, Kenneth L.
1 Mostowski, Wojciech I.
1 Mover, Sergio
1 Neider, Daniel
1 Ntzik, Gian
1 Oh, Hakjoo
1 Padon, Oded
1 Park, Daejun
1 Parkinson, Matthew J.
1 Petersen, Rasmus Lerchedahl
1 Raed, Laith
1 Reif, Wolfgang
1 Reps, Tom
1 Riely, James
1 Rybalchenko, Andrey
1 Saha, Shambwaditya
1 Sánchez, Alejandro D.
1 Sánchez, César
1 Schroeder, Andreas
1 Shao, Zhong
1 Shoham, Sharon
1 Siek, Konrad
1 Sighireanu, Mihaela
1 Sotin, Pascal
1 Støvring, Kristian
1 Talmage, Edward
1 Thamsborg, Jacob
1 Tofan, Bogdan
1 Tonetta, Stefano
1 Travkin, Oleg
1 Vafeiadis, Viktor
1 Villard, Jules
1 Wang, Chao
...and 9 more Authors

Citations by Year