20012023

Research activity per year

Search results

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

    Open Access
  • On the complexity of partially-flow-sensitive alias analysis

    Rinetzky, N., Ramalingam, G., Sagiv, M. & Yahav, E., 1 May 2008, In: ACM Transactions on Programming Languages and Systems. 30, 3, 13.

    Research output: Contribution to journalArticlepeer-review

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

    34 Scopus citations
  • 2007

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

    Vechev, M. T., Yahav, E., Bacon, D. F. & Rinetzky, N., Jun 2007, In: ACM SIGPLAN Notices. 42, 6, p. 456-467 12 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

    Open Access
    13 Scopus citations
  • 2005

    A semantics for procedure local heaps and its abstractions

    Rinetzky, N., Bauer, J., Reps, T., Sagiv, M. & Wilhelm, R., Jan 2005, In: ACM SIGPLAN Notices. 40, 1, p. 296-309 14 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    32 Scopus citations
  • A semantics for procedure local heaps and its abstractions

    Rinetzky, N., Bauer, J., Reps, T., Sagiv, M. & Wilhelm, R., 2005, In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 296-309 14 p.

    Research output: Contribution to journalConference articlepeer-review

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

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

    25 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, In: Digest of Papers - IEEE Symposium on Mass Storage Systems. p. 165-176 12 p.

    Research output: Contribution to journalConference articlepeer-review

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

    Open Access
    38 Scopus citations