Foto von Michael Schwarz

Michael Schwarz, M.Sc.

I am interested in Static Analysis by Abstract Interpretation and contribute to the static analyzer Goblint. I am a participant in the DFG RTG ConVeY.

Publications

Sat, 01 Jan 2022 00:00:00 +0100

Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.

Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl:
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap. CoRR abs/2209.10445 (2022)text to speech
mehr

Fri, 01 Jan 2021 00:00:00 +0100

Improving Thread-Modular Abstract Interpretation.

Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani:
Improving Thread-Modular Abstract Interpretation. SAS 2021: 359-383text to speech
mehr

Fri, 01 Jan 2021 00:00:00 +0100

Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).

Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani:
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution). TACAS (2) 2021: 438-442text to speech
mehr

Fri, 01 Jan 2021 00:00:00 +0100

Improving Thread-Modular Abstract Interpretation.

Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani:
Improving Thread-Modular Abstract Interpretation. CoRR abs/2108.07613 (2021)text to speech
mehr

Service

Artifact Evaluation Committee - TACAS'22

Teaching

For inquiries related to IN0003 Functional Programming and Verification, please do not email me directly, but only our shared mailbox fpv@in.tum.de.

Classes:

  • IN0003 Functional Programming and Verification (Winter '21/'22, Summer '22)
  • IN2227 Compiler Construction (Summer '20, Summer '21)
  • Pratical Course: Static Analysis - Automated Bug Hunting and Beyond (Summer '21, Summer '22, Winter '22/'23)
  • Practial Course: Program Optimization with LLVM (Winter '20/'21, Summer '20) 
  • Practical Course: Profiling & Tuning Large Functional Programs (Winter '22/'23)

Supervised Theses:
If you are interested in doing a student thesis related to static analysis and Goblint, feel free to reach out. For more information on possible student topics see here.

Bachelor's Theses Master's Theses
  • Automatic Configuration of Goblint - Tuning for Efficient, Yet Precise Enough Analyses of Programs (Manuel Pietsch, 09/22)
  • Increasing the Precision of the Static Analyzer Goblint by Loop Unrolling (Mireia Cano Pujol, 02/22)
  • Towards an integration of Sarif into Goblint (Alexander Eichler, 10/21)
  • A Continuous Integration and Testing Platform for the Static Analyzer Goblint (Andreas Ferrano, 04/21)
  • Webtool to create and check canonical LR automata (Leo Fahrbach, 02/21, co-supervised with Dr. Michael Petter)
  • Extending a Syntactic Search in C Source Code with Analysis Results from the Static Analyzer Goblint (Elias Brandstetter, 09/20)
  • Extending a VS-Code Plugin for a LLVM-based Program Analyzer with a Mapping back to High Level Code (Benedikt Kehrein, 09/20)
  • Comparison of Analyses in CIL and Goblint (Kerem Cakirer, 09/20)
  • Syntactical Search in C Source Code (Olga Faddeenkov, 07/20)
  • User Interface for Program Analyzer Goblint using a OCaml-JavaScript Transpiler (Alex Micheli, 05/20)
  • Implementing and Comparing Linear Relational Domains in the Static Analyzer Goblint (Martin Wehking, 05/22)
  • Improved Abstract Domains for Structs in the Static Analyzer Goblint (Jakob Erzar, 10/21)
  • Liveness Analysis of Multi-Threaded C with Posix Threads (Denis Grebennicov, 05/21)
  • Implementation and Comparison of Precision of Various Abstract Domains in the Program Analyzer Goblint (Dymtro Yakymets, 11/20)

 

Guided Research

  • Interactive Abstract Intepretation (Kerem Cakirer, 05/22)

​​​​​