Noam Rinetzky

1.6k total citations
39 papers, 479 citations indexed

About

Noam Rinetzky is a scholar working on Computer Networks and Communications, Artificial Intelligence and Information Systems. According to data from OpenAlex, Noam Rinetzky has authored 39 papers receiving a total of 479 indexed citations (citations by other indexed papers that have themselves been cited), including 20 papers in Computer Networks and Communications, 17 papers in Artificial Intelligence and 14 papers in Information Systems. Recurrent topics in Noam Rinetzky's work include Distributed systems and fault tolerance (13 papers), Software Testing and Debugging Techniques (12 papers) and Parallel Computing and Optimization Techniques (11 papers). Noam Rinetzky is often cited by papers focused on Distributed systems and fault tolerance (13 papers), Software Testing and Debugging Techniques (12 papers) and Parallel Computing and Optimization Techniques (11 papers). Noam Rinetzky collaborates with scholars based in Israel, United States and United Kingdom. Noam Rinetzky's co-authors include Eran Yahav, Mooly Sagiv, Peter W. O’Hearn, Hongseok Yang, Ivana Filipović, Cristian Cadar, Martin Vechev, Reinhard Wilhelm, Andrea Mattavelli and Thomas Reps and has published in prestigious journals such as Journal of the ACM, Theoretical Computer Science and ACM SIGPLAN Notices.

In The Last Decade

Noam Rinetzky

36 papers receiving 453 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Noam Rinetzky Israel 11 254 222 153 143 139 39 479
Manos Kapritsos United States 11 172 0.7× 457 2.1× 99 0.6× 50 0.3× 76 0.5× 17 557
Cliff Click United States 9 367 1.4× 254 1.1× 424 2.8× 130 0.9× 85 0.6× 12 584
Doug Woos United States 8 147 0.6× 336 1.5× 112 0.7× 54 0.4× 78 0.6× 13 420
Shu-Chun Weng United States 9 218 0.9× 532 2.4× 209 1.4× 41 0.3× 74 0.5× 13 683
Elliot K. Kolodner Israel 15 346 1.4× 479 2.2× 444 2.9× 55 0.4× 47 0.3× 51 711
Pavol Černý United States 12 267 1.1× 195 0.9× 79 0.5× 224 1.6× 222 1.6× 27 552
Ilya Sergey Singapore 12 297 1.2× 199 0.9× 105 0.7× 113 0.8× 134 1.0× 53 461
Hans‐Juergen Boehm United States 7 472 1.9× 299 1.3× 423 2.8× 85 0.6× 116 0.8× 8 658
Jan Hoffmann United States 14 451 1.8× 125 0.6× 182 1.2× 122 0.9× 362 2.6× 41 578
Vladimir Levin United States 8 262 1.0× 129 0.6× 122 0.8× 258 1.8× 198 1.4× 14 497

Countries citing papers authored by Noam Rinetzky

Since Specialization
Citations

This map shows the geographic impact of Noam Rinetzky's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Noam Rinetzky with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Noam Rinetzky more than expected).

Fields of papers citing papers by Noam Rinetzky

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Noam Rinetzky. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Noam Rinetzky. The network helps show where Noam Rinetzky may publish in the future.

Co-authorship network of co-authors of Noam Rinetzky

This figure shows the co-authorship network connecting the top 25 collaborators of Noam Rinetzky. A scholar is included among the top collaborators of Noam Rinetzky based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Noam Rinetzky. Noam Rinetzky is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Rinetzky, Noam, et al.. (2023). State Merging with Quantifiers in Symbolic Execution. 1140–1152. 2 indexed citations
2.
Itzhaky, Shachar, et al.. (2021). A bounded symbolic-size model for symbolic execution. 1190–1201. 7 indexed citations
3.
Chang, Bor-Yuh Evan, et al.. (2020). Shape Analysis. HAL (Le Centre pour la Communication Scientifique Directe). 6(1-2). 1–158. 4 indexed citations
4.
Albert, Elvira, et al.. (2020). Taming callbacks for smart contract modularity. Proceedings of the ACM on Programming Languages. 4(OOPSLA). 1–30. 15 indexed citations
5.
Rinetzky, Noam, et al.. (2020). Past-sensitive pointer analysis for symbolic execution. 197–208. 5 indexed citations
6.
Itzhaky, Shachar, et al.. (2019). Computing summaries of string loops in C for better testing and refactoring. Spiral (Imperial College London). 874–888. 9 indexed citations
7.
8.
Deutch, Daniel, et al.. (2019). Hypothetical Reasoning via Provenance Abstraction. 537–554. 7 indexed citations
9.
Rinetzky, Noam, et al.. (2018). Statistical Reconstruction of Class Hierarchies in Binaries. 363–376. 10 indexed citations
10.
Attiya, Hagit, et al.. (2018). Safe privatization in transactional memory. 233–245. 5 indexed citations
11.
Itzhaky, Shachar, et al.. (2017). On the Automated Verification of Web Applications with Embedded SQL. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 8 indexed citations
12.
Morrison, Adam, et al.. (2016). A Heap-Based Concurrent Priority Queue with Mutable Priorities for Faster Parallel Algorithms. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations
13.
Rinetzky, Noam, et al.. (2015). Pattern-based synthesis of synchronization for the C++ memory model. 120–127. 4 indexed citations
14.
Tripp, Omer & Noam Rinetzky. (2013). Tightfit: adaptive parallelization with foresight. 169–179. 4 indexed citations
15.
Attiya, Hagit, Alexey Gotsman, Sandeep Hans, & Noam Rinetzky. (2013). A programming language perspective on transactional memory consistency. 309–318. 11 indexed citations
16.
Filipović, Ivana, Peter W. O’Hearn, Noam Rinetzky, & Hongseok Yang. (2010). Abstraction for concurrent objects. Theoretical Computer Science. 411(51-52). 4379–4398. 66 indexed citations
17.
Dor, Nurit, et al.. (2010). Field-sensitive program dependence analysis. 287–296. 9 indexed citations
18.
Логинов, А. А., Eran Yahav, Satish Chandra, et al.. (2008). Verifying dereference safety via expanding-scope analysis. 213–224. 33 indexed citations
19.
Rinetzky, Noam, G. Ramalingam, Mooly Sagiv, & Eran Yahav. (2008). On the complexity of partially-flow-sensitive alias analysis. ACM Transactions on Programming Languages and Systems. 30(3). 1–28. 6 indexed citations
20.
Rinetzky, Noam, Jörg Bauer, Thomas Reps, Mooly Sagiv, & Reinhard Wilhelm. (2005). A semantics for procedure local heaps and its abstractions. 296–309. 56 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Manos Kapritsos Breakdown of academic impact, for papers by Cliff Click Breakdown of academic impact, for papers by Doug Woos Breakdown of academic impact, for papers by Shu-Chun Weng Breakdown of academic impact, for papers by Elliot K. Kolodner Breakdown of academic impact, for papers by Pavol Černý Breakdown of academic impact, for papers by Ilya Sergey Breakdown of academic impact, for papers by Hans‐Juergen Boehm Breakdown of academic impact, for papers by Jan Hoffmann Breakdown of academic impact, for papers by Vladimir Levin
Rankless by CCL
2026