• Publications

    Papers

    • Christoph Cullmann and Florian Martin. Data-Flow Based Detection of Loop Bounds. In Christine Rochange, editor, Proceedings of 7th International Workshop on Worst-Case Execution Time (WCET) Analysis, July 2007.[pdf|bib]
    • Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, and Reinhold Heckmann. New Developments in WCET Analysis. In T. Reps, M. Sagiv, and J. Bauer, editors, Program Analysis and Compilation, Theory and Practice: Essays dedicated to Reinhard Wilhelm, volume 4444 of LNCS, pages 12-52. Springer Verlag, 2007.[Springer|bib]

    Talks

    • Christoph Cullmann. Data-Flow Based Detection of Loop Bounds. Talk at the 7th International Workshop on Worst-Case Execution Time (WCET) Analysis, Scuola Superiore Sant Anna, Pisa, July 2007.
    • Christoph Cullmann. Static Detection of Safe Loop Bounds. Oberseminarvortrag, Universität des Saarlandes, 2005.[pdf]

    Diplomarbeit/FoPra

    • Christoph Cullmann. Statische Berechnung sicherer Schleifengrenzen auf Maschinencode. Diplomarbeit, Universität des Saarlandes, 2006.[pdf|ps|bib]
    • Christoph Cullmann. CGiS Compiler Frontend – Design and Implementation. Fortgeschrittenenpraktikum, Universität des Saarlandes, 2004.[ps]