
Curriculum vitæ
Florian Martin, born in 1968,
completed the diploma degree program in computer science and physics at
the Saarland University 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 entitled “Generating Program Analyzers”. During his
undergraduate 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 Languages
at the Saarland University, in addition to participating in the ESPRIT
project COMPARE (Compiler Generation for Parallel Machines) and
being a member of Collaborative Research Center no. 124 (VLSI and Parallelism).
Dr. Martin has also been the Saarland University’s
research coordinator 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, program
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 Compaction 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.
SAS95, 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.
SAS96, 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 Software Tools for Technology Transfer STTT Vol. 2, Issue 1, Springer, 1998.
- Florian Martin.
Experimental Comparison of Call-String and Functional Approaches to Interprocedural Analysis.
Proceedings of the 8th International Conference on Compiler Construction, 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 kritischer Echtzeit-Software.
Workshop: Automotive SW Engineering & Concepts. 33. Jahrestagung 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.