Sebastian Hack

According to our database, Sebastian Hack authored at least 65 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures.

Fabian Ritter, Sebastian Hack

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

CUDA-accelerated protein electrostatics in linear space.

Thomas Kemmer, Sebastian Hack, Bertil Schmidt, Andreas Hildebrandt

J. Comput. Sci., June, 2023

Implementation Techniques for SPMD Kernels on CPUs.

Joachim Meyer, Aksel Alpay, Sebastian Hack, Holger Fröning, Vincent Heuveline

Proceedings of the 2023 International Workshop on OpenCL, 2023

2022

AnICA: analyzing inconsistencies in microarchitectural code analyzers.

Fabian Ritter, Sebastian Hack

Proc. ACM Program. Lang., 2022

AnySeq/GPU: a novel approach for faster sequence alignment on GPUs.

André Müller, Bertil Schmidt, Richard Membarth, Roland Leißa, Sebastian Hack

Proceedings of the ICS '22: 2022 International Conference on Supercomputing, Virtual Event, June 28, 2022

SSA Reconstruction.

Sebastian Hack

Proceedings of the SSA-based Compiler Design, 2022

2021

PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations.

Tina Jung, Fabian Ritter, Sebastian Hack

ACM Trans. Archit. Code Optim., 2021

An abstract interpretation for SPMD divergence on reducible control flow graphs.

Julian Rosemann, Simon Moll, Sebastian Hack

Proc. ACM Program. Lang., 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

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

Proceedings of the International Conference on Field-Programmable Technology, 2021

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

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

PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization.

Fabian Ritter, Sebastian Hack

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation.

André Müller, Bertil Schmidt, Andreas Hildebrandt, Richard Membarth, Roland Leißa, Matthis Kruse, Sebastian Hack

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

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

Multi-dimensional Vectorization in LLVM.

Simon Moll, Shrey Sharma, Matthias Kurtenacker, Sebastian Hack

Proceedings of the 5th Workshop on Programming Models for SIMD/Vector Processing, 2019

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

Loop Optimization (Dagstuhl Seminar 18111).

Sebastian Hack, Paul H. J. Kelly, Christian Lengauer

Dagstuhl Reports, 2018

A Data Layout Transformation for Vectorizing Compilers.

Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, Simon Moll, Roland Leißa, Sebastian Hack

Proceedings of the 4th Workshop on Programming Models for SIMD/Vector Processing, 2018

Partial control-flow linearization.

Simon Moll, Sebastian Hack

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Synthesizing an instruction selection rule library from semantic specifications.

Sebastian Buchwald, Andreas Fried, Sebastian Hack

Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018

Polyhedral expression propagation.

Johannes Doerfert, Shrey Sharma, Sebastian Hack

Proceedings of the 27th International Conference on Compiler Construction, 2018

2017

PACXXv2 + RV: An LLVM-based Portable High-Performance Programming Model.

Michael Haidl, Simon Moll, Lars Klein, Huihui Sun, Sebastian Hack, Sergei Gorlatch

Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in HPC, 2017

Verified Spilling and Translation Validation with Repair.

Julian Rosemann, Sigurd Schneider, Sebastian Hack

Proceedings of the Interactive Theorem Proving - 8th International Conference, 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

Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

Optimistic loop optimization.

Johannes Doerfert, Tobias Grosser, Sebastian Hack

Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017

2016

An Inductive Proof Method for Simulation-based Compiler Correctness.

Sigurd Schneider, Gert Smolka, Sebastian Hack

CoRR, 2016

A Framework for the Derivation of WCET Analyses for Multi-core Processors.

Michael Jacobs, Sebastian Hahn, Sebastian Hack

Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

Input space splitting for OpenCL.

Simon Moll, Johannes Doerfert, Sebastian Hack

Proceedings of the 25th International Conference on Compiler Construction, 2016

Thread-level speculation with kernel support.

Clemens Hammacher, Kevin Streit, Andreas Zeller, Sebastian Hack

Proceedings of the 25th International Conference on Compiler Construction, 2016

2015

Generalized Task Parallelism.

Kevin Streit, Johannes Doerfert, Clemens Hammacher, Andreas Zeller, Sebastian Hack

ACM Trans. Archit. Code Optim., 2015

A First-Order Functional Intermediate Language for Verified Compilers.

Sigurd Schneider, Gert Smolka, Sebastian Hack

CoRR, 2015

Polly's Polyhedral Scheduling in the Presence of Reductions.

Johannes Doerfert, Kevin Streit, Sebastian Hack, Zino Benaissa

CoRR, 2015

WCET analysis for multi-core processors with shared buses and event-driven bus arbitration.

Michael Jacobs, Sebastian Hahn, Sebastian Hack

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

A Linear First-Order Functional Intermediate Language for Verified Compilers.

Sigurd Schneider, Gert Smolka, Sebastian Hack

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Shallow embedding of DSLs via online partial evaluation.

Roland Leißa, Klaas Boesche, Sebastian Hack, Richard Membarth, Philipp Slusallek

Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

Learning How to Prevent Return-Oriented Programming Efficiently.

