Dr.-Ing. Stefan Kempf

projects

Embedded Systems Institute
Director: Philippsen, M.
Coworker: Kempf, S.; Dotzler, G.; Blaß, T.; Werth, T.; Mutschler, C.; Kumlehn, A.; Oster, N.; Kellermann, D.
PATESIA - Parallelization techniques for embedded systems in automation
Director: Philippsen, M.
Coworker: Kempf, S.; Veldema, R.; Blaß, T.

Lectures

WS 2013/2014

SS 2013

WS 2012/2013

SS 2012

WS 2011/2012

SS 2011

WS 2010/2011

SS 2010

WS 2009/2010

Publications

  1. Kempf, S.; Veldema, R.; Philippsen, M.: Combining Lock Inference with Lock-Based Software Transactional Memory. In: Cascaval, C.; Montesinos, P. (Ed.): Proceedings of the 26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013) (26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013), Santa Clara, California, USA). Berlin: Springer-Verlag Berlin Heidelberg, 2014, pp. 325-341, Lecture Notes in Computer Science (LNCS)vol. 8664. - ISBN 978-3-319-09966-8 - ISSN 0302-9743 (BibTeX)
  2. Kempf, S.: Compiler and Runtime Techniques to Identify and Optimize Atomic Blocks in Parallel Programs. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2014. - 161 pages (BibTeX)
  3. Kempf, S.; Veldema, R.; Philippsen, M.: Compiler-Guided Identification of Critical Sections in Parallel Code. In: De Bosschere, K.; Jhala, R. (Ed.): Proceedings of the 22nd International Conference on Compiler Construction (International Conference on Compiler Construction, Italy, Rome)., 2013, pp. 204-223. - ISBN 978-3-642-37050-2 (BibTeX)
  4. Kempf, S.; Veldema, R.; Philippsen, M.: Reduktion von False-Sharing in Software-Transactional-Memory. In: GI (Ed.): Proceedings of the 25th Workshop on Parallel Systems and Algorithms (PARS 2013) (25th Workshop on Parallel Systems and Algorithms (PARS 2013), Erlangen, Germany)., 2013, pp. 70-79 - ISSN 0177-0454 (BibTeX)
  5. Kempf, S.; Veldema, R.; Philippsen, M.: Is There Hope for Automatic Parallelization of Legacy Industry Automation Applications?. In: GI (Ed.): In Proceedings of the 24th Workshop on Parallel Systems and Algorithms (PARS 2011) (24th Workshop on Parallel Systems and Algorithms (PARS 2011), Rüschlikon, Switzerland)., 2011, pp. 80-89 - ISSN 0177-0454 (BibTeX)
  6. Kempf, S.; Veldema, R.; Philippsen, M.: Source Code Transformations to Increase the Performance of Software Transactional Memory (Poster Presentation). Talk: 24th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2011), given on: September 9, 2011, Fort Collins, Colorado, USA 2011 (BibTeX)
  7. Kempf, S.: A Language Independent JIT compiler library. Erlangen-Nürnberg, Friedrich-Alexander-Universität, Diploma thesis, 2009. - 116 pages (BibTeX)
  8. Kempf, S.: Implementierung eines LLVM-Backends für Jackal. Erlangen-Nürnberg, Friedrich-Alexander-Universität, Study thesis, 2008. - 78 pages (BibTeX)

Supervised theses

Finished theses

  1. Johannes Wellhöfer: Anpassung eines Expertensystems zur Programmanalyse und -refaktorisierung für Anwendungen aus der Automatisierungstechnik.[BT]
    Advisors: Dotzler, G.; Kempf, S.; Philippsen, M.: submitted on September 3, 2012
  2. Martin Sturm: Programmierung einer Mini-Anlage mit parallelen Programmierkonstrukten.[BT]
    Advisors: Veldema, R.; Kempf, S.; Philippsen, M.: submitted on August 28, 2012
  3. Christoph Romstöck: Erweiterung eines C-Compilers zur Codeerzeugung für Systeme der Industrieautomatisierung.[BT]
    Advisors: Kempf, S.; Philippsen, M.: submitted on October 23, 2011
watermark seal