Philipp Lucas

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

OORS: An Object-Oriented Rewrite System
G. Gebhard, and P. Lucas
Computer Science and Information Systems (ComSIS), 4 (2), 2007. [bib]

@ARTICLE{Gebhard07b,
   author = {Gernot Gebhard and Philipp Lucas},
   title = {{OORS}: An Object-Oriented Rewrite System},
   journal = {Computer Science and Information Systems (ComSIS)},
   year = {2007},
   volume = {4},
   pages = {1--26},
   number = {2},
   month = {December}
 }

Graphics Hardware for Scientific Computation
P. Lucas
International Journal of Computational Science and Engineering (IJCSE), 1 (2/3/4), 2005. [bib]

@ARTICLE{Lucas05,
   author = {Philipp Lucas},
   title = {Graphics Hardware for Scientific Computation},
   journal = {International Journal of Computational Science and Engineering (IJCSE)},
   year = {2005},
   volume = {1},
   pages = {142--156},
   number = {2/3/4}
 }

Conference Papers

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]

@INPROCEEDINGS{Wilhelm12,
   author = {Reinhard Wilhelm and Philipp Lucas and Oleg Parshin and Lili Tan and Bj\"orn Wachter},
   title = {Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints},
   booktitle = {Advances in Real-Time Systems},
   year = {2012},
   pages = {123--143},
   doi = {10.1007/978-3-642-24349-3_6}
 }

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]

@INPROCEEDINGS{Tan09a,
   author = {Lili Tan and Bj\"orn Wachter and Philipp Lucas and Reinhard Wilhelm},
   title = {Improving Timing Analysis for {Matlab} {Simulink}/{Stateflow}},
   booktitle = {Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB)},
   year = {2009},
   editor = {Stefan Van Baelen and Thomas Weigert and Ileana Ober and Huascar Espinoza},
   pages = {59--63},
   url = {http://ceur-ws.org/Vol-507/paper05.pdf}
 }

Operating Mode Specific WCET Analysis
P. Lucas, O. Parshin, and R. Wilhelm
Proceedings of JRWRTC, 2009. [bib]

@INPROCEEDINGS{Lucas09,
   author = {Philipp Lucas and Oleg Parshin and Reinhard Wilhelm},
   title = {Operating Mode Specific {WCET} Analysis},
   booktitle = {Proceedings of JRWRTC},
   year = {2009},
   editor = {Charlotte Seidner},
   month = {October},
 }

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]

@INPROCEEDINGS{Fritz08,
   author = {Nicolas Fritz and Philipp Lucas and Reinhard Wilhelm},
   title = {Exploiting {SIMD} Parallelism with the {CGiS} Compiler Framework},
   booktitle = {Proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing (LCPC'07)},
   year = {2008},
   editor = {Vikram Adve and Mar\'ia Jes\'us Garzar\'an and Paul Petersen},
   volume = {5234},
   series = {LNCS},
   pages = {246--260},
   month = {October},
   publisher = {Springer}
 }

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]

@INPROCEEDINGS{Gebhard07a,
   author = {Gernot Gebhard and Philipp Lucas},
   title = {{OORS}: An Object-Oriented Rewrite System with Applications in Retargetable Code Generation and Optimization},
   booktitle = {Proceedings of the 1st Workshop on Advances in Programming Languages (WAPL'07)},
   year = {2007},
   editor = {Marjan Mernik},
   pages = {1057--1069},
   month = {October}
 }

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]

@INPROCEEDINGS{Lucas06,
   author = {Philipp Lucas and Nicolas Fritz and Reinhard Wilhelm},
   title = {The Development of the Data-Parallel {GPU} Programming Language {CGiS}},
   booktitle = {Proceedings of the 6th International Conference on Computational Science (ICCS'06) (4)},
   year = {2006},
   editor = {Vassil N. Alexandrov and G. Dick van Albada and Peter M. A. Sloot and Jack Dongarra},
   volume = {3994},
   series = {LNCS},
   pages = {200--203},
   publisher = {Springer Verlag},
   doi = {10.1007/11758549_31}
 }

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]

@INPROCEEDINGS{Lucas06a,
   author = {Philipp Lucas and Nicolas Fritz and Reinhard Wilhelm},
   title = {The {CGiS} Compiler---A Tool Demonstration},
   booktitle = {Proceedings of the 15h International Conference on Compiler Construction (CC'06)},
   year = {2006},
   editor = {Alan Mycroft and Andreas Zeller},
   volume = {3923},
   series = {LNCS},
   pages = {105--108},
   publisher = {Springer Verlag},
   doi = {10.1007/11688839_10}
 }

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]

@INPROCEEDINGS{Fritz04,
   author = {Nicolas Fritz and Philipp Lucas and Philipp Slusallek},
   title = {{CGiS}, a new Language for Data-Parallel {GPU} Programming},
   booktitle = {Proceedings of the 9th International Workshop ``Vision, Modeling, and Visualization'' (VMV'04)},
   year = {2004},
   editor = {Bernd Girod and Hans-Peter Seidel and Marcus Magnor},
   pages = {241--248},
   url = {http://rw4.cs.uni-saarland.de/~phlucas/pubs/VMV04.html}
 }

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]

@INPROCEEDINGS{Bollig02,
   author = {Benedikt Bollig and Martin Leucker and Philipp Lucas},
   title = {Extending Compositional Message Sequence Graphs},
   booktitle = {Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'02)},
   year = {2002},
   editor = {Matthias Baaz and Andrei Voronkov},
   volume = {2514},
   series = {LNCS},
   pages = {68--85},
   publisher = {Springer Verlag}
 }

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]

@INPROCEEDINGS{Lucas02a,
   author = {Philipp Lucas},
   title = {Timed Semantics of Message Sequence Charts Based on Timed Automata},
   booktitle = {Proceedings of the Workshop of Theory and Practice of Timed Systems 2002 (TPTS'02)},
   year = {2002},
   editor = {Eugene Asarin and Oded Maler and Sergio Yovine},
   volume = {65.6},
   series = {ENTCS},
   month = {April},
   publisher = {Elsevier}
 }

PhD Theses

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

@PHDTHESIS{Lucas08,
   author = {Philipp Lucas},
   title = {{CGiS}: High-Level Data-Parallel {GPU} Programming},
   school = {Universit\"at des Saarlandes},
   year = {2008},
   month = {January},
 }

MSc Theses

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

@MASTERSTHESIS{Lucas02,
   author = {Philipp Lucas},
   title = {{A}nalyse von {M}essage {S}equence {C}harts},
   school = {RWTH~Aachen},
   year = {2002},
   type = {Diplomarbeit},
   month = {February}
 }

Technical Reports

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

@TECHREPORT{Bollig02a,
   author = {Benedikt Bollig and Martin Leucker and Philipp Lucas},
   title = {Extending Compositional Message Sequence Graphs},
   institution = {University of Pennsylvania},
   year = {2002},
   number = {MS-CIS-02-09},
   month = {April}
 }

Miscellaneous

Organiser of PPES 2011
Electronic Media Chair of EMSOFT 2007, ESWEEK 2008, ESWEEK 2009, ESWEEK 2010, ESWEEK 2011

Teaching

Supervised Theses

FoPras (≈ Bachelor Theses): Johannes Wender (2004), Christoph Cullmann (2004), Gernot Gebhard (2005).
Diplomarbeit (≈ Master's Thesis): Gernot Gebhard, A Pattern Matcher Generator for Retargetable Code Generation and Optimisation, 2006.

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