Raphael Isemann

I'm a PhD candidate at . I'm working on system security, compilers, sanitizers, fuzzing, and everything related to that.

Publications

Don't Look UB: Exposing Sanitizer-Eliding Optimizations Raphael Isemann, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe, Klaus von Gleissenthall
PLDI 2023
FloatZone: Accelerating Memory Error Detection using the Floating Point Unit Floris Gorter, Enrico Barberis, Raphael Isemann, Erik van der Kouwe, Cristiano Giuffrida, Herbert Bos
USENIX Security 2023
Phantom Trails: Practical Pre-Silicon Discovery of Transient Data Leaks Alvise de Faveri Tron, Raphael Isemann, Hany Ragab, Cristiano Giuffrida, Klaus von Gleissenthall, and Herbert Bos
USENIX Security 2025
DMARacer: Dynamic Detection of DMA Race Conditions Brian Johannesmeyer, Raphael Isemann, Cristiano Giuffrida, Herbert Bos
CCS 2025

Work

Apple Software Engineer Jun 2019 - Dec 2021, Stockholm πŸ‡ΈπŸ‡ͺ

I worked on various parts of the LLDB debugger. Main focus was maintaing the LLVM-based expression evaluator within LLDB, but also various other stuff related to debugging with LLDB.

Apple Software Engineer Intern Jun 2018 - Aug 2018, California πŸ‡ΊπŸ‡Έ

I was supposed to add code completion support to LLDB's expression evaluator. But I ended up implementing a bunch of other stuff too (including the syntax highlighting support. You are welcome fellow LLDB users).

CERN Technical Student Jan 2017 - Dec 2017, Geneva πŸ‡¨πŸ‡­

Worked on Clang's initial C++ modules implementation and CERN's C++ interpreter ROOT.

GSoC Google Summer of Code Student May 2016 - Aug 2016, Remote

Implemented semantic error detection within Clang's static analyzer.

Misc.

Mail Address

Raphael Isemann
Department of Computer Science
Faculty of Science
Vrije Universiteit Amsterdam
De Boelelaan 1111, 1081 HV
Amsterdam North-Holland
The Netherlands