Register Allocation for Programs in SSA-Form. - Sebastian Hack; Daniel Grund; Gerhard Goos (CC, 2006)

GrGen: A Fast SPO-Based Graph Rewriting Tool. - Rubino Geiß; Gernot Veit Batz; Daniel Grund; Sebastian Hack; Adam Szalkowski (ICGT, 2006)

Optimal register allocation for SSA-form programs in polynomial time. - Sebastian Hack; Gerhard Goos (Inf. Process. Lett., 2006)

A Fast Cutting-Plane Algorithm for Optimal Coalescing. - Daniel Grund; Sebastian Hack (CC, 2007)

Register allocation for programs in SSA form. - Sebastian Hack (2007)

Fast liveness checking for ssa-form programs. - Benoit Boissinot; Sebastian Hack; Daniel Grund; Benoît Dupont de Dinechin; Fabrice Rastello (CGO, 2008)

Copy coalescing by graph recoloring. - Sebastian Hack; Gerhard Goos (PLDI, 2008)

Register Spilling and Live-Range Splitting for SSA-Form Programs. - Matthias Braun 003; Sebastian Hack (CC, 2009)

Profiling Java programs for parallelism. - Clemens Hammacher; Kevin Streit; Sebastian Hack; Andreas Zeller (IWMSE@ICSE, 2009)

Preference-Guided Register Assignment. - Matthias Braun 003; Christoph Mallon; Sebastian Hack (CC, 2010)

AnySL: efficient and portable shading for ray tracing. - Ralf Karrenberg; Dmitri Rubinstein; Philipp Slusallek; Sebastian Hack (High Performance Graphics, 2010)

Generating test cases for specification mining. - Valentin Dallmeier; Nikolai Knopp; Christoph Mallon; Sebastian Hack; Andreas Zeller (ISSTA, 2010)

Graph-coloring and treescan register allocation using repairing. - Quentin Colombet; Benoit Boissinot; Philip Brisk; Sebastian Hack; Fabrice Rastello (CASES, 2011)

Whole-function vectorization. - Ralf Karrenberg; Sebastian Hack (CGO, 2011)

Compiler Design - Analysis and Transformation. - Helmut Seidl; Reinhard Wilhelm; Sebastian Hack (Springer, 2012)

Improving Performance of OpenCL on CPUs. - Ralf Karrenberg; Sebastian Hack (CC, 2012)

Sambamba: A Runtime System for Online Adaptive Parallelization. - Kevin Streit; Clemens Hammacher; Andreas Zeller; Sebastian Hack (CC, 2012)

A dynamic program analysis to find floating-point accuracy problems. - Florian Benz; Andreas Hildebrandt 001; Sebastian Hack (PLDI, 2012)

Extending a C-like language for portable SIMD programming. - Roland Leißa; Sebastian Hack; Ingo Wald (PPoPP, 2012)

Automatically Generating Test Cases for Specification Mining. - Valentin Dallmeier; Nikolai Knopp; Christoph Mallon; Gordon Fraser 001; Sebastian Hack; Andreas Zeller (IEEE Trans. Software Eng., 2012)

Compiler Design - Syntactic and Semantic Analysis. - Reinhard Wilhelm; Helmut Seidl; Sebastian Hack (Springer, 2013)

Hardware acceleration for programs in SSA form. - Manuel Mohr; Artjom Grudnitsky; Tobias Modschiedler; Lars Bauer; Sebastian Hack; Jörg Henkel (CASES, 2013)

Simple and Efficient Construction of Static Single Assignment Form. - Matthias Braun 003; Sebastian Buchwald; Sebastian Hack; Roland Leißa; Christoph Mallon; Andreas Zwinkau (CC, 2013)

Sierra: a SIMD extension for C++. - Roland Leißa; Immanuel Haffner; Sebastian Hack (WPMVP@PPoPP, 2014)

Target-specific refinement of multigrid codes. - Richard Membarth; Philipp Slusallek; Marcel Köster; Roland Leißa; Sebastian Hack (WOLFHPC@SC, 2014)

