|
|
|
Contact Phone: +49 721 608-44684 Email: |
IPD Prof. Snelting Room 031, Building 50.34 Am Fasanengarten 5 76131 Karlsruhe Germany |
Courses
- Lecture: Language Technology and Compilers , Sommersemester 2020
- Lecture: Software Engineering Practice , Sommersemester 2020
- Common Excercises: Tutorial for Language Technology and Compilers , Sommersemester 2020
- Laboratory: Software Engineering Practice - Codespeed 2.0 , Wintersemester 2019/2020
- Lecture: Software Engineering Practice , Wintersemester 2018/2019
- Laboratory: Compiler Lab , Wintersemester 2018/2019
- Lecture: Language Technology and Compilers , Sommersemester 2018
- Common Excercises: Tutorial for Language Technology and Compilers , Sommersemester 2018
- Lecture: Software Engineering Practice , Sommersemester 2017
- Laboratory: Programm analysis via clicking , Sommersemester 2017
- Laboratory: Automatic Team Scheduling for PSE , Wintersemester 2016/2017
Publications
2019
-
NEMESYS: Near-Memory Graph Copy Enhanced System-Software
Proceedings of the International Symposium on Memory Systems (MEMSYS'19) 2019 (MEMSYS 2019) : S. Rheindt, A. Fried, O. Lenke, L. Nolte, T. Wild, A. Herkersdorf
2018
-
Synthesizing an Instruction Selection Rule Library from Semantic Specifications
Proceedings of 2018 IEEE/ACM International Symposium on Code Generation and Optimization 2018 (CGO '18) : S. Buchwald, A. Fried, S. Hack
2016
-
Synthesizing Instruction Selection
August 2016 : A. Fried
Advised thesis projects
open
- Register allocation for compressed machine code, masters thesis
- Data Flow Analysis meets Program Synthesis, masters thesis
- Compiler Support for Scratchpad Memory, masters thesis
- Information Flow Control for X10, masters thesis
- Development libFirm Compiler, HiWi-Job
assigned
- An Address Sanitizer for libfirm, bachelor thesis
running
- Odyssee, HiWi-Job
finished
- Loop unrolling with non-constant bounds in FIRM, bachelor thesis
- Compressing Type Information in Modern C++ Programs using Type Isolation, masters thesis
- Optimizsation of Basic Block Ordering, bachelor thesis
- Functional Firm, bachelor thesis
- Register allocation with register pairs, bachelor thesis
- Efficient Instruction Selection with Many Patterns, masters thesis
- Identification of Recurring Program Structures, bachelor thesis
- Instruction Scheduling on Explicit Dependency Graphs, masters thesis
- Early Execution of parallelize-mem, bachelor thesis
- Devirtualization in libFirm, bachelor thesis
Theses worked on
- Synthesizing Instruction Selection (finished), masters thesis