|
|
|
Kontakt Tel.: +49 721 608-47399 Email:
Loading... [Web] |
IPD Prof. Snelting Raum 025, Gebäude 50.34 Am Fasanengarten 5 76131 Karlsruhe Deutschland |
Arbeitsgebiete
Compiler, funktionale Programmiersprachen, Typsysteme, formale Verifikation
Lehre
- Übung: Programmierparadigmen - Übungen , Wintersemester 2023/2024
- Vorlesung: Sprachtechnologie und Compiler , Sommersemester 2023
- Übung: Übung zu Sprachtechnologie und Compiler , Sommersemester 2023, Beste Übung
- Vorlesung: Programmierparadigmen , Wintersemester 2022/2023
- Übung: Programmierparadigmen - Übungen , Wintersemester 2022/2023, Beste Übung
- Übung: Übungen zu Fortgeschrittene Objektorientierung , Sommersemester 2022, Beste Übung
- Praktikum: Compilerpraktikum , Wintersemester 2021/2022, Bestes Praktikum
- Vorlesung: Sprachtechnologie und Compiler , Sommersemester 2021
- Übung: Übung zu Sprachtechnologie und Compiler , Sommersemester 2021
- Vorlesung: Programmierparadigmen , Wintersemester 2020/2021
- Übung: Programmierparadigmen - Übungen , Wintersemester 2020/2021
- Vorlesung: Sprachtechnologie und Compiler , Sommersemester 2020
- Übung: Übung zu Sprachtechnologie und Compiler , Sommersemester 2020
- Vorlesung: Programmierparadigmen , Wintersemester 2019/2020
- Übung: Programmierparadigmen - Übungen , Wintersemester 2019/2020
- Übung: Übungen zu Fortgeschrittene Objektorientierung , Sommersemester 2019, Beste Übung
- Praktikum: Compilerpraktikum , Wintersemester 2018/2019
- Vorlesung: Sprachtechnologie und Compiler , Sommersemester 2018
- Übung: Übung zu Sprachtechnologie und Compiler , Sommersemester 2018
Veröffentlichungen
2024
-
Abstracting Denotational Interpreters
2024 : S. Graf, S. P. Jones, S. Keidel
2022
-
Triemaps that match
2022 : S. P. Jones, S. Graf
2020
-
Lower Your Guards: A Compositional Pattern-Match Coverage Checker
Proc. ACM Program. Lang. August 2020 : S. Graf, S. P. Jones, R. G. Scott
2019
-
Selective Lambda Lifting
2019 : S. Graf, S. P. Jones
2017
-
Call Arity vs. Demand Analysis
August 2017 : S. Graf
Betreute Studien- und Abschlussarbeiten
abgeschlossen
- Transiente Datenstrukturen für Haskell, Masterarbeit
- LiquidRust: Refinement Types für Rust, Masterarbeit
- Formale Verifikation von Lower Your Guards, Masterarbeit
- Exhaustiveness Überprüfung für Structural Pattern Matching in Python 3.10, Bachelorarbeit
- Escape Analyse für den Glasgow Haskell Compiler, Masterarbeit
- Ein Recursive Ascent-Descent Backend für happy, Bachelorarbeit
- corediff: Diff-Tool für GHC Core Programme, Bachelorarbeit
- Elm-Reduce: Delta Debugging von Funktionalen Programmen, Bachelorarbeit
- Entwicklung einer Bibliothek zum Lösen und Analysieren von PBQP-Instanzen, Bachelorarbeit
- Datenflussbasierte Typinferenz für JavaScript, Masterarbeit
- hsreduce: Minimieren von Haskell-Programmen, Masterarbeit
- FirmReduce: Minimieren von Testfall-Programmgraphen, Bachelorarbeit
- Frühzeitige Ausführung von parallelize-mem, Bachelorarbeit
Bearbeitete Studien- und Abschlussarbeiten
- Call Arity vs. Demand Analysis (abgeschlossen), Masterarbeit