Code Refinement of Stencil Codes. - Marcel Köster; Roland Leißa; Sebastian Hack; Richard Membarth; Philipp Slusallek (Parallel Process. Lett., 2014)

The Impact of the SIMD Width on Control-Flow and Memory Divergence. - Thomas Schaub; Simon Moll 001; Ralf Karrenberg; Sebastian Hack (ACM Trans. Archit. Code Optim., 2014)

A graph-based higher-order intermediate representation. - Roland Leißa; Marcel Köster; Sebastian Hack (CGO, 2015)

Learning How to Prevent Return-Oriented Programming Efficiently. - David Pfaff; Sebastian Hack; Christian Hammer 001 (ESSoS, 2015)

Shallow embedding of DSLs via online partial evaluation. - Roland Leißa; Klaas Boesche; Sebastian Hack; Richard Membarth; Philipp Slusallek (GPCE, 2015)

A Linear First-Order Functional Intermediate Language for Verified Compilers. - Sigurd Schneider; Gert Smolka; Sebastian Hack (ITP, 2015)

WCET analysis for multi-core processors with shared buses and event-driven bus arbitration. - Michael Jacobs 002; Sebastian Hahn 001; Sebastian Hack (RTNS, 2015)

Polly's Polyhedral Scheduling in the Presence of Reductions. - Johannes Doerfert; Kevin Streit; Sebastian Hack; Zino Benaissa (CoRR, 2015)

A First-Order Functional Intermediate Language for Verified Compilers. - Sigurd Schneider; Gert Smolka; Sebastian Hack (CoRR, 2015)

Generalized Task Parallelism. - Kevin Streit; Johannes Doerfert; Clemens Hammacher; Andreas Zeller; Sebastian Hack (ACM Trans. Archit. Code Optim., 2015)

Thread-level speculation with kernel support. - Clemens Hammacher; Kevin Streit; Andreas Zeller; Sebastian Hack (CC, 2016)

Input space splitting for OpenCL. - Simon Moll 001; Johannes Doerfert; Sebastian Hack (CC, 2016)

A Framework for the Derivation of WCET Analyses for Multi-core Processors. - Michael Jacobs 002; Sebastian Hahn 001; Sebastian Hack (ECRTS, 2016)

An Inductive Proof Method for Simulation-based Compiler Correctness. - Sigurd Schneider; Gert Smolka; Sebastian Hack (CoRR, 2016)

Optimistic loop optimization. - Johannes Doerfert; Tobias Grosser; Sebastian Hack (CGO, 2017)

RaTrace: simple and efficient abstractions for BVH ray traversal algorithms. - Arsène Pérard-Gayot; Martin Weier; Richard Membarth; Philipp Slusallek; Roland Leißa; Sebastian Hack (GPCE, 2017)

Verified Spilling and Translation Validation with Repair. - Julian Rosemann; Sigurd Schneider; Sebastian Hack (ITP, 2017)

PACXXv2 + RV: An LLVM-based Portable High-Performance Programming Model. - Michael Haidl; Simon Moll 001; Lars Klein 002; Huihui Sun; Sebastian Hack; Sergei Gorlatch (LLVM-HPC@SC, 2017)

Polyhedral expression propagation. - Johannes Doerfert; Shrey Sharma; Sebastian Hack (CC, 2018)

Synthesizing an instruction selection rule library from semantic specifications. - Sebastian Buchwald; Andreas Fried; Sebastian Hack (CGO, 2018)

Partial control-flow linearization. - Simon Moll 001; Sebastian Hack (PLDI, 2018)

A Data Layout Transformation for Vectorizing Compilers. - Arsène Pérard-Gayot; Richard Membarth; Philipp Slusallek; Simon Moll 001; Roland Leißa; Sebastian Hack (WPMVP@PPoPP, 2018)

Loop Optimization (Dagstuhl Seminar 18111). - Sebastian Hack; Paul H. J. Kelly; Christian Lengauer (Dagstuhl Reports, 2018)