David Pfaff, Sebastian Hack, Christian Hammer

Proceedings of the Engineering Secure Software and Systems - 7th International Symposium, 2015

A graph-based higher-order intermediate representation.

Roland Leißa, Marcel Köster, Sebastian Hack

Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2015

2014

The Impact of the SIMD Width on Control-Flow and Memory Divergence.

Thomas Schaub, Simon Moll, Ralf Karrenberg, Sebastian Hack

ACM Trans. Archit. Code Optim., 2014

Code Refinement of Stencil Codes.

Marcel Köster, Roland Leißa, Sebastian Hack, Richard Membarth, Philipp Slusallek

Parallel Process. Lett., 2014

Target-specific refinement of multigrid codes.

Richard Membarth, Philipp Slusallek, Marcel Köster, Roland Leißa, Sebastian Hack

Proceedings of the Fourth International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing, 2014

Sierra: a SIMD extension for C++.

Roland Leißa, Immanuel Haffner, Sebastian Hack

Proceedings of the 2014 Workshop on Programming models for SIMD/Vector processing, 2014

2013

Simple and Efficient Construction of Static Single Assignment Form.

Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon, Andreas Zwinkau

Proceedings of the Compiler Construction - 22nd International Conference, 2013

Hardware acceleration for programs in SSA form.

Manuel Mohr, Artjom Grudnitsky, Tobias Modschiedler, Lars Bauer, Sebastian Hack, Jörg Henkel

Proceedings of the International Conference on Compilers, 2013

Compiler Design - Syntactic and Semantic Analysis.

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

Springer, ISBN: 978-3-642-17539-8, 2013

2012

Automatically Generating Test Cases for Specification Mining.

Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Gordon Fraser, Sebastian Hack, Andreas Zeller

IEEE Trans. Software Eng., 2012

Extending a C-like language for portable SIMD programming.

Roland Leißa, Sebastian Hack, Ingo Wald

Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

A dynamic program analysis to find floating-point accuracy problems.

Florian Benz, Andreas Hildebrandt, Sebastian Hack

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Sambamba: A Runtime System for Online Adaptive Parallelization.

Kevin Streit, Clemens Hammacher, Andreas Zeller, Sebastian Hack

Proceedings of the Compiler Construction - 21st International Conference, 2012

Improving Performance of OpenCL on CPUs.

Ralf Karrenberg, Sebastian Hack

Proceedings of the Compiler Construction - 21st International Conference, 2012

Compiler Design - Analysis and Transformation.

Helmut Seidl, Reinhard Wilhelm, Sebastian Hack

Springer, ISBN: 978-3-642-17547-3, 2012

2011

Whole-function vectorization.

Ralf Karrenberg, Sebastian Hack

Proceedings of the CGO 2011, 2011

Graph-coloring and treescan register allocation using repairing.

Quentin Colombet, Benoit Boissinot, Philip Brisk, Sebastian Hack, Fabrice Rastello

Proceedings of the 14th International Conference on Compilers, 2011

2010

Generating test cases for specification mining.

Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

AnySL: efficient and portable shading for ray tracing.

Ralf Karrenberg, Dmitri Rubinstein, Philipp Slusallek, Sebastian Hack

Proceedings of the ACM SIGGRAPH/EUROGRAPHICS Conference on High Performance Graphics 2010, 2010

Preference-Guided Register Assignment.

Matthias Braun, Christoph Mallon, Sebastian Hack

Proceedings of the Compiler Construction, 19th International Conference, 2010

2009

Profiling Java programs for parallelism.

Clemens Hammacher, Kevin Streit, Sebastian Hack, Andreas Zeller

Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, 2009

Register Spilling and Live-Range Splitting for SSA-Form Programs.

Matthias Braun, Sebastian Hack

Proceedings of the Compiler Construction, 18th International Conference, 2009

2008

Copy coalescing by graph recoloring.

Sebastian Hack, Gerhard Goos

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Fast liveness checking for ssa-form programs.

Benoit Boissinot, Sebastian Hack, Daniel Grund, Benoît Dupont de Dinechin, Fabrice Rastello

Proceedings of the Sixth International Symposium on Code Generation and Optimization (CGO 2008), 2008

2007

Register allocation for programs in SSA form.

Sebastian Hack

PhD thesis, 2007

A Fast Cutting-Plane Algorithm for Optimal Coalescing.

Daniel Grund, Sebastian Hack

Proceedings of the Compiler Construction, 16th International Conference, 2007

2006

Optimal register allocation for SSA-form programs in polynomial time.

Sebastian Hack, Gerhard Goos

Inf. Process. Lett., 2006

GrGen: A Fast SPO-Based Graph Rewriting Tool.

Rubino Geiß, Gernot Veit Batz, Daniel Grund, Sebastian Hack, Adam Szalkowski

Proceedings of the Graph Transformations, Third International Conference, 2006

Register Allocation for Programs in SSA-Form.

Sebastian Hack, Daniel Grund, Gerhard Goos

Proceedings of the Compiler Construction, 15th International Conference, 2006