Home
News
Vacancies
People
Projects
Publications
PCS Software
Contact
Tobias Grosser
Latest
The paper 'PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model' was accepted at PACT '24.
Guided Equality Saturation
PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model
Transforming Optimization Problems into Disciplined Convex Programming Form
Verifying Peephole Rewriting in SSA Compiler IRs
Cite
×