Publications

Program Analysis

  1. Fast Liveness Checking for SSA-Form Programs (Best Paper Award)
    B. Boissinot, S. Hack, D. Grund, B. Dupont-De-Dinechin, and F. Rastello
    CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization, 2008. [doi]  [pdf]  [bib]
  2. CAMA: Cache-Aware Memory Allocation for WCET Analysis
    J. Herter, J. Reineke, and R. Wilhelm
    Proceedings Work-In-Progress Session of the 20th Euromicro Conference on Real-Time Systems, 2008. [pdf]  [slides]  [bib]
  3. Fast Liveness Checking for SSA-Form Programs
    B. Boissinot, S. Hack, D. Grund, B. Dupont-De-Dinechin, and F. Rastello
    Technical Report, INRIA, 2007. [url]  [bib]
  4. 05451 Group 5 – Bananas, Dark Worlds, and AspectH
    S. Breu, M. Schlickling, and N. M. F. Rodrigues
    Beyond Program Slicing, 2006. [url]  [bib]
  5. Polynomial Precise Interval Analysis Revisited
    T. Gawlitza, J. Reineke, H. Seidl, and R. Wilhelm
    Technical Report, TU München, Germany, 2006. [bib]
  6. Experimental Comparison of Call String and Functional Approaches to Interprocedural Analysis
    F. Martin
    Proceedings of the 8th International Conference on Compiler Construction, 1999. [bib]
  7. PAG—An Efficient Program Analyzer Generator
    F. Martin
    International Journal on Software Tools for Technology Transfer, 2 (1), 1998. [bib]
  8. Analysis of Loops
    F. Martin, M. Alt, R. Wilhelm, and C. Ferdinand
    Proceedings of the 7th International Conference on Compiler Construction, 1998. [bib]
  9. Practical Comparison of Call String and Functional Approach in Data Flow Analysis
    M. Alt, and F. Martin
    Arbeitstagung Programmiersprachen, 1997. [ps]  [bib]
  10. PAG Manual
    S. Thesing, F. Martin, and M. Alt
    [bib]
  11. Parallel Implementation of Functional Languages
    R. Wilhelm, M. Alt, F. Martin, and M. Raber
    5th LOMAPS Workshop, Analysis and Verification of Multiple-Agent Languages, 1997. [ps]  [bib]
  12. Generation of Efficient Interprocedural Analyzers with PAG
    M. Alt, and F. Martin
    Proceedings of SAS'95, Static Analysis Symposium, 1995. [bib]
  13. Generating Analyzers with PAG
    M. Alt, and F. Martin
    Technical Report, Universität des Saarlandes, 1995. [bib]
  14. Generating Dataflow Analyzers with PAG
    M. Alt, F. Martin, and R. Wilhelm
    Technical Report, Universität des Saarlandes, 1995. [bib]
  15. Die Generierung von Datenflußanalysatoren
    F. Martin
    Technical Report, Universität des Saarlandes, 1995. [bib]
  16. PAG Reference Manual
    F. Martin
    [bib]