Richard Leer

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 2

Top Topics

Static Analysis

Multiresolution

Top Venues

Publications

Philipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden
Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++. SCAM (2021)
Philipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden
Know your analysis: how instrumentation aids understanding static analysis. SOAP@PLDI (2019)