The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Noam Rinetzky" ( http://dblp.L3S.de/Authors/Noam_Rinetzky )

URL (Homepage):  http://www.cs.tau.ac.il/~maon/  Author page on DBLP  Author page in RDF  Community of Noam Rinetzky in ASPL-2

Publication years (Num. hits)
2001-2010 (17) 2013-2017 (20) 2018-2019 (14)
Publication types (Num. hits)
article(9) inproceedings(42)
Venues (Conferences, Journals, ...)
CoRR(4) DISC(3) ESOP(3) PLDI(3) PODC(3) SAS(3) CAV (1)(2) J. ACM(2) POPL(2) VMCAI(2) ACM Trans. Program. Lang. Syst...(1) APLAS(1) ASPLOS(1) CAV(1) CAV (2)(1) CC(1) More (+10 of total 34)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 21 occurrences of 18 keywords

Results
Found 52 publication records. Showing 51 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Daniel Deutch, Yuval Moskovitch, Noam Rinetzky COBRA: Compression Via Abstraction of Provenance for Hypothetical Reasoning. Search on Bibsonomy ICDE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel Deutch, Yuval Moskovitch, Noam Rinetzky Hypothetical Reasoning via Provenance Abstraction. Search on Bibsonomy SIGMOD Conference The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elazar 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. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar Computing summaries of string loops in C for better testing and refactoring. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shelly 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. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky Characterizing Transactional Memory Consistency Conditions Using Observational Refinement. Search on Bibsonomy J. ACM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yotam M. Y. Feldman, Constantin Enea, Adam Morrison 0001, Noam Rinetzky, Sharon Shoham Order out of Chaos: Proving Linearizability Using Local Views. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Shelly 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. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky Safe Privatization in Transactional Memory. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Yotam M. Y. Feldman, Constantin Enea, Adam Morrison 0001, Noam Rinetzky, Sharon Shoham Order out of Chaos: Proving Linearizability Using Local Views. Search on Bibsonomy DISC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar Chopped symbolic execution. Search on Bibsonomy ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky Safe privatization in transactional memory. Search on Bibsonomy PPOPP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Omer Katz, Noam Rinetzky, Eran Yahav Statistical Reconstruction of Class Hierarchies in Binaries. Search on Bibsonomy ASPLOS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Deutch, Yuval Moskovitch, Itay Polak, Noam Rinetzky Towards Hypothetical Reasoning Using Distributed Provenance. Search on Bibsonomy EDBT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham Property-Directed Inference of Universal Invariants or Proving Their Absence. Search on Bibsonomy J. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shelly Grossman, Sara Cohen, Shachar Itzhaky, Noam Rinetzky, Mooly Sagiv Verifying Equivalence of Spark Programs. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky RATCOP: Relational Analysis Tool for Concurrent Programs. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger On the Automated Verification of Web Applications with Embedded SQL. Search on Bibsonomy ICDT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Or Ozeri, Oded Padon, Noam Rinetzky, Mooly Sagiv Conjunctive Abstract Interpretation Using Paramodulation. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger On the automated verification of web applications with embedded SQL. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Roman Manevich, Boris Dogadov, Noam Rinetzky From Shape Analysis to Termination Analysis in Linear Time. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Noam Rinetzky, Sharon Shoham Property Directed Abstract Interpretation. Search on Bibsonomy VMCAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Aleksandr Karbyshev, Nikolaj Bjørner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham Property-Directed Inference of Universal Invariants or Proving Their Absence. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nir Hemed, Noam Rinetzky, Viktor Vafeiadis Modular Verification of Concurrency-Aware Linearizability. Search on Bibsonomy DISC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ghila 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. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Orr Tamir, Adam Morrison 0001, Noam Rinetzky A Heap-Based Concurrent Priority Queue with Mutable Priorities for Faster Parallel Algorithms. Search on Bibsonomy OPODIS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yuri Meshman, Noam Rinetzky, Eran Yahav Pattern-based Synthesis of Synchronization for the C++ Memory Model. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
1Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficient. Search on Bibsonomy DISC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nir Hemed, Noam Rinetzky Brief announcement: concurrency-aware linearizability. Search on Bibsonomy PODC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. Search on Bibsonomy Programming Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexey Gotsman, Noam Rinetzky, Hongseok Yang Verifying Concurrent Memory Reclamation Algorithms with Grace. Search on Bibsonomy ESOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Omer Tripp, Noam Rinetzky Tightfit: adaptive parallelization with foresight. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky A programming language perspective on transactional memory consistency. Search on Bibsonomy PODC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang Abstraction for concurrent objects. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hagit Attiya, G. Ramalingam, Noam Rinetzky Sequential verification of serializability. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF verification, concurrency, reduction, serializability
1Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv Field-sensitive program dependence analysis. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh Verifying linearizability with hindsight. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hindsight, linearizability, wait-freedom, optimistic concurrency
1Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang Abstraction for Concurrent Objects. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav On the complexity of partially-flow-sensitive alias analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF flow-insensitive, Alias analysis, flow-sensitive
1Alexey Loginov, Eran Yahav, Satish Chandra 0001, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda Verifying dereference safety via expanding-scope analysis. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF static analysis, abstract interpretation, specification inference
1Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav Comparison Under Abstraction for Verifying Linearizability. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv Local Reasoning for Storable Locks and Threads. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav Modular Shape Analysis for Dynamically Encapsulated Programs. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF verification, synthesis, concurrent garbage collection, concurrent algorithms
1Nurit 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. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Noam Rinetzky, Jörg Bauer 0001, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm A semantics for procedure local heaps and its abstractions. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF 3-valued logic, static analysis, abstract interpretation, shape analysis
1Noam Rinetzky, Mooly Sagiv, Eran Yahav Interprocedural Shape Analysis for Cutpoint-Free Programs. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alain Azagury, Vladimir Dreizin, Michael Factor, Ealan Henis, Dalit Naor, Noam Rinetzky, Ohad Rodeh, Julian Satran, Ami Tavory, Lena Yerushalmi Towards an Object Stor. Search on Bibsonomy IEEE Symposium on Mass Storage Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alain 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. Search on Bibsonomy IEEE Security in Storage Workshop The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Object Store Device, SAN, Storage Security
1Noam Rinetzky, Shmuel Sagiv Interprocedural Shape Analysis for Recursive Programs. Search on Bibsonomy CC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #51 of 51 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license