Shmuel Sagiv

Professor

1992 …2023

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Chapter

Search results

  • 2013

    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

  • 2004

    A relational approach to interprocedural shape analysis

    Jeannet, B., Loginov, A., Reps, T. & Sagiv, M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Giacobazzi, R. (ed.). Springer Verlag, p. 246-264 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3148).

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

    Open Access
  • Numeric domains with summarized dimensions

    Gopan, D., DiMaio, F., Dor, N., Reps, T. & Sagiv, M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer Verlag, p. 512-529 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).

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

    Open Access
  • Partially disjunctive heap abstraction

    Manevich, R., Sagiv, M., Ramalingam, G. & Field, J., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Giacobazzi, R. (ed.). Springer Verlag, p. 265-279 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3148).

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

    Open Access
  • Static program analysis via 3-valued logic

    Reps, T. W., Sagiv, M. & Wilhelm, R., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer Verlag, p. 15-30 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

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

    Open Access
  • Symbolically computing most-precise abstract operations for shape analysis

    Yorsh, G., Reps, T. & Sagiv, M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer Verlag, p. 530-545 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).

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

    Open Access
  • The boundary between decidability and undecidability for transitive-closure logics

    Immerman, N., Rabinovich, A., Reps, T., Sagiv, M. & Yorsh, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Marcinkowski, J. & Tarlecki, A. (eds.). Springer Verlag, p. 160-174 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3210).

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

    Open Access
  • Verification via structure simulation

    Immerman, N., Rabinovich, A., Reps, T. W., Sagiv, M. & Yorsh, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer Verlag, p. 281-294 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

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

    Open Access
  • 2003

    Establishing local temporal heap safety properties with applications to compile-time memory management

    Shaham, R., Yahav, E., Kolodner, E. K. & Sagiv, M., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cousot, R. (ed.). Springer Verlag, p. 483-503 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2694).

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

  • Finite differencing of logical formulas for static analysis

    Reps, T., Sagiv, M. & Loginov, A., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Degano, P. (ed.). Springer Verlag, p. 380-398 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2618).

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

    Open Access
  • Verifying temporal heap properties specified via evolution logic

    Yahav, E., Reps, T., Sagiv, M. & Wilhelm, R., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Degano, P. (ed.). Springer Verlag, p. 204-222 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2618).

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

    Open Access
  • 2002

    Shape analysis and applications

    Reps, T., Sagiv, M. & Wilhelm, R., 1 Jan 2002, The Compiler Design Handbook: Optimizations and Machine Code Generation. CRC Press, p. 175-217 43 p.

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