Noam Rinetzky

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