Noam Rinetzky

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 42

Top Topics

Class Hierarchies

Transactional Memory

Symbolic Execution

Top Venues

ESEC/SIGSOFT FSE

Proc. ACM Program. Lang.

Publications

David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma
State Merging with Quantifiers in Symbolic Execution. ESEC/SIGSOFT FSE (2023)
Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks. IEEE Trans. Dependable Secur. Comput. 20 (3) (2023)
David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma
State Merging with Quantifiers in Symbolic Execution. CoRR (2023)
Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Runtime Complexity Bounds Using Squeezers. ACM Trans. Program. Lang. Syst. 44 (3) (2022)
David Trabish, Shachar Itzhaky, Noam Rinetzky
A bounded symbolic-size model for symbolic execution. ESEC/SIGSOFT FSE (2021)
Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction. CoRR (2021)
Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Run-time Complexity Bounds Using Squeezers. ESOP (2021)
David Trabish, Shachar Itzhaky, Noam Rinetzky
Address-Aware Query Caching for Symbolic Execution. ICST (2021)
Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival
Shape Analysis. Found. Trends Program. Lang. 6 (1-2) (2020)
David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
Past-sensitive pointer analysis for symbolic execution. ESEC/SIGSOFT FSE (2020)
Daniel Deutch, Yuval Moskovitch, Noam Rinetzky
COBRA: Compression via Abstraction of Provenance for Hypothetical Reasoning. CoRR (2020)
Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky
A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs. CoRR (2020)
Daniel Deutch, Yuval Moskovitch, Noam Rinetzky
Hypothetical Reasoning via Provenance Abstraction. CoRR (2020)
Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham
Proving Highly-Concurrent Traversals Correct. CoRR (2020)
Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction. VMCAI (2020)
David Trabish, Noam Rinetzky
Relocatable addressing model for symbolic execution. ISSTA (2020)
Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham
Proving highly-concurrent traversals correct. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv
Taming callbacks for smart contract modularity. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, Noam Rinetzky
Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation. VMCAI (2020)
Daniel Deutch, Yuval Moskovitch, Noam Rinetzky
Hypothetical Reasoning via Provenance Abstraction. SIGMOD Conference (2019)
Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar
Computing summaries of string loops in C for better testing and refactoring. PLDI (2019)
Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv
Simple and precise static analysis of untrusted Linux kernel extensions. PLDI (2019)
Daniel Deutch, Yuval Moskovitch, Noam Rinetzky
COBRA: Compression Via Abstraction of Provenance for Hypothetical Reasoning. ICDE (2019)
David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar
Chopped symbolic execution. ICSE (2018)
Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, Yoni Zohar
Online detection of effectively callback free objects with applications to smart contracts. Proc. ACM Program. Lang. 2 (POPL) (2018)
Omer Katz, Noam Rinetzky, Eran Yahav
Statistical Reconstruction of Class Hierarchies in Binaries. ASPLOS (2018)
Daniel Deutch, Yuval Moskovitch, Itay Polak, Noam Rinetzky
Towards Hypothetical Reasoning Using Distributed Provenance. EDBT (2018)
Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, Yoni Zohar
Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts. CoRR (2018)
Yotam M. Y. Feldman, Constantin Enea, Adam Morrison, Noam Rinetzky, Sharon Shoham
Order out of Chaos: Proving Linearizability Using Local Views. CoRR (2018)
Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky
Safe Privatization in Transactional Memory. CoRR (2018)
Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky
Characterizing Transactional Memory Consistency Conditions Using Observational Refinement. J. ACM 65 (1) (2018)
Yotam M. Y. Feldman, Constantin Enea, Adam Morrison, Noam Rinetzky, Sharon Shoham
Order out of Chaos: Proving Linearizability Using Local Views. DISC (2018)
Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky
Safe privatization in transactional memory. PPOPP (2018)
Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky
RATCOP: Relational Analysis Tool for Concurrent Programs. Haifa Verification Conference (2017)
Shelly Grossman, Sara Cohen, Shachar Itzhaky, Noam Rinetzky, Mooly Sagiv
Verifying Equivalence of Spark Programs. CAV (2) (2017)
Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs. SAS (2017)
Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Property-Directed Inference of Universal Invariants or Proving Their Absence. J. ACM 64 (1) (2017)
Or Ozeri, Oded Padon, Noam Rinetzky, Mooly Sagiv
Conjunctive Abstract Interpretation Using Paramodulation. VMCAI (2017)
Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger
On the Automated Verification of Web Applications with Embedded SQL. ICDT (2017)
Noam Rinetzky, Sharon Shoham
Property Directed Abstract Interpretation. VMCAI (2016)
Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger
On the automated verification of web applications with embedded SQL. CoRR (2016)
Roman Manevich, Boris Dogadov, Noam Rinetzky
From Shape Analysis to Termination Analysis in Linear Time. CAV (1) (2016)
Yuri Meshman, Noam Rinetzky, Eran Yahav
Pattern-based Synthesis of Synchronization for the C++ Memory Model. FMCAD (2015)
Nir Hemed, Noam Rinetzky, Viktor Vafeiadis
Modular Verification of Concurrency-Aware Linearizability. DISC (2015)
Orr Tamir, Adam Morrison, Noam Rinetzky
A Heap-Based Concurrent Priority Queue with Mutable Priorities for Faster Parallel Algorithms. OPODIS (2015)
Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
Property-Directed Inference of Universal Invariants or Proving Their Absence. CAV (1) (2015)
Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang
Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis. SAS (2015)
Nir Hemed, Noam Rinetzky
Brief announcement: concurrency-aware linearizability. PODC (2014)
Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky
Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficient. DISC (2014)
Alexey Gotsman, Noam Rinetzky, Hongseok Yang
Verifying Concurrent Memory Reclamation Algorithms with Grace. ESOP (2013)
Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. Programming Logics (2013)
Omer Tripp, Noam Rinetzky
Tightfit: adaptive parallelization with foresight. ESEC/SIGSOFT FSE (2013)
Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky
A programming language perspective on transactional memory consistency. PODC (2013)
Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh
Verifying linearizability with hindsight. PODC (2010)
Hagit Attiya, G. Ramalingam, Noam Rinetzky
Sequential verification of serializability. POPL (2010)
Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang
Abstraction for concurrent objects. Theor. Comput. Sci. 411 (51-52) (2010)
Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv
Field-sensitive program dependence analysis. SIGSOFT FSE (2010)
Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang
Abstraction for Concurrent Objects. ESOP (2009)
Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda
Verifying dereference safety via expanding-scope analysis. ISSTA (2008)
Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav
On the complexity of partially-flow-sensitive alias analysis. ACM Trans. Program. Lang. Syst. 30 (3) (2008)
Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv
Local Reasoning for Storable Locks and Threads. APLAS (2007)
Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav
Modular Shape Analysis for Dynamically Encapsulated Programs. ESOP (2007)
Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav
Comparison Under Abstraction for Verifying Linearizability. CAV (2007)
Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. PLDI (2007)
Noam Rinetzky, Mooly Sagiv, Eran Yahav
Interprocedural Shape Analysis for Cutpoint-Free Programs. SAS (2005)
Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
A semantics for procedure local heaps and its abstractions. POPL (2005)
Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh
Automatic Verification of Strongly Dynamic Software Systems. VSTTE (2005)
Alain Azagury, Vladimir Dreizin, Michael Factor, Ealan Henis, Dalit Naor, Noam Rinetzky, Ohad Rodeh, Julian Satran, Ami Tavory, Lena Yerushalmi
Towards an Object Stor. IEEE Symposium on Mass Storage Systems (2003)
Alain Azagury, Ran Canetti, Michael Factor, Shai Halevi, Ealan Henis, Dalit Naor, Noam Rinetzky, Ohad Rodeh, Julian Satran
A Two Layered Approach for Securing an Object Store Network. IEEE Security in Storage Workshop (2002)
Noam Rinetzky, Shmuel Sagiv
Interprocedural Shape Analysis for Recursive Programs. CC (2001)