Compiler-Guided Identification of Critical Sections in Parallel Code. - Stefan Kempf 002; Ronald Veldema; Michael Philippsen (CC, 2013)

Combining Lock Inference with Lock-Based Software Transactional Memory. - Stefan Kempf 002; Ronald Veldema; Michael Philippsen (LCPC, 2013)

Compiler and runtime techniques to identify and optimize atomic blocks in parallel programs. - Stefan Kempf 002 (Cuvillier, 2014)