Sebastian Hack

81 papers A* 4A 11B 20C 1Misc 3Journal 28Unranked 10
YearRankTypeTitle / Venue / Authors
2025 A conf
Memory Safety Instrumentations in Practice: Usability, Performance, and Security Guarantees.
CGO
Tina Jung, Fabian Ritter, Sebastian Hack
2025 J jnl
MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age.
Proc. ACM Program. Lang.
Roland Leißa, Marcel Ullrich, Joachim Meyer, Sebastian Hack
2025 B conf
MimIrADe: Automatic Differentiation in MimIR.
CC
Marcel Ullrich, Sebastian Hack, Roland Leißa
2025 J jnl
Non-interference Preserving Optimising Compilation.
Proc. ACM Program. Lang.
Julian Rosemann, Sebastian Hack, Deepak Garg
2025 A conf
Synthesis of Sorting Kernels.
CGO
Marcel Ullrich, Sebastian Hack
2024 — conf
Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures.
ASPLOS (3)
Fabian Ritter, Sebastian Hack
2024 J jnl
Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures.
CoRR
Fabian Ritter, Sebastian Hack
2024 J jnl
MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age.
CoRR
Roland Leißa, Marcel Ullrich, Joachim Meyer, Sebastian Hack
2023 J jnl
CUDA-accelerated protein electrostatics in linear space.
J. Comput. Sci.
Thomas Kemmer, Sebastian Hack, Bertil Schmidt, Andreas Hildebrandt
2023 — conf
Implementation Techniques for SPMD Kernels on CPUs.
IWOCL
Joachim Meyer, Aksel Alpay, Sebastian Hack, Holger Fröning, Vincent Heuveline
2022 J jnl
AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers.
CoRR
Fabian Ritter, Sebastian Hack
2022 J jnl
AnICA: analyzing inconsistencies in microarchitectural code analyzers.
Proc. ACM Program. Lang.
Fabian Ritter, Sebastian Hack
2022 J jnl
AnySeq/GPU: A Novel Approach for Faster Sequence Alignment on GPUs.
CoRR
André Müller, Bertil Schmidt, Richard Membarth, Roland Leißa, Sebastian Hack
2022 A conf
AnySeq/GPU: a novel approach for faster sequence alignment on GPUs.
ICS
André Müller, Bertil Schmidt, Richard Membarth, Roland Leißa, Sebastian Hack
2022 A ed.
IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2022, Seoul, Korea, Republic of, April 2-6, 2022
CGO
Jae W. Lee, Sebastian Hack, Tatiana Shpeisman
2022 — ch.
SSA Reconstruction.
SSA-based Compiler Design
Sebastian Hack
2021 J jnl
An abstract interpretation for SPMD divergence on reducible control flow graphs.
Proc. ACM Program. Lang.
Julian Rosemann, Simon Moll, Sebastian Hack
2021 — conf
FLOWER: A comprehensive dataflow compiler for high-level synthesis.
FPT
Puya Amiri, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, Roland Leißa, Sebastian Hack
2021 J jnl
FLOWER: A comprehensive dataflow compiler for high-level synthesis.
CoRR
Puya Amiri, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, Roland Leißa, Sebastian Hack
2021 J jnl
PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations.
ACM Trans. Archit. Code Optim.
Tina Jung, Fabian Ritter, Sebastian Hack
2021 J jnl
tinyMD: Mapping molecular dynamics simulations to heterogeneous hardware using partial evaluation.
J. Comput. Sci.
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
2020 J jnl
AnyHLS: High-Level Synthesis With Partial Evaluation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
M. Akif Özkan, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, Roland Leißa, Sebastian Hack, Jürgen Teich, Frank Hannig
2020 J jnl
AnyHLS: High-Level Synthesis with Partial Evaluation.
CoRR
M. Akif Özkan, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, Roland Leißa, Sebastian Hack, Jürgen Teich, Frank Hannig
2020 A conf
AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation.
IPDPS
André Müller, Bertil Schmidt, Andreas Hildebrandt, Richard Membarth, Roland Leißa, Matthis Kruse, Sebastian Hack
2020 J jnl
AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation.
CoRR
André Müller, Bertil Schmidt, Andreas Hildebrandt, Richard Membarth, Roland Leißa, Matthis Kruse, Sebastian Hack
2020 J jnl
PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization.
CoRR
Fabian Ritter, Sebastian Hack
2020 A* conf
PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization.
PLDI
Fabian Ritter, Sebastian Hack
2020 J jnl
tinyMD: A Portable and Scalable Implementation for Pairwise Interactions Simulations.
CoRR
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
2019 B conf
Multi-dimensional Vectorization in LLVM.
PPoPP
Simon Moll, Shrey Sharma, Matthias Kurtenacker, Sebastian Hack
2019 J jnl
Rodent: generating renderers without writing a generator.
ACM Trans. Graph.
Arsène Pérard-Gayot, Richard Membarth, Roland Leißa, Sebastian Hack, Philipp Slusallek
2018 — conf
A Data Layout Transformation for Vectorizing Compilers.
WPMVP@PPoPP
Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, Simon Moll, Roland Leißa, Sebastian Hack
2018 J jnl
AnyDSL: a partial evaluation framework for programming high-performance libraries.
Proc. ACM Program. Lang.
Roland Leißa, Klaas Boesche, Sebastian Hack, Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, André Müller, Bertil Schmidt
2018 J jnl
Loop Optimization (Dagstuhl Seminar 18111).
Dagstuhl Reports
Sebastian Hack, Paul H. J. Kelly, Christian Lengauer
2018 A* conf
Partial control-flow linearization.
PLDI
Simon Moll, Sebastian Hack
2018 B conf
Polyhedral expression propagation.
CC
Johannes Doerfert, Shrey Sharma, Sebastian Hack
2018 A conf
Synthesizing an instruction selection rule library from semantic specifications.
CGO
Sebastian Buchwald, Andreas Fried, Sebastian Hack
2017 A conf
Optimistic loop optimization.
CGO
Johannes Doerfert, Tobias Grosser, Sebastian Hack
2017 — conf
PACXXv2 + RV: An LLVM-based Portable High-Performance Programming Model.
LLVM-HPC@SC
Michael Haidl, Simon Moll, Lars Klein, Huihui Sun, Sebastian Hack, Sergei Gorlatch
2017 B ed.
Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, February 5-6, 2017
CC
Peng Wu, Sebastian Hack
2017 B conf
RaTrace: simple and efficient abstractions for BVH ray traversal algorithms.
GPCE
Arsène Pérard-Gayot, Martin Weier, Richard Membarth, Philipp Slusallek, Roland Leißa, Sebastian Hack
2017 B conf
Verified Spilling and Translation Validation with Repair.
ITP
Julian Rosemann, Sigurd Schneider, Sebastian Hack
2016 B conf
A Framework for the Derivation of WCET Analyses for Multi-core Processors.
ECRTS
Michael Jacobs, Sebastian Hahn, Sebastian Hack
2016 J jnl
An Inductive Proof Method for Simulation-based Compiler Correctness.
CoRR
Sigurd Schneider, Gert Smolka, Sebastian Hack
2016 B conf
Input space splitting for OpenCL.
CC
Simon Moll, Johannes Doerfert, Sebastian Hack
2016 C conf
Learning how to prevent return-oriented programming efficiently.
Software Engineering
David Pfaff, Sebastian Hack, Christian Hammer
2016 B conf
Thread-level speculation with kernel support.
CC
Clemens Hammacher, Kevin Streit, Andreas Zeller, Sebastian Hack
2015 J jnl
A First-Order Functional Intermediate Language for Verified Compilers.
CoRR
Sigurd Schneider, Gert Smolka, Sebastian Hack
2015 B conf
A Linear First-Order Functional Intermediate Language for Verified Compilers.
ITP
Sigurd Schneider, Gert Smolka, Sebastian Hack
2015 A conf
A graph-based higher-order intermediate representation.
CGO
Roland Leißa, Marcel Köster, Sebastian Hack
2015 J jnl
Generalized Task Parallelism.
ACM Trans. Archit. Code Optim.
Kevin Streit, Johannes Doerfert, Clemens Hammacher, Andreas Zeller, Sebastian Hack
2015 — conf
Learning How to Prevent Return-Oriented Programming Efficiently.
ESSoS
David Pfaff, Sebastian Hack, Christian Hammer
2015 J jnl
Polly's Polyhedral Scheduling in the Presence of Reductions.
CoRR
Johannes Doerfert, Kevin Streit, Sebastian Hack, Zino Benaissa
2015 B conf
Shallow embedding of DSLs via online partial evaluation.
GPCE
Roland Leißa, Klaas Boesche, Sebastian Hack, Richard Membarth, Philipp Slusallek
2015 Misc conf
WCET analysis for multi-core processors with shared buses and event-driven bus arbitration.
RTNS
Michael Jacobs, Sebastian Hahn, Sebastian Hack
2014 J jnl
Code Refinement of Stencil Codes.
Parallel Process. Lett.
Marcel Köster, Roland Leißa, Sebastian Hack, Richard Membarth, Philipp Slusallek
2014 — conf
Sierra: a SIMD extension for C++.
WPMVP@PPoPP
Roland Leißa, Immanuel Haffner, Sebastian Hack
2014 — conf
Target-specific refinement of multigrid codes.
WOLFHPC@SC
Richard Membarth, Philipp Slusallek, Marcel Köster, Roland Leißa, Sebastian Hack
2014 J jnl
The Impact of the SIMD Width on Control-Flow and Memory Divergence.
ACM Trans. Archit. Code Optim.
Thomas Schaub, Simon Moll, Ralf Karrenberg, Sebastian Hack
2013 — book
Compiler Design - Syntactic and Semantic Analysis.
Reinhard Wilhelm, Helmut Seidl, Sebastian Hack
2013 Misc conf
Hardware acceleration for programs in SSA form.
CASES
Manuel Mohr, Artjom Grudnitsky, Tobias Modschiedler, Lars Bauer, Sebastian Hack, Jörg Henkel
2013 B conf
Simple and Efficient Construction of Static Single Assignment Form.
CC
Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon, Andreas Zwinkau
2012 A* conf
A dynamic program analysis to find floating-point accuracy problems.
PLDI
Florian Benz, Andreas Hildebrandt, Sebastian Hack
2012 J jnl
Automatically Generating Test Cases for Specification Mining.
IEEE Trans. Software Eng.
Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Gordon Fraser, Sebastian Hack, Andreas Zeller
2012 — book
Compiler Design - Analysis and Transformation.
Helmut Seidl, Reinhard Wilhelm, Sebastian Hack
2012 B conf
Extending a C-like language for portable SIMD programming.
PPoPP
Roland Leißa, Sebastian Hack, Ingo Wald
2012 B conf
Improving Performance of OpenCL on CPUs.
CC
Ralf Karrenberg, Sebastian Hack
2012 B conf
Sambamba: A Runtime System for Online Adaptive Parallelization.
CC
Kevin Streit, Clemens Hammacher, Andreas Zeller, Sebastian Hack
2011 Misc conf
Graph-coloring and treescan register allocation using repairing.
CASES
Quentin Colombet, Benoit Boissinot, Philip Brisk, Sebastian Hack, Fabrice Rastello
2011 A conf
Whole-function vectorization.
CGO
Ralf Karrenberg, Sebastian Hack
2010 — conf
AnySL: efficient and portable shading for ray tracing.
High Performance Graphics
Ralf Karrenberg, Dmitri Rubinstein, Philipp Slusallek, Sebastian Hack
2010 A conf
Generating test cases for specification mining.
ISSTA
Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller
2010 B conf
Preference-Guided Register Assignment.
CC
Matthias Braun, Christoph Mallon, Sebastian Hack
2009 — conf
Profiling Java programs for parallelism.
IWMSE@ICSE
Clemens Hammacher, Kevin Streit, Sebastian Hack, Andreas Zeller
2009 B conf
Register Spilling and Live-Range Splitting for SSA-Form Programs.
CC
Matthias Braun, Sebastian Hack
2008 A* conf
Copy coalescing by graph recoloring.
PLDI
Sebastian Hack, Gerhard Goos
2008 A conf
Fast liveness checking for ssa-form programs.
CGO
Benoit Boissinot, Sebastian Hack, Daniel Grund, Benoît Dupont de Dinechin, Fabrice Rastello
2007 B conf
A Fast Cutting-Plane Algorithm for Optimal Coalescing.
CC
Daniel Grund, Sebastian Hack
2007 — —
Register allocation for programs in SSA form.
Sebastian Hack
2006 B conf
GrGen: A Fast SPO-Based Graph Rewriting Tool.
ICGT
Rubino Geiß, Gernot Veit Batz, Daniel Grund, Sebastian Hack, Adam Szalkowski
2006 J jnl
Optimal register allocation for SSA-form programs in polynomial time.
Inf. Process. Lett.
Sebastian Hack, Gerhard Goos
2006 B conf
Register Allocation for Programs in SSA-Form.
CC
Sebastian Hack, Daniel Grund, Gerhard Goos