Know your analysis: how instrumentation aids understanding static analysis. - Philipp Dominik Schubert; Richard Leer; Ben Hermann; Eric Bodden (SOAP@PLDI, 2019)

Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++. - Philipp Dominik Schubert; Richard Leer; Ben Hermann; Eric Bodden (SCAM, 2021)