Dr.-Ing. Stefan Kempf

Projekte

Embedded Systems Institute
Projektleitung: Philippsen, M.
Mitarbeiter: Kempf, S.; Dotzler, G.; Blaß, T.; Werth, T.; Mutschler, C.; Kumlehn, A.; Oster, N.; Kellermann, D.
PATESIA - Parallelisierungstechniken für eingebettete Systeme in der Automatisierungstechnik
Projektleitung: Philippsen, M.
Mitarbeiter: Kempf, S.; Veldema, R.; Blaß, T.

Lehrveranstaltungen

WS 2013/2014

SS 2013

WS 2012/2013

SS 2012

WS 2011/2012

SS 2011

WS 2010/2011

SS 2010

WS 2009/2010

Publikationen

  1. Kempf, S.; Veldema, R.; Philippsen, M.: Combining Lock Inference with Lock-Based Software Transactional Memory. In: Cascaval, C.; Montesinos, P. (Hrsg.): 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, S. 325-341, Lecture Notes in Computer Science (LNCS) Bd. 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, 2014. - 161 Seiten (BibTeX)
  3. Kempf, S.; Veldema, R.; Philippsen, M.: Compiler-Guided Identification of Critical Sections in Parallel Code. In: De Bosschere, K.; Jhala, R. (Hrsg.): Proceedings of the 22nd International Conference on Compiler Construction (International Conference on Compiler Construction, Italy, Rome)., 2013, S. 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 (Hrsg.): Proceedings of the 25th Workshop on Parallel Systems and Algorithms (PARS 2013) (25th Workshop on Parallel Systems and Algorithms (PARS 2013), Erlangen, Germany)., 2013, S. 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 (Hrsg.): 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, S. 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). Vortrag: 24th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2011), gehalten am: 9. September 2011, Fort Collins, Colorado, USA 2011 (BibTeX)
  7. Kempf, S.: A Language Independent JIT compiler library. Erlangen-Nürnberg, Friedrich-Alexander-Universität, Diplomarbeit, 2009. - 116 Seiten (BibTeX)
  8. Kempf, S.: Implementierung eines LLVM-Backends für Jackal. Erlangen-Nürnberg, Friedrich-Alexander-Universität, Studienarbeit, 2008. - 78 Seiten (BibTeX)

Betreute Examensarbeiten

Abgeschlossene Arbeiten

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