|
|
|
Contact Phone: +49 721 608-47401 Email:
Bitte warten... [Web] |
IPD Prof. Snelting Room 022, Building 50.34 Am Fasanengarten 5 76131 Karlsruhe Germany |
Research interests
Compilers, functional programming languages, type systems, formal verification
Courses
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2023/2024
- Lecture: Language Technology and Compilers , Sommersemester 2023
- Common Excercises: Tutorial for Language Technology and Compilers , Sommersemester 2023, Beste Übung
- Lecture: Programming Paradigms , Wintersemester 2022/2023
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2022/2023, Beste Übung
- Common Excercises: Advanced Object-Orientation Excercises , Sommersemester 2022, Beste Übung
- Laboratory: Compiler Lab , Wintersemester 2021/2022, Bestes Praktikum
- Lecture: Language Technology and Compilers , Sommersemester 2021
- Common Excercises: Tutorial for Language Technology and Compilers , Sommersemester 2021
- Lecture: Programming Paradigms , Wintersemester 2020/2021
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2020/2021
- Lecture: Language Technology and Compilers , Sommersemester 2020
- Common Excercises: Tutorial for Language Technology and Compilers , Sommersemester 2020
- Lecture: Programming Paradigms , Wintersemester 2019/2020
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2019/2020
- Common Excercises: Advanced Object-Orientation Excercises , Sommersemester 2019, Beste Übung
- Laboratory: Compiler Lab , Wintersemester 2018/2019
- Lecture: Language Technology and Compilers , Sommersemester 2018
- Common Excercises: Tutorial for Language Technology and Compilers , Sommersemester 2018
Publications
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
Advised thesis projects
finished
- Transient Data Structures for Haskell, masters thesis
- LiquidRust: Refinement Types for Imperative Languages with Ownership, masters thesis
- Formal Verification of Lower Your Guards, masters thesis
- Exhaustiveness check for Structural Pattern Matching in Python 3.10, bachelor thesis
- Escape Analysis for GHC, masters thesis
- Ein Recursive Ascent-Descent Backend for happy, bachelor thesis
- corediff: Diff for GHC Core programs, bachelor thesis
- Elm-Reduce: Delta Debugging Functional Programs, bachelor thesis
- Development of a library for solving and analysing PBQP instances, bachelor thesis
- Data Flow Based Type Inference for JavaScript, masters thesis
- hsreduce: Minimising Haskell programs, masters thesis
- FirmReduce: Minimising test case program graphs, bachelor thesis
- Early Execution of parallelize-mem, bachelor thesis
Theses worked on
- Call Arity vs. Demand Analysis (finished), masters thesis