|
|
|
Contact Phone: +49 721 608-44684 Email: |
IPD Prof. Snelting Room 031, Building 50.34 Am Fasanengarten 5 76131 Karlsruhe Germany |
Courses
- 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
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
- An Address Sanitizer for libfirm, bachelor thesis
- Register allocation for compressed machine code, masters thesis
- Data Flow Analysis meets Program Synthesis, masters thesis
- Compiler Support for Scratchpad Memory, masters thesis
- Survey on Program Synthesis, bachelor thesis
- Information Flow Control for X10, masters thesis
- Development libFirm Compiler, HiWi-Job
running
- Odyssee, HiWi-Job
- Load-Store Optimization with Memory Partitions, bachelor thesis
finished
- 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
- Devirtualization in libFirm, bachelor thesis
Theses worked on
- Synthesizing Instruction Selection (finished), masters thesis