Sebastian Hack

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 37

Top Venues

CoRR

CGO

Proc. ACM Program. Lang.

ACM Trans. Archit. Code Optim.

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

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

Sebastian Hack.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Hack