Publications

• Martin Alt, Florian Martin:
  Generation of efficient interprocedural analyzers with PAG
  In SAS'95, Static Analysis Symposium, LNCS 983, pages 33--50. Springer, 1995
  (postscript file) (BibTeX Entry)
• Florian Martin:
  Die Generierung von Datenflußanalysatoren
  Diplomarbeit, Universität des Saarlandes, Germany, 1995
  (postscript file) (BibTeX Entry)
• Martin Alt, Florian Martin, Reinhard Wilhelm:
  Generating Dataflow Analyzers with PAG
  Technical Report A10-95, Univertität des Saarlandes, FB 14 Informatik, 1995
  (postscript file) (BibTeX Entry)
• Martin Alt, Christian Ferdinand, Florian Martin and Reinhard Wilhelm:
  Cache Behavior Prediction by Abstract Interpretation
  In SAS'96, Static Analysis Symposium, LNCS 1145, pages 52--66. Springer, 1996
  (postscript file) (BibTeX Entry)
• Stephan Thesing, Florian Martin, Martin Alt and Oliver Lauer:
  PAG User's Manual Version 1.0, 1998
  (postscript file) (BibTeX Entry)
• Reinhard Wilhelm, Martin Alt, Florian Martin and Martin Raber:
  Parallel Implementation of Functional Languages
  In 5^th LOMAPS Workshop, Analysis and Verification of Multiple-Agent Languages,
  LNCS 1192 Springer, 1997
  (postscript file)(BibTeX Entry)
• Christian Ferdinand, Florian Martin, and Reinhard Wilhelm:
  Applying Compiler Techniques to Cache Behavior Prediction
  In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time System (LCT-RTS)
  Las Vegas, Nevada, 1997
  (postscript file)(BibTeX Entry)
• Martin Alt and Florian Martin:
  Practical Comparison of Call String and Functional Approach in Data Flow Analysis
  In Proceedings of the Arbeitstagung Programmiersprachen 1997
  (postscript file)(BibTeX Entry)
• Florian Martin, Martin Alt, Reinhard Wilhelm and Christian Ferdinand:
  Analysis of Loops
  In Proceedings of the 7th International Conference on Compiler Construction LNCS 1383 Springer, 1998
  (postscript file) (BibTeX Entry)
• Florian Martin:
  PAG -- an efficient program analyzer generator
  In International Journal on Software Tools for Technology Transfer STTT Vol. 2 Issue 1 Springer, 1998
  (article) (BibTeX Entry)
• Florian Martin:
  Experimental Comparison of call string and functional Approaches to Interprocedural Analysis
  In Proceedings of the 8th International Conference on Compiler Construction LNCS 1575 Springer, 1999
  (postscript file) (BibTeX Entry)
• Florian Martin:
  Generating Program Analyzers
  Dissertation Universität des Saarlandes 1999, ISBN 3-930714-48-5
  (postscript file)(BibTeX Entry)

Florian Martin
martin@cs.uni-saarland.de