Publications

Logic-based Program Analysis

1. Towards Shape Analysis of B-Trees
   J. Herter
   Universität des Saarlandes, 2008. [pdf]  [bib]
   

   @mastersthesis{Herter08,
      author = {J\"org Herter},
      title = {Towards Shape Analysis of {B}-Trees},
      school = {Universit\"at des Saarlandes},
      year = {2008},
      month = {January},
      url = {https://www.rw.cdl.uni-saarland.de/people/jherter/private/papers/TowardsShapeAnalysisOfBTrees.pdf}
    }

2. Shape Analysis of Sets
   J. Reineke
   Workshop Trustworthy Software 2006, 2006. [pdf]  [slides]  [bib]
   

   @inproceedings{Reineke06,
      author = {Jan Reineke},
      title = {Shape Analysis of Sets},
      booktitle = {Workshop Trustworthy Software 2006},
      year = {2006},
      editor = {Serge Autexier and Stephan Merz and Leon van der Torre and Reinhard Wilhelm and Pierre Wolper},
      address = {Dagstuhl, Germany},
      publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
      slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/shapeAnalysisOfSets.pdf},
      url = {http://drops.dagstuhl.de/opus/volltexte/2006/698/pdf/06000.ReinekeJan.Paper.698.pdf}
    }

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]
   

   @inproceedings{Johannes05,
      author = {Dierk Johannes and Raimund Seidel and Reinhard Wilhelm},
      title = {Algorithm Animation using Shape Analysis: Visualising Abstract Executions},
      booktitle = {SoftVis '05: Proceedings of the 2005 ACM symposium on Software visualization},
      year = {2005},
      pages = {17--26},
      address = {New York, NY, USA},
      publisher = {ACM},
      doi = {10.1145/1056018.1056021},
      isbn = {1-59593-073-6},
      location = {St. Louis, Missouri}
    }

4. Shape Analysis of Sets
   J. Reineke
   Universität des Saarlandes, Germany, 2005. [pdf]  [slides]  [bib]
   

   @mastersthesis{Reineke05,
      author = {Jan Reineke},
      title = {Shape Analysis of Sets},
      school = {Universit\"at des Saarlandes, Germany},
      year = {2005},
      month = {June},
      slides = {https://www.rw.cdl.uni-saarland.de/people/reineke/private/talks/shapeAnalysisOfSets.pdf},
      url = {http://drops.dagstuhl.de/opus/volltexte/2006/698/pdf/06000.ReinekeJan.Other.698.pdf}
    }

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]
   

   @inproceedings{Rinetzky05,
      author = {Noam Rinetzky and J\"org Bauer and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
      title = {A Semantics for Procedure Local Heaps and its Abstractions},
      booktitle = {32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'05)},
      year = {2005},
      url = {https://www.rw.cdl.uni-saarland.de/people/joba/private/papers/popl05.pdf}
    }

6. Static Program Analysis via 3-Valued Logic
   T. Reps, S. Sagiv, and R. Wilhelm
   CAV 2004, 2004. [bib]
   

   @inproceedings{Reps04,
      author = {Thomas Reps and Shmuel Sagiv and Reinhard Wilhelm},
      title = {Static Program Analysis via 3-Valued Logic},
      booktitle = {CAV 2004},
      year = {2004},
      volume = {3114},
      series = {LNCS},
      pages = {15--30},
    }

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]
   

   @techreport{Rinetzky04,
      author = {Noam Rinetzky and J\"org Bauer and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
      title = {A Semantics for Procedure Local Heaps and its Abstractions},
      institution = {AVACS},
      year = {2004},
      type = {Tech. Rep.},
      number = {1},
      month = {September},
      url = {https://www.rw.cdl.uni-saarland.de/people/joba/private/papers/avacsTR1.pdf}
    }

8. Verifying Temporal Heap Properties Specified via Evolution Logic
   E. Yahav, T. Reps, M. Sagiv, and R. Wilhelm
   European Symposium on Programming, 2003. [bib]
   

   @inproceedings{Yahav03,
      author = {Eran Yahav and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
      title = {Verifying Temporal Heap Properties Specified via Evolution Logic},
      booktitle = {European Symposium on Programming},
      year = {2003},
      volume = {2618},
      series = {LNCS},
      pages = {204--222},
      publisher = {Springer Verlag},
    }

9. Shape Analysis and Applications
   T. Reps, M. Sagiv, and R. Wilhelm
   The Compiler Design Handbook: Optimizations \& Machine Code Generation, CRC Press, 2002. [bib]
   

   @incollection{Reps02,
      author = {Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
      title = {Shape Analysis and Applications},
      booktitle = {The Compiler Design Handbook: Optimizations \& Machine Code Generation},
      publisher = {CRC Press},
      year = {2002},
      editor = {Y N Srikant and Priti Shankar},
      pages = {175--217},
    }

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]
    

    @article{Sagiv02,
       author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
       title = {Parametric Shape Analysis via 3-Valued Logic},
       journal = {ACM Transactions on Programming Languages and Systems},
       year = {2002},
       volume = {24},
       pages = {217--298},
       number = {3},
     }

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]
    

    @inproceedings{Lev-Ami00,
       author = {T. Lev-Ami and Thomas Reps and Mooly Sagiv and Reinhard Wilhelm},
       title = {Putting Static Analysis to Work for Verification: A Case Study},
       booktitle = {Intl. Symp. on Software Testing and Analysis},
       year = {2000},
       pages = {26--38},
     }

12. Shape Analysis
    R. Wilhelm, M. Sagiv, and T. Reps
    International Conference on Compiler Construction, 2000. [bib]
    

    @inproceedings{Wilhelm00b,
       author = {Reinhard Wilhelm and Mooly Sagiv and Thomas Reps},
       title = {Shape Analysis},
       booktitle = {International Conference on Compiler Construction},
       year = {2000},
       number = {1781},
       series = {LNCS},
       pages = {1--16},
       publisher = {Springer Verlag},
     }

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]
    

    @inproceedings{Sagiv99,
       author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
       title = {Parametric Shape-Analysis via 3-Valued Logic},
       booktitle = {Proc. of 26th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages},
       year = {1999},
       address = {San Antonio, Texas},
     }

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]
    

    @article{Sagiv98,
       author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
       title = {Solving Shape-Analysis Problems in Languages with Destructive Updating},
       journal = {ACM Transactions on Programming Languages and Systems},
       year = {1998},
       volume = {20},
       pages = {1--50},
       number = {1},
       month = jan,
     }

15. A Logic-Based Approach to Data Flow Analysis Problems
    S. Sagiv, N. Francez, M. Rodeh, and R. Wilhelm
    ACTA INFORMATICA, 35, 1998. [bib]
    

    @article{Sagiv98a,
       author = {S. Sagiv and N. Francez and M. Rodeh and Reinhard Wilhelm},
       title = {A Logic-Based Approach to Data Flow Analysis Problems},
       journal = {ACTA INFORMATICA},
       year = {1998},
       volume = {35},
       pages = {457--504},
     }

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]
    

    @inproceedings{Sagiv96,
       author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
       title = {Solving Shape-Analysis Problems in Languages with Destructive Updating},
       booktitle = {Proc. of the 23rd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages},
       year = {1996},
       address = {St. Petersburg Beach, Florida},
     }

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]
    

    @inproceedings{Sagiv90,
       author = {S. Sagiv and N. Francez and M. Rodeh and Reinhard Wilhelm},
       title = {A Logic-Based Approach to Data Flow Analysis Problems},
       booktitle = {Programming Language Implementation and Logic Programming},
       year = {1990},
       editor = {P. Deransart and J. Ma\luszy\'nski},
       volume = {456},
       series = {LNCS},
       pages = {277--291},
       address = {Link\"oping, Sweden},
       month = {August},
       publisher = {Springer Verlag},
     }