Philipp Lucas

phlucas

About Me

I was born in Krefeld, studied Informatik at RWTH Aachen and got my diploma for a thesis on modelling concurrent systems. From 2002 to 2011, I worked at the Compiler Design Lab; first on data-parallel programming on graphics hardware, now on program analysis for embedded systems. I have written my PhD thesis on the CGiS project. In April 2011, I left for industry.

Research Interests

  • Programming Language Design
  • Code Generation and Optimisation
  • Program Analysis
  • Language Support for Parallel Programming

Projects

  • Within Predator: Operating mode dependent analysis of embedded software, analysability of synthesised code.
  • CGiS: Design and implementation of a data-parallel programming language on GPUs and CPUs.

Publications

(For more details and downloadable papers, see my private pages.)

Journal Papers

  1. OORS: An Object-Oriented Rewrite System
    G. Gebhard, and P. Lucas
    Computer Science and Information Systems (ComSIS), 4 (2), 2007. [bib]
  2. Graphics Hardware for Scientific Computation
    P. Lucas
    International Journal of Computational Science and Engineering (IJCSE), 1 (2/3/4), 2005. [bib]

Conference Papers

  1. Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints
    R. Wilhelm, P. Lucas, O. Parshin, L. Tan, and B. Wachter
    Advances in Real-Time Systems, 2012. [doi]  [bib]
  2. Improving Timing Analysis for Matlab Simulink/Stateflow
    L. Tan, B. Wachter, P. Lucas, and R. Wilhelm
    Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB), 2009. [pdf]  [bib]
  3. Operating Mode Specific WCET Analysis
    P. Lucas, O. Parshin, and R. Wilhelm
    Proceedings of JRWRTC, 2009. [bib]
  4. Exploiting SIMD Parallelism with the CGiS Compiler Framework
    N. Fritz, P. Lucas, and R. Wilhelm
    Proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing (LCPC'07), 2008. [bib]
  5. OORS: An Object-Oriented Rewrite System with Applications in Retargetable Code Generation and Optimization
    G. Gebhard, and P. Lucas
    Proceedings of the 1st Workshop on Advances in Programming Languages (WAPL'07), 2007. [bib]
  6. The Development of the Data-Parallel GPU Programming Language CGiS
    P. Lucas, N. Fritz, and R. Wilhelm
    Proceedings of the 6th International Conference on Computational Science (ICCS'06) (4), 2006. [doi]  [bib]
  7. The CGiS Compiler—A Tool Demonstration
    P. Lucas, N. Fritz, and R. Wilhelm
    Proceedings of the 15h International Conference on Compiler Construction (CC'06), 2006. [doi]  [bib]
  8. CGiS, a new Language for Data-Parallel GPU Programming
    N. Fritz, P. Lucas, and P. Slusallek
    Proceedings of the 9th International Workshop ``Vision, Modeling, and Visualization'' (VMV'04), 2004. [url]  [bib]
  9. Extending Compositional Message Sequence Graphs
    B. Bollig, M. Leucker, and P. Lucas
    Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'02), 2002. [bib]
  10. Timed Semantics of Message Sequence Charts Based on Timed Automata
    P. Lucas
    Proceedings of the Workshop of Theory and Practice of Timed Systems 2002 (TPTS'02), 2002. [bib]

PhD Theses

  1. CGiS: High-Level Data-Parallel GPU Programming
    P. Lucas
    Universität des Saarlandes, 2008. [bib]

MSc Theses

  1. Analyse von Message Sequence Charts
    P. Lucas
    RWTH Aachen, 2002. [bib]

Technical Reports

  1. Extending Compositional Message Sequence Graphs
    B. Bollig, M. Leucker, and P. Lucas
    Technical Report, University of Pennsylvania, 2002. [bib]

Miscellaneous

Teaching

Supervised Theses

Address

Philipp Lucas
Compiler Design Lab, FR 6.2 – Informatik
Universität des Saarlandes
Postfach 15 11 50
66041 Saarbrücken
Campus, Building E1 3, Room 403
Germany

Tel.: +49-681-302-2454
Fax: +49-681-302-3065
Mail: phlucas@cs.uni-saarland.de