Activities

SOAP 2019Author of Know Your Analysis: How Instrumentation Aids Understanding Static Analysis within the SOAP-track
TACAS 2019Author of PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ within the TACAS 2019-track
ETAPS 2019Author of PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ within the Posters-track
PLDI 2018Presenter of Static Analysis for C++ with Phasar within the PLDI Tutorials-track
ISSTA 2018Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track