No photo of Noam Rinetzky

View Scopus Profile

Noam Rinetzky

Professor

Former affiliation
 https://orcid.org/0000-0002-7750-4085
20012023

Research activity per year

Filter
Conference contribution

Search results

  • 2023

    State Merging with Quantifiers in Symbolic Execution

    Trabish, D., Rinetzky, N., Shoham, S. & Sharma, V., 30 Nov 2023, ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Chandra, S., Blincoe, K. & Tonella, P. (eds.). Association for Computing Machinery, Inc, p. 1140-1152 13 p. (ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
  • 2021

    A bounded symbolic-size model for symbolic execution

    Trabish, D., Itzhaky, S. & Rinetzky, N., 20 Aug 2021, ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D. (ed.). Association for Computing Machinery, Inc, p. 1190-1201 12 p. (ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Scopus citations

  • Address-Aware Query Caching for Symbolic Execution

    Trabish, D., Itzhaky, S. & Rinetzky, N., Apr 2021, Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation, ICST 2021. Institute of Electrical and Electronics Engineers Inc., p. 116-126 11 p. 9438562. (Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation, ICST 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Run-time Complexity Bounds Using Squeezers

    Ish-Shalom, O., Itzhaky, S., Rinetzky, N. & Shoham, S., 2021, Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Proceedings. Yoshida, N. (ed.). Springer Science and Business Media Deutschland GmbH, p. 320-347 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12648 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations
  • 2020

    Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation

    Ish-Shalom, O., Itzhaky, S., Manevich, R. & Rinetzky, N., 2020, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, Proceedings. Beyer, D. & Zufferey, D. (eds.). Springer, p. 180-201 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11990 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Past-sensitive pointer analysis for symbolic execution

    Trabish, D., Kapus, T., Rinetzky, N. & Cadar, C., 8 Nov 2020, ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Devanbu, P., Cohen, M. & Zimmermann, T. (eds.). Association for Computing Machinery, Inc, p. 197-208 12 p. (ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations

  • Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction

    Ish-Shalom, O., Itzhaky, S., Rinetzky, N. & Shoham, S., 2020, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, Proceedings. Beyer, D. & Zufferey, D. (eds.). Springer, p. 112-135 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11990 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • Relocatable addressing model for symbolic execution

    Trabish, D. & Rinetzky, N., 18 Jul 2020, ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. Khurshid, S. & Pasareanu, C. S. (eds.). Association for Computing Machinery, Inc, p. 51-62 12 p. (ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Scopus citations
  • 2019

    COBRA: Compression via abstraction of provenance for hypothetical reasoning

    Deutch, D., Moskovitch, Y. & Rinetzky, N., Apr 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE Computer Society, p. 2016-2019 4 p. 8731529. (Proceedings - International Conference on Data Engineering; vol. 2019-April).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Computing summaries of string loops in C for better testing and refactoring

    Kapus, T., Ish-Shalom, O., Itzhaky, S., Rinetzky, N. & Cadar, C., 8 Jun 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 874-888 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Scopus citations

  • Hypothetical reasoning via provenance abstraction

    Deutch, D., Moskovitch, Y. & Rinetzky, N., 25 Jun 2019, SIGMOD 2019 - Proceedings of the 2019 International Conference on Management of Data. Association for Computing Machinery, p. 537-554 18 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    11 Scopus citations

  • Simple and precise static analysis of untrusted Linux kernel extensions

    Gershuni, E., Narodytska, N., Amit, N., Navas, J. A., Gurfinkel, A., Rinetzky, N., Ryzhyk, L. & Sagiv, M., 8 Jun 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 1069-1084 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    66 Scopus citations
  • 2018

    Order out of chaos: Proving linearizability using local views

    Feldman, Y. M. Y., Enea, C., Morrison, A., Rinetzky, N. & Shoham, S., 1 Oct 2018, 32nd International Symposium on Distributed Computing, DISC 2018. Schmid, U. & Widder, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 121).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Scopus citations

  • Safe privatization in transactional memory

    Khyzha, A., Attiya, H., Gotsman, A. & Rinetzky, N., 10 Feb 2018, PPoPP 2018 - Proceedings of the 23rd Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 233-245 13 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    6 Scopus citations

  • Statistical reconstruction of class hierarchies in binaries

    Katz, O., Rinetzky, N. & Yahav, E., 19 Mar 2018, ASPLOS 2018 - 23rd International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 363-376 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Scopus citations

  • Towards hypothetical reasoning using distributed provenance

    Deutch, D., Moskovitch, Y., Polack Gadassi, I. & Rinetzky, N., 2018, Advances in Database Technology - EDBT 2018: 21st International Conference on Extending Database Technology, Proceedings. Bohlen, M., Pichler, R., May, N., Rahm, E., Wu, S.-H. & Hose, K. (eds.). OpenProceedings.org, p. 461-464 4 p. (Advances in Database Technology - EDBT; vol. 2018-March).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 2017

    Conjunctive abstract interpretation using paramodulation

    Ozeri, O., Padon, O., Rinetzky, N. & Sagiv, M., 2017, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Proceedings. Bouajjani, A. & Monniaux, D. (eds.). Springer Verlag, p. 442-461 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10145 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • On the automated verification of web applications with embedded SQL

    Itzhaky, S., Kotek, T., Rinetzky, N., Sagiv, M., Tamir, O., Veith, H. & Zuleger, F., 1 Mar 2017, 20th International Conference on Database Theory, ICDT 2017. Orsi, G. & Benedikt, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 68).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • RATCOP: Relational analysis tool for concurrent programs

    Mukherjee, S., Padon, O., Shoham, S., D’Souza, D. & Rinetzky, N., 2017, Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Proceedings. Tzoref-Brill, R. & Strichman, O. (eds.). Springer Verlag, p. 229-233 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10629 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Thread-local semantics and its efficient sequential abstractions for race-free programs

    Mukherjee, S., Padon, O., Shoham, S., D’Souza, D. & Rinetzky, N., 2017, Static Analysis - 24th International Symposium, SAS 2017, Proceedings. Ranzato, F. (ed.). Springer Verlag, p. 253-276 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10422 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Verifying equivalence of spark programs

    Grossman, S., Cohen, S., Itzhaky, S., Rinetzky, N. & Sagiv, M., 2017, Computer Aided Verification - 29th International Conference, CAV 2017, Proceedings. Kuncak, V. & Majumdar, R. (eds.). Springer Verlag, p. 282-300 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10427 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Scopus citations
  • 2016

    A heap-based concurrent priority queue with mutable priorities for faster parallel algorithms

    Tamir, O., Morrison, A. & Rinetzky, N., 1 Sep 2016, 19th International Conference on Principles of Distributed Systems, OPODIS 2015. Anceaume, E., Cachin, C. & Potop-Butucaru, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 15.1-15.16 (Leibniz International Proceedings in Informatics, LIPIcs; vol. 46).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • From shape analysis to termination analysis in linear time

    Manevich, R., Dogadov, B. & Rinetzky, N., 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Farzan, A. & Chaudhuri, S. (eds.). Springer Verlag, p. 426-446 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9779).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Pattern-based synthesis of synchronization for the C++ memory model

    Meshman, Y., Rinetzky, N. & Yahav, E., 11 Aug 2016, Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015. Kaivola, R. & Wahl, T. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 120-127 8 p. 7542261. (Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations

  • Property directed abstract interpretation

    Rinetzky, N. & Shoham, S., 2016, Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, Proceedings. Rustan, K., Leino, M. & Jobstmann, B. (eds.). Springer Verlag, p. 104-123 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9583).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 2015

    Modularity in lattices: A case study on the correspondence between top-down and bottom-up analysis

    Castelnuovo, G., Naik, M., Rinetzky, N., Sagiv, M. & Yang, H., 2015, Static Analysis- 22nd International Symposium, SAS 2015, Proceedings. Blazy, S. & Jensen, T. (eds.). Springer Verlag, p. 252-274 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9291).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Modular verification of concurrency-aware linearizability

    Hemed, N., Rinetzky, N. & Vafeiadis, V., 2015, Distributed Computing - 29th International Symposium, DISC 2015, Proceedings. Moses, Y. (ed.). Springer Verlag, p. 371-387 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9363).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    24 Scopus citations

  • Property-directed inference of universal invariants or proving their absence

    Karbyshev, A., Bjørner, N., Itzhaky, S., Rinetzky, N. & Shoham, S., 2015, Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings. Pasareanu, C. S., Kroening, D., Pasareanu, C. S. & Kroening, D. (eds.). Springer Verlag, p. 583-602 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9206).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    24 Scopus citations
  • 2014

    Brief announcement: Concurrency-aware Linearizability

    Hemed, N. & Rinetzky, N., 2014, PODC 2014 - Proceedings of the 2014 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 209-211 3 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Scopus citations

  • Safety of live transactions in transactional memory: TMS is necessary and sufficient

    Attiya, H., Gotsman, A., Hans, S. & Rinetzky, N., 2014, Distributed Computing - 28th International Symposium, DISC 2014, Proceedings. Kuhn, F. (ed.). Springer Verlag, p. 376-390 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8784).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Scopus citations
  • 2013

    A programming language perspective on transactional memory consistency

    Attiya, H., Gotsman, A., Hans, S. & Rinetzky, N., 2013, PODC 2013 - Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing. p. 309-318 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    18 Scopus citations

  • Tightfit: Adaptive parallelization with foresight

    Tripp, O. & Rinetzky, N., 2013, 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. p. 169-179 11 p. (2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Verifying concurrent memory reclamation algorithms with grace

    Gotsman, A., Rinetzky, N. & Yang, H., 2013, Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proceedings. p. 249-269 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7792 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    28 Scopus citations
  • 2010

    Field-sensitive program dependence analysis

    Litvak, S., Dor, N., Bodik, R., Rinetzky, N. & Sagiv, M., 2010, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE-18. p. 287-296 10 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Scopus citations

  • Sequential verification of serializability

    Attiya, H., Ramalingam, G. & Rinetzky, N., 2010, POPL'10 - Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 31-42 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Verifying linearizability with Hindsight

    O'Hearn, P. W., Rinetzky, N., Vechev, M. T., Yahav, E. & Yorsh, G., 2010, PODC'10 - Proceedings of the 2010 ACM Symposium on Principles of Distributed Computing. p. 85-94 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    60 Scopus citations
  • 2009

    Abstraction for concurrent objects

    Filipović, I., O'Hearn, P., Rinetzky, N. & Yang, H., 2009, Programming Languages and Systems - 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, Proceedings. p. 252-266 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5502).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    32 Scopus citations
  • 2008

    Automatic verification of strongly dynamic software systems

    Dor, N., Field, J., Gopan, D., Lev-Ami, T., Loginov, A., Manevich, R., Ramalingam, G., Reps, T., Rinetzky, N., Sagiv, M., Wilhelm, R., Yahav, E. & Yorsh, G., 2008, Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions. p. 82-92 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4171 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Verifying dereference safety via expanding-scope analysis

    Loginov, A., Yahav, E., Chandra, S., Fink, S., Rinetzky, N. & Nanda, M. G., 2008, ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008. Association for Computing Machinery, p. 213-223 11 p. (ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    38 Scopus citations
  • 2007

    CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors

    Vechev, M. T., Yahav, E., Bacon, D. F. & Rinetzky, N., 2007, PLDI'07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 456-467 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    23 Scopus citations

  • Comparison under abstraction for verifying linearizability

    Amit, D., Rinetzky, N., Reps, T., Sagiv, M. & Yahav, E., 2007, Computer Aided Verification - 19th International Conference, CAV 2007, Proceedings. Springer Verlag, p. 477-490 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4590 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    94 Scopus citations

  • Local reasoning for storable locks and threads

    Gotsman, A., Berdine, J., Cook, B., Rinetzky, N. & Sagiv, M., 2007, Programming Languages and Systems - 5th Asian Symposium, APLAS 2007, Proceedings. Springer Verlag, p. 19-37 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4807 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    65 Scopus citations

  • Modular shape analysis for dynamically encapsulated programs

    Rinetzky, N., Poetzsch-Heffter, A., Ramalingam, G., Sagiv, M. & Yahav, E., 2007, Programming Languages and Systems - 16th European Symposium on Programming, ESOP 2007. Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Proceedings. Springer Verlag, p. 220-236 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4421 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    13 Scopus citations
  • 2005

    Interprocedural shape analysis for cutpoint-free programs

    Rinetzky, N., Sagiv, M. & Yahav, E., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 284-302 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3672 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    44 Scopus citations
  • 2003

    A two layered approach for securing an object store network

    Azagury, A., Canetti, R., Factor, M., Halevi, S., Henis, E., Naor, D., Rinetzky, N., Rodeh, O. & Satran, J., 2003, Proceedings - 1st International IEEE Security in Storage Workshop, SISW 2002. Institute of Electrical and Electronics Engineers Inc., p. 10-23 14 p. 1183506. (Proceedings - 1st International IEEE Security in Storage Workshop, SISW 2002).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    26 Scopus citations

  • Towards an object store

    Azagury, A., Dreizin, V., Factor, M., Henis, E., Naor, D., Rinetzky, N., Rodeh, O., Satran, J., Tavory, A. & Yerushalmi, L., 2003, Proceedings - 20th IEEE/11th NASA Goddard Conference on Mass Storage Systems and Technologies, MSST 2003. Institute of Electrical and Electronics Engineers Inc., p. 165-176 12 p. 1194853. (Proceedings - 20th IEEE/11th NASA Goddard Conference on Mass Storage Systems and Technologies, MSST 2003).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    15 Scopus citations
  • 2001

    Interprocedural shape analysis for recursive programs

    Rinetzky, N. & Sagiv, M., 2001, Compiler Construction - 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Proceedings. Wilhelm, R. (ed.). Springer Verlag, p. 133-149 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2027).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    40 Scopus citations