Designing Code Analyses for Large-Scale Software Systems (DECA)
Master's course — Teaching Assistant, Paderborn University, Department of Computer Science
Graduate course covering the design and implementation of static program analyses for large-scale software systems. Topics include data-flow analysis, pointer analysis, taint analysis, and the use of frameworks such as Soot and WALA.
I supervised this course in: Winter 2019, Winter 2020, Winter 2021, Winter 2023, Winter 2024