AnyDSL: a partial evaluation framework for programming high-performance libraries. - Roland Leißa; Klaas Boesche; Sebastian Hack; Arsène Pérard-Gayot; Richard Membarth; Philipp Slusallek; André Müller; Bertil Schmidt (Proc. ACM Program. Lang., 2018)

Multi-dimensional Vectorization in LLVM. - Simon Moll 001; Shrey Sharma; Matthias Kurtenacker; Sebastian Hack (PPoPP, 2019)

Rodent: generating renderers without writing a generator. - Arsène Pérard-Gayot; Richard Membarth; Roland Leißa; Sebastian Hack; Philipp Slusallek (ACM Trans. Graph., 2019)

AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation. - André Müller; Bertil Schmidt; Andreas Hildebrandt 001; Richard Membarth; Roland Leißa; Matthis Kruse; Sebastian Hack (IPDPS, 2020)

PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization. - Fabian Ritter 002; Sebastian Hack (PLDI, 2020)

tinyMD: A Portable and Scalable Implementation for Pairwise Interactions Simulations. - Rafael Ravedutti L. Machado; Jonas Schmitt; Sebastian Eibl; Jan Eitzinger; Roland Leißa; Sebastian Hack; Arsène Pérard-Gayot; Richard Membarth; Harald Köstler (CoRR, 2020)

AnyHLS: High-Level Synthesis With Partial Evaluation. - M. Akif Özkan; Arsène Pérard-Gayot; Richard Membarth; Philipp Slusallek; Roland Leißa; Sebastian Hack; Jürgen Teich; Frank Hannig (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

FLOWER: A comprehensive dataflow compiler for high-level synthesis. - Puya Amiri; Arsène Pérard-Gayot; Richard Membarth; Philipp Slusallek; Roland Leißa; Sebastian Hack (FPT, 2021)

tinyMD: Mapping molecular dynamics simulations to heterogeneous hardware using partial evaluation. - Rafael Ravedutti L. Machado; Jonas Schmitt; Sebastian Eibl; Jan Eitzinger; Roland Leißa; Sebastian Hack; Arsène Pérard-Gayot; Richard Membarth; Harald Köstler (J. Comput. Sci., 2021)

An abstract interpretation for SPMD divergence on reducible control flow graphs. - Julian Rosemann; Simon Moll 001; Sebastian Hack (Proc. ACM Program. Lang., 2021)

PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations. - Tina Jung; Fabian Ritter 002; Sebastian Hack (ACM Trans. Archit. Code Optim., 2021)

SSA Reconstruction. - Sebastian Hack (SSA-based Compiler Design, 2022)

AnySeq/GPU: a novel approach for faster sequence alignment on GPUs. - André Müller; Bertil Schmidt; Richard Membarth; Roland Leißa; Sebastian Hack (ICS, 2022)

AnICA: analyzing inconsistencies in microarchitectural code analyzers. - Fabian Ritter 002; Sebastian Hack (Proc. ACM Program. Lang., 2022)

Implementation Techniques for SPMD Kernels on CPUs. - Joachim Meyer 003; Aksel Alpay; Sebastian Hack; Holger Fröning; Vincent Heuveline (IWOCL, 2023)

CUDA-accelerated protein electrostatics in linear space. - Thomas Kemmer; Sebastian Hack; Bertil Schmidt; Andreas Hildebrandt 001 (J. Comput. Sci., 2023)

Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures. - Fabian Ritter 002; Sebastian Hack (ASPLOS (3), 2024)

MimIrADe: Automatic Differentiation in MimIR. - Marcel Ullrich; Sebastian Hack; Roland Leißa (CC, 2025)

Memory Safety Instrumentations in Practice: Usability, Performance, and Security Guarantees. - Tina Jung; Fabian Ritter 002; Sebastian Hack (CGO, 2025)

Synthesis of Sorting Kernels. - Marcel Ullrich; Sebastian Hack (CGO, 2025)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age. - Roland Leißa; Marcel Ullrich; Joachim Meyer 003; Sebastian Hack (Proc. ACM Program. Lang., 2025)