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

  • 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 Inter­procedural Analysis. Florian Martin. Proceedings of the 8th International Conference on Compiler Con­struc­tion, LNCS 1575 Springer, 1999.
  • PAG — an efficient program analyzer generator. Florian Martin. International Journal on Soft­ware 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. SAS­96, 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. SAS­95, Static Analysis Symposium, LNCS 983, pp. 33–50. Springer, 1995.