| 2025 | CC | MimIrADe: Automatic Differentiation in MimIR. | Marcel Ullrich, Sebastian Hack, Roland Leia |
| 2025 | CGO | Memory Safety Instrumentations in Practice: Usability, Performance, and Security Guarantees. | Tina Jung, Fabian Ritter, Sebastian Hack |
| 2025 | CGO | Synthesis of Sorting Kernels. | Marcel Ullrich, Sebastian Hack |
| 2024 | ASPLOS | Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures. | Fabian Ritter, Sebastian Hack |
| 2022 | ICS | AnySeq/GPU: a novel approach for faster sequence alignment on GPUs. | Andr Mller, Bertil Schmidt, Richard Membarth, Roland Leia, Sebastian Hack |
| 2020 | PLDI | PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization. | Fabian Ritter, Sebastian Hack |
| 2018 | CC | Polyhedral expression propagation. | Johannes Doerfert, Shrey Sharma, Sebastian Hack |
| 2018 | CGO | Synthesizing an instruction selection rule library from semantic specifications. | Sebastian Buchwald, Andreas Fried, Sebastian Hack |
| 2018 | PLDI | Partial control-flow linearization. | Simon Moll, Sebastian Hack |
| 2018 | PPoPP | A Data Layout Transformation for Vectorizing Compilers. | Arsne Prard-Gayot, Richard Membarth, Philipp Slusallek, Simon Moll, Roland Leia, Sebastian Hack |
| 2017 | CGO | Optimistic loop optimization. | Johannes Doerfert, Tobias Grosser, Sebastian Hack |
| 2017 | GPCE | RaTrace: simple and efficient abstractions for BVH ray traversal algorithms. | Arsne Prard-Gayot, Martin Weier, Richard Membarth, Philipp Slusallek, Roland Leia, Sebastian Hack |
| 2017 | ITP | Verified Spilling and Translation Validation with Repair. | Julian Rosemann, Sigurd Schneider, Sebastian Hack |
| 2017 | SC | PACXXv2 + RV: An LLVM-based Portable High-Performance Programming Model. | Michael Haidl, Simon Moll, Lars Klein, Huihui Sun, Sebastian Hack, Sergei Gorlatch |
| 2016 | CC | Thread-level speculation with kernel support. | Clemens Hammacher, Kevin Streit, Andreas Zeller, Sebastian Hack |
| 2016 | CC | Input space splitting for OpenCL. | Simon Moll, Johannes Doerfert, Sebastian Hack |
| 2016 | ECRTS | A Framework for the Derivation of WCET Analyses for Multi-core Processors. | Michael Jacobs, Sebastian Hahn, Sebastian Hack |
| 2015 | CGO | A graph-based higher-order intermediate representation. | Roland Leia, Marcel Kster, Sebastian Hack |
| 2015 | GPCE | Shallow embedding of DSLs via online partial evaluation. | Roland Leia, Klaas Boesche, Sebastian Hack, Richard Membarth, Philipp Slusallek |
| 2015 | ITP | A Linear First-Order Functional Intermediate Language for Verified Compilers. | Sigurd Schneider, Gert Smolka, Sebastian Hack |
| 2015 | RTNS | WCET analysis for multi-core processors with shared buses and event-driven bus arbitration. | Michael Jacobs, Sebastian Hahn, Sebastian Hack |
| 2014 | PPoPP | Sierra: a SIMD extension for C++. | Roland Leia, Immanuel Haffner, Sebastian Hack |
| 2014 | SC | Target-specific refinement of multigrid codes. | Richard Membarth, Philipp Slusallek, Marcel Kster, Roland Leia, Sebastian Hack |
| 2013 | CASES | Hardware acceleration for programs in SSA form. | Manuel Mohr, Artjom Grudnitsky, Tobias Modschiedler, Lars Bauer, Sebastian Hack, Jrg Henkel |
| 2013 | CC | Simple and Efficient Construction of Static Single Assignment Form. | Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leia, Christoph Mallon, Andreas Zwinkau |
| 2012 | CC | Improving Performance of OpenCL on CPUs. | Ralf Karrenberg, Sebastian Hack |
| 2012 | CC | Sambamba: A Runtime System for Online Adaptive Parallelization. | Kevin Streit, Clemens Hammacher, Andreas Zeller, Sebastian Hack |
| 2012 | PLDI | A dynamic program analysis to find floating-point accuracy problems. | Florian Benz, Andreas Hildebrandt, Sebastian Hack |
| 2012 | PPoPP | Extending a C-like language for portable SIMD programming. | Roland Leia, Sebastian Hack, Ingo Wald |
| 2011 | CASES | Graph-coloring and treescan register allocation using repairing. | Quentin Colombet, Benoit Boissinot, Philip Brisk, Sebastian Hack, Fabrice Rastello |
| 2011 | CGO | Whole-function vectorization. | Ralf Karrenberg, Sebastian Hack |
| 2010 | CC | Preference-Guided Register Assignment. | Matthias Braun, Christoph Mallon, Sebastian Hack |
| 2010 | ISSTA | Generating test cases for specification mining. | Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller |
| 2009 | CC | Register Spilling and Live-Range Splitting for SSA-Form Programs. | Matthias Braun, Sebastian Hack |
| 2009 | ICSE | Profiling Java programs for parallelism. | Clemens Hammacher, Kevin Streit, Sebastian Hack, Andreas Zeller |
| 2008 | CGO | Fast liveness checking for ssa-form programs. | Benoit Boissinot, Sebastian Hack, Daniel Grund, Benot Dupont de Dinechin, Fabrice Rastello |
| 2008 | PLDI | Copy coalescing by graph recoloring. | Sebastian Hack, Gerhard Goos |
| 2007 | CC | A Fast Cutting-Plane Algorithm for Optimal Coalescing. | Daniel Grund, Sebastian Hack |
| 2006 | CC | Register Allocation for Programs in SSA-Form. | Sebastian Hack, Daniel Grund, Gerhard Goos |