Registered user since Wed 20 Jun 2018
Since 2017 Stefan Brunthaler holds the Chair for Secure Software Engineering at the newly established National Research Institute for Cyber Defense CODE at the University of the Bundeswehr Munich. There he directs the Munich Computer Systems Research Laboratory, μCSRL for short, which focuses on a variety of topics in programming languages:
- Language-based security (primary focus on large-scale automated software diversity);
- Optimization of interpreters, just-in-time compilers, and ahead-of-time compilers;
- Decompilation of programs;
- Fuzzing of systems software; and
- Novel directions in compiler implementation and optimization.
Stefan received a Dr.techn degree from TU Wien in 2011, was a Postdoctoral Scholar at the University of California, Irvine until 2015, a tenured associate professor for compilers and programming languages at Paderborn University, and is a member of IFIP Working Group 2.4 since 2022. By adopting Stefan’s interpreter optimization techniques starting with CPython 3.9, his research is used by millions of people on a daily basis.
Contributions
2024
ECOOP
ECOOP/ISSTA
- From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems
- Automated Testing of Networked Systems Reliability
- Robustness against the C/C++11 memory model
- Integrating Mutation Techniques to Keep Specification and Source Code in Sync
- Soft Verification for Actor Contract Systems
- Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs