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