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
- Automatically Generating Value Analyzers for Assembly Code. N. Fritz, D. Kästner, F. Martin. Workshop on Compilers and Tools for Constrained Embedded Systems (CTCES), San Jose, 2003.
- Validierung des Zeitverhaltens von kritischer Echtzeit-Software. C. Ferdinand, D. Kästner, F. Martin, M. Langenbach, M. Sicks, S. Wilhelm, N. Fritz, S. Thesing, F. Fontaine, H. Theiling, R. Wilhelm. 33. Jahrestagung der GI, Frankfurt/M. Informatik 2003 – Innovative Informatikanwendungen, Band 1 (ISBN 3-88579-363-6), Lecture Notes in Informatics (LNI), 2003.
- Run-Time Guarantees for Real-Time Systems — The USES Approach. C. Ferdinand, D. Kästner, M. Langenbach, F. Martin, M. Schmidt, J. Schneider, H. Theiling, S. Thesing, and R. Wilhelm. Proceedings of the ATPS99, Paderborn, Germany.
- Generating Program Analyzers.
Florian Martin. PhD Thesis, Saarland University. ISBN 3-930714-48-5, 1999. - Experimental Comparison of Call-String and Functional Approaches to Interprocedural Analysis. Florian Martin. Proceedings of the 8th International Conference on Compiler Construction, LNCS 1575 Springer, 1999.
- PAG — an efficient program analyzer generator. Florian Martin. International Journal on Software Tools for Technology Transfer STTT Vol. 2, Issue 1, Springer, 1998.
- Analysis of Loops. F. Martin, M. Alt, R. Wilhelm and C. Ferdinand. Proceedings of the 7th International Conference on Compiler Construction, LNCS 1383 Springer, 1998.
- Applying Compiler Techniques to Cache Behavior Prediction. C. Ferdinand, F. Martin, R. Wilhelm. Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time System (LCTRTS) Las Vegas, Nevada, pp. 37–46, 1997.
- Parallel Implementation of Functional Languages. R. Wilhelm, M. Alt, F. Martin and M. Raber. 5th LOMAPS Workshop, Analysis and Verification of Multiple-Agent Languages, LNCS 1192, Springer, 1997.
- Cache Behavior Prediction by Abstract Interpretation. M. Alt, C. Ferdinand, F. Martin, R. Wilhelm. SAS96, Static Analysis Symposium, LNCS 1145, pp. 52–66, Springer, 1996.
- Generation of Data Flow Analyzers.
Florian Martin. Master’s Thesis, Saarland University, 1995. - Generation of efficient interprocedural analyzers with PAG. Martin Alt, Florian Martin. SAS95, Static Analysis Symposium, LNCS 983, pp. 33–50. Springer, 1995.