20012023

Research activity per year

Search results

  • 2023

    Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks

    Albert, E., Grossman, S., Rinetzky, N., Rodriguez-Nunez, C., Rubio, A. & Sagiv, M., 1 May 2023, In: IEEE Transactions on Dependable and Secure Computing. 20, 3, p. 2256-2273 18 p.

    Research output: Contribution to journalArticlepeer-review

  • 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 proceedingConference contributionpeer-review

    Open Access
  • 2022

    Runtime Complexity Bounds Using Squeezers

    Ish-Shalom, O., Itzhaky, S., Rinetzky, N. & Shoham, S., 15 Jul 2022, In: ACM Transactions on Programming Languages and Systems. 44, 3, 17.

    Research output: Contribution to journalArticlepeer-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 proceedingConference contributionpeer-review

    4 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access
    9 Scopus citations
  • Proving highly-concurrent traversals correct

    Feldman, Y. M. Y., Khyzha, A., Enea, C., Morrison, A., Nanevski, A., Rinetzky, N. & Shoham, S., 13 Nov 2020, In: Proceedings of the ACM on Programming Languages. 4, OOPSLA, 128.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    9 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 proceedingConference contributionpeer-review

    Open Access
    6 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 proceedingConference contributionpeer-review

    7 Scopus citations
  • Shape analysis

    Chang, B. Y. E., Drăgoi, C., Manevich, R., Rinetzky, N. & Rival, X., 5 Oct 2020, In: Foundations and Trends in Programming Languages. 6, 1-2, p. 1-158 158 p.

    Research output: Contribution to journalReview articlepeer-review

    Open Access
    2 Scopus citations
  • Taming callbacks for smart contract modularity

    Albert, E., Grossman, S., Rinetzky, N., Rodríguez-Núñez, C., Rubio, A. & Sagiv, M., 13 Nov 2020, In: Proceedings of the ACM on Programming Languages. 4, OOPSLA, 209.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    14 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    7 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access
    45 Scopus citations
  • 2018

    Chopped Symbolic Execution

    Trabish, D., Mattavelli, A., Rinetzky, N. & Cadar, C., 2018, In: Proceedings - International Conference on Software Engineering. 2018-January, p. 350-360 11 p.

    Research output: Contribution to journalConference articlepeer-review

    60 Scopus citations
  • Online detection of effectively callback free objects with applications to smart contracts

    Grossman, S., Abraham, I., Golan-Gueta, G., Michalevsky, Y., Rinetzky, N., Sagiv, M. & Zohar, Y., Jan 2018, In: Proceedings of the ACM on Programming Languages. 2, POPL, 48.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    112 Scopus citations
  • 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 proceedingConference contributionpeer-review

    7 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 proceedingConference contributionpeer-review

    Open Access
    6 Scopus citations
  • Safe privatization in transactional memory

    Khyzha, A., Attiya, H., Gotsman, A. & Rinetzky, N., 10 Feb 2018, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 53, 1, p. 233-245 13 p.

    Research output: Contribution to journalArticlepeer-review

    3 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 proceedingConference contributionpeer-review

    11 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 proceedingConference contributionpeer-review

    2 Scopus citations
  • 2017

    Characterizing transactional memory consistency conditions using observational refinement

    Attiya, H., Hans, S., Rinetzky, N. & Gotsman, A., Dec 2017, In: Journal of the ACM. 65, 1, Y.

    Research output: Contribution to journalArticlepeer-review

    2 Scopus citations
  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

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

    Karbyshev, A., Bjørner, N., Itzhaky, S., Rinetzky, N. & Shoham, S., Mar 2017, In: Journal of the ACM. 64, 1, 7.

    Research output: Contribution to journalArticlepeer-review

    28 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    4 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    9 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access
    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 proceedingConference contributionpeer-review

    Open Access
    22 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 proceedingConference contributionpeer-review

    Open Access
    23 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access
    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 proceedingConference contributionpeer-review

    17 Scopus citations
  • Interprocedural shape analysis for effectively cutpoint-free programs

    Kreiker, J., Reps, T., Rinetzky, N., Sagiv, M., Wilhelm, R. & Yahav, E., 2013, Programming Logics: Essays in Memory of Harald Ganzinger. Voronkov, A. & Weidenbach, C. (eds.). Springer Berlin Heidelberg, p. 414-445 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7797 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    5 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access
    27 Scopus citations
  • 2010

    Abstraction for concurrent objects

    Filipovi, I., O'Hearn, P., Rinetzky, N. & Yang, H., 4 Dec 2010, In: Theoretical Computer Science. 411, 51-52, p. 4379-4398 20 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    107 Scopus citations
  • 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 proceedingConference contributionpeer-review

    11 Scopus citations
  • Sequential verification of serializability

    Attiya, H., Ramalingam, G. & Rinetzky, N., Jan 2010, In: ACM SIGPLAN Notices. 45, 1, p. 31-42 12 p.

    Research output: Contribution to journalArticlepeer-review

    8 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    57 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 proceedingConference contributionpeer-review

    Open Access
    30 Scopus citations