Sven Keidel

I work as a postdoctoral security researcher at Fraunhofer SIT | ATHENE.

In my research, I develop techniques that simplify the design and implementation of static analyses. Static analyses are tools that provide information about programs by inspecting the source code without running them. They are used in integrated development environments, continuous integration servers, compilers, and security scanners.

I am a core author of the Sturdy analysis framework and contributed to the OPAL analysis framework. I worked on analyses for Scheme, JVM byte-code, and WebAssembly.

Qualifications

Publications

Reviewing

• European Symposium on Programming (ESOP)'25 Reviewing Committee
• Trends in Functional Programming (TFP)'25 Reviewing Committee
• European Conference on Object-Oriented Programming (ECOOP)'24 Artifact Evaluation Committee
• Certified Programs and Proofs (CPP)'23 External Review
• European Conference on Object-Oriented Programming (ECOOP)'23 External Review
• European Conference on Object-Oriented Programming (ECOOP)'22 Extended Review and Artifact Evaluation Committee
• International Conference on Software Engineering (ICSE)'22 (invided by Mira Mezini)
• Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)'21 (invided by Mira Mezini)
• Software Language Engineering (SLE)'20 (invided by Sebastian Erdweg)
• ACM Transaction on Software Engineering and Methodology (TOSEM)'20 Journal Review
• International Conference on Functional Programming (ICFP)'20 (invided by Sebastian Erdweg)
• Software Language Engineering (SLE)'19 Artifact Evaluation Comittee
• Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)'19 (invided by Sebastian Erdweg)
• International Conference on Functional Programming (ICFP)'19 (invided by Sebastian Erdweg)
• International Conference on Functional Programming (ICFP)'19 Artifact Evaluation Committee

Teaching

Supervision

Funding

Awards