Dr. Florian Martin

Dr. Florian Martin

Curriculum vitæ

Florian Martin, born in 1968, completed the diploma degree pro­gram in computer science and physics at the Saarland Univer­sity from 1989 to 1995. In his master’s thesis he investigated specification and implementation methods for the generation of static program analyzers.

In 1999, he completed his doctorate, his dissertation being en­titled “Generating Program Analyzers”. During his undergrad­u­ate studies, Dr. Martin received a student scholarship from the Reemtsma Begabtenförderwerk.

Since 1996, Dr. Martin has been a research associate at the Department for Compiler Construction and Programming Lan­guages at the Saarland University, in addition to participating in the ESPRIT project COMPARE (Compiler Generation for Par­allel Machines) and being a member of Collaborative Research Center no. 124 (VLSI and Parallelism).

Dr. Martin has also been the Saarland University’s research co­ordinator at the Transfer Center no. 14 ("Run-Time Guarantees for Modern Architectures via Abstract Interpretation") and an instructor of advanced courses on program analysis. He is the author of various publications on static program analysis, pro­gram optimization and worst-case execution time prediction.

Since 2000, Dr. Martin is Principal Architect at AbsInt, of which he is one of the co-founders. He was the key designer of the PAG Program Analyzer Generator, implemented various optimizations that are part of the aiPop Code Compac­tion Suite, and now oversees the development of the various analyses for the ał suite.

Research interests

  • Compiler construction
  • Parallel compilers
  • Program analyzer generators
  • Worst-case execution time prediction for real-time programs
  • Abstract interpretation
  • Loop analysis
  • Value analysis

Selected publications

  • Martin Alt, Florian Martin. Generation of efficient interprocedural analyzers with PAG. SAS­95, Static Analysis Symposium, LNCS 983, pages 33–50. Springer, 1995.
  • Florian Martin. Generation of Data Flow Analyzers. Master’s Thesis, Saarland University, 1995.
  • Martin Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm. Cache Behavior Prediction by Abstract Interpretation. SAS­96, Static Analysis Symposium, LNCS 1145, pages 52–66, Springer, 1996.
  • Reinhard Wilhelm, Martin Alt, Florian Martin and Martin Raber. Parallel Implementation of Functional Languages. 5th LOMAPS Workshop, Analysis and Verification of Multiple-Agent Languages, LNCS 1192 Springer, 1997.
  • Christian Ferdinand, Florian Martin, Reinhard Wilhelm. Applying Compiler Techniques to Cache Behavior Prediction. Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time System (LCTRTS) Las Vegas, Nevada, pages 37–46, 1997.
  • Florian Martin, Martin Alt, Reinhard Wilhelm and Christian Ferdinand. Analysis of Loops. Proceedings of the 7th International Conference on Compiler Construction, LNCS 1383 Springer, 1998.
  • Florian Martin. PAG — an efficient program analyzer generator. International Journal on Soft­ware Tools for Technology Transfer STTT Vol. 2, Issue 1, Springer, 1998.
  • Florian Martin. Experimental Comparison of Call-String and Functional Approaches to Inter­procedural Analysis. Proceedings of the 8th International Conference on Compiler Con­struc­tion, LNCS 1575 Springer, 1999.
  • Florian Martin. Generating Program Analyzers. PhD Thesis, Saarland University. ISBN 3-930714-48-5, 1999.
  • C. Ferdinand, D. Kästner, F. Martin, M. Langenbach, M. Sicks, S. Wilhelm, N. Fritz, S. Thesing, F. Fontaine, H. Theiling, R. Wilhelm. Validierung des Zeitverhaltens von kriti­scher Echtzeit-Software. Workshop: Automotive SW Engineering & Concepts. 33. Jahres­tagung der GI, Frankfurt/M. Informatik 2003 — Innovative Informatikanwendungen, Band 1 (ISBN 3-88579-363-6), Lecture Notes in Informatics (LNI), 2003.
  • N. Fritz, D. Kästner, F. Martin. Automatically Generating Value Analyzers for Assembly Code. Workshop on Compilers and Tools for Constrained Embedded Systems (CTCES), San Jose, 2003.