Hannes Saffrich
About Me
I work as a Ph.D. student at the department of programming languages under the supervision of Prof. Dr. Peter Thiemann.
Research Interests
- Type systems and formal logic
-
Interactive theorem proving with systems based on dependent type
theory like
Agda,
Coq, or
Lean
-
Typed functional programming,
Haskell,
ML
-
Substructural types,
session types,
Rust
- Compiler construction and optimization
- Development tools and structural code editors
-
Language integration for GPU programming supporting code that
is polymorphic about whether it's used on the CPU or the GPU
Publications
| Year |
Authors |
Title |
Context |
Links |
| 2021 |
Saffrich, Thiemann |
Relating Functional and Imperative Session Types |
International Conference on Coordination Models and Languages (COORDINATION) |
Paper
|
| 2020 |
Radanne, Saffrich, Thiemann |
Kindly Bent to Free Us |
International Conference on Functional Programming (ICFP) |
Paper,
Talk
|
| 2019 |
Saffrich |
Mechanized Type Soundness Proofs using Definitional Interpreters |
M.Sc. Thesis, University of Freiburg, Germany |
Thesis,
Slides,
Artifacts
|
| 2014 |
Geffken, Saffrich, Thiemann |
Precise Interprocedural Side-Effect Analysis |
International Colloquium on Theoretical Aspects of Computing (pp. 188-205), Springer, Cham |
|
Projects
| Year |
Title |
Links |
| 2017 |
Parser and type checker for the Gradual Session Types paper by Igarashi, Thiemann, Vasconcelos, Wadler implemented in Haskell |
Paper,
Artifact |
Teaching
| Year |
Role |
Lecture |
Links |
| 2021 SS |
Assistant |
C Programmierkurs |
Link |
| 2020 WS |
Assistant |
Einführung in die Informatik |
Link |
| 2020 SS |
Assistant |
Essentials of Programming Languages |
Link |
| 2019 WS |
Assistant |
Einführung in die Informatik |
Link |
