Stefan Kempf
Dr.-Ing. Stefan Kempf
Wissenschaftler von 2009 bis 2014
Department Informatik (INF)
Lehrstuhl für Informatik 2 (Programmiersysteme)
2014
- :
Compiler and Runtime Techniques to Identify and Optimize Atomic Blocks in Parallel Programs (Dissertation, 2014)
BibTeX: Download - , , :
Combining Lock Inference with Lock-Based Software Transactional Memory
26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013) (San Jose, California, USA, 25.09.2013 - 27.09.2013)
In: Călin Cașcaval, Pablo Montesinos (Hrsg.): Languages and Compilers for Parallel Computing, 26th International Workshop, LCPC 2013, Berlin Heidelberg: 2014
DOI: 10.1007/978-3-319-09967-5_19
BibTeX: Download
2013
- , , :
Compiler-Guided Identification of Critical Sections in Parallel Code
International Conference on Compiler Construction (Rome, Italy, 16.03.2013 - 24.03.2013)
In: Ranjit Jhala, Koen De Bosschere (Hrsg.): Compiler Construction, 22nd International Conference, CC 2013, Berlin Heidelberg: 2013
DOI: 10.1007/978-3-642-37051-9_11
URL: https://www2.informatik.uni-erlangen.de/publication/download/CC2013.pdf
BibTeX: Download - , , :
Reduktion von False-Sharing in Software-Transactional-Memory
25th Workshop der GI-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS 2013) (Erlangen, Germany, 11.04.2013 - 12.04.2013)
In: Parallel-Algorithmen und Rechnerstrukturen (PARS 2013) 2013
URL: https://www2.cs.fau.de/publication/download/STM_PARS2013.pdf
BibTeX: Download
2011
- , , :
Is There Hope for Automatic Parallelization of Legacy Industry Automation Applications?
24th Workshop der GI-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS 2011) (Rüschlikon, Switzerland, 25.05.2011 - 27.05.2011)
In: Parallel-Algorithmen und Rechnerstrukturen (PARS 2011) 2011
URL: http://www2.informatik.uni-erlangen.de/publication/download/PARS2011.pdf
BibTeX: Download
2009
- :
A Language Independent JIT compiler library (Diplomarbeit, 2009)
URL: http://www2.informatik.uni-erlangen.de/teaching/thesis/download/i2D00379.pdf
BibTeX: Download
2008
- :
Implementierung eines LLVM-Backends für Jackal (Studienarbeit (Vordiplom), 2008)
URL: http://www2.informatik.uni-erlangen.de/teaching/thesis/download/i2S00423.pdf
BibTeX: Download
- Verfahren und Vorrichtung zum Einfügen von Synchronisationsbefehlen in Programmabschnitte eines Programms (Nachanmeldung: WO2013091908)
Erfinder: , , - Method and Device for protecting critical sections in threats of a programm (Nachanmeldung: WO2013091907)
Erfinder: , , - Verfahren und Vorrichtung zum Einfügen von Synchronisationsbefehlen in Programmabschnitte eines Programms (Prioritätsbegründende Patentanmeldung: DE102011089180)
Erfinder: , , - Method and Device for protecting critical sections in threats of a programm (Prioritätsbegründende Patentanmeldung: DE102011089181)
Erfinder: , ,