Publications

Logic-based Program Analysis

  1. Towards Shape Analysis of B-Trees
    J. Herter
    Universität des Saarlandes, 2008. [pdf]  [bib]
  2. Shape Analysis of Sets
    J. Reineke
    Workshop Trustworthy Software 2006, 2006. [pdf]  [slides]  [bib]
  3. Algorithm Animation using Shape Analysis: Visualising Abstract Executions
    D. Johannes, R. Seidel, and R. Wilhelm
    SoftVis '05: Proceedings of the 2005 ACM symposium on Software visualization, 2005. [doi]  [bib]
  4. Shape Analysis of Sets
    J. Reineke
    Universität des Saarlandes, Germany, 2005. [pdf]  [slides]  [bib]
  5. A Semantics for Procedure Local Heaps and its Abstractions
    N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm
    32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05), 2005. [pdf]  [bib]
  6. Static Program Analysis via 3-Valued Logic
    T. Reps, S. Sagiv, and R. Wilhelm
    CAV 2004, 2004. [bib]
  7. A Semantics for Procedure Local Heaps and its Abstractions
    N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm
    Technical Report, AVACS, 2004. [pdf]  [bib]
  8. Verifying Temporal Heap Properties Specified via Evolution Logic
    E. Yahav, T. Reps, M. Sagiv, and R. Wilhelm
    European Symposium on Programming, 2003. [bib]
  9. Shape Analysis and Applications
    T. Reps, M. Sagiv, and R. Wilhelm
    The Compiler Design Handbook: Optimizations \& Machine Code Generation, CRC Press, 2002. [bib]
  10. Parametric Shape Analysis via 3-Valued Logic
    M. Sagiv, T. Reps, and R. Wilhelm
    ACM Transactions on Programming Languages and Systems, 24 (3), 2002. [bib]
  11. Putting Static Analysis to Work for Verification: A Case Study
    T. Lev-Ami, T. Reps, M. Sagiv, and R. Wilhelm
    Intl. Symp. on Software Testing and Analysis, 2000. [bib]
  12. Shape Analysis
    R. Wilhelm, M. Sagiv, and T. Reps
    International Conference on Compiler Construction, 2000. [bib]
  13. Parametric Shape-Analysis via 3-Valued Logic
    M. Sagiv, T. Reps, and R. Wilhelm
    Proc. of 26th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1999. [bib]
  14. Solving Shape-Analysis Problems in Languages with Destructive Updating
    M. Sagiv, T. Reps, and R. Wilhelm
    ACM Transactions on Programming Languages and Systems, 20 (1), 1998. [bib]
  15. A Logic-Based Approach to Data Flow Analysis Problems
    S. Sagiv, N. Francez, M. Rodeh, and R. Wilhelm
    ACTA INFORMATICA, 35, 1998. [bib]
  16. Solving Shape-Analysis Problems in Languages with Destructive Updating
    M. Sagiv, T. Reps, and R. Wilhelm
    Proc. of the 23rd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1996. [bib]
  17. A Logic-Based Approach to Data Flow Analysis Problems
    S. Sagiv, N. Francez, M. Rodeh, and R. Wilhelm
    Programming Language Implementation and Logic Programming, 1990. [bib]