Sebastian Hack

Orcid: 0000-0002-3387-2134

Affiliations:
  • Saarland University, Saarbrücken, Germany


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures.
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.
J. Comput. Sci., June, 2023

Implementation Techniques for SPMD Kernels on CPUs.
Proceedings of the 2023 International Workshop on OpenCL, 2023

2022
AnICA: analyzing inconsistencies in microarchitectural code analyzers.
Proc. ACM Program. Lang., 2022

AnySeq/GPU: a novel approach for faster sequence alignment on GPUs.
Proceedings of the ICS '22: 2022 International Conference on Supercomputing, Virtual Event, June 28, 2022

SSA Reconstruction.
Proceedings of the SSA-based Compiler Design, 2022

2021
PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations.
ACM Trans. Archit. Code Optim., 2021

An abstract interpretation for SPMD divergence on reducible control flow graphs.
Proc. ACM Program. Lang., 2021

tinyMD: Mapping molecular dynamics simulations to heterogeneous hardware using partial evaluation.
J. Comput. Sci., 2021

FLOWER: A comprehensive dataflow compiler for high-level synthesis.
Proceedings of the International Conference on Field-Programmable Technology, 2021

2020
AnyHLS: High-Level Synthesis With Partial Evaluation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

tinyMD: A Portable and Scalable Implementation for Pairwise Interactions Simulations.
CoRR, 2020

PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization.
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.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

2019
Rodent: generating renderers without writing a generator.
ACM Trans. Graph., 2019

Multi-dimensional Vectorization in LLVM.
Proceedings of the 5th Workshop on Programming Models for SIMD/Vector Processing, 2019

2018
AnyDSL: a partial evaluation framework for programming high-performance libraries.
Proc. ACM Program. Lang., 2018

Loop Optimization (Dagstuhl Seminar 18111).
Dagstuhl Reports, 2018

A Data Layout Transformation for Vectorizing Compilers.
Proceedings of the 4th Workshop on Programming Models for SIMD/Vector Processing, 2018

Partial control-flow linearization.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Synthesizing an instruction selection rule library from semantic specifications.
Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018

Polyhedral expression propagation.
Proceedings of the 27th International Conference on Compiler Construction, 2018

2017
PACXXv2 + RV: An LLVM-based Portable High-Performance Programming Model.
Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in HPC, 2017

Verified Spilling and Translation Validation with Repair.
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

RaTrace: simple and efficient abstractions for BVH ray traversal algorithms.
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

Optimistic loop optimization.
Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017

2016
An Inductive Proof Method for Simulation-based Compiler Correctness.
CoRR, 2016

A Framework for the Derivation of WCET Analyses for Multi-core Processors.
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

Input space splitting for OpenCL.
Proceedings of the 25th International Conference on Compiler Construction, 2016

Thread-level speculation with kernel support.
Proceedings of the 25th International Conference on Compiler Construction, 2016

2015
Generalized Task Parallelism.
ACM Trans. Archit. Code Optim., 2015

A First-Order Functional Intermediate Language for Verified Compilers.
CoRR, 2015

Polly's Polyhedral Scheduling in the Presence of Reductions.
CoRR, 2015

WCET analysis for multi-core processors with shared buses and event-driven bus arbitration.
Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

A Linear First-Order Functional Intermediate Language for Verified Compilers.
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Shallow embedding of DSLs via online partial evaluation.
Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

Learning How to Prevent Return-Oriented Programming Efficiently.
Proceedings of the Engineering Secure Software and Systems - 7th International Symposium, 2015

A graph-based higher-order intermediate representation.
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.
ACM Trans. Archit. Code Optim., 2014

Code Refinement of Stencil Codes.
Parallel Process. Lett., 2014

Target-specific refinement of multigrid codes.
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++.
Proceedings of the 2014 Workshop on Programming models for SIMD/Vector processing, 2014

2013
Simple and Efficient Construction of Static Single Assignment Form.
Proceedings of the Compiler Construction - 22nd International Conference, 2013

Hardware acceleration for programs in SSA form.
Proceedings of the International Conference on Compilers, 2013

Compiler Design - Syntactic and Semantic Analysis.
Springer, ISBN: 978-3-642-17539-8, 2013

2012
Automatically Generating Test Cases for Specification Mining.
IEEE Trans. Software Eng., 2012

Extending a C-like language for portable SIMD programming.
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.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Sambamba: A Runtime System for Online Adaptive Parallelization.
Proceedings of the Compiler Construction - 21st International Conference, 2012

Improving Performance of OpenCL on CPUs.
Proceedings of the Compiler Construction - 21st International Conference, 2012

Compiler Design - Analysis and Transformation.
Springer, ISBN: 978-3-642-17547-3, 2012

2011
Whole-function vectorization.
Proceedings of the CGO 2011, 2011

Graph-coloring and treescan register allocation using repairing.
Proceedings of the 14th International Conference on Compilers, 2011

2010
Generating test cases for specification mining.
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

AnySL: efficient and portable shading for ray tracing.
Proceedings of the ACM SIGGRAPH/EUROGRAPHICS Conference on High Performance Graphics 2010, 2010

Preference-Guided Register Assignment.
Proceedings of the Compiler Construction, 19th International Conference, 2010

2009
Profiling Java programs for parallelism.
Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, 2009

Register Spilling and Live-Range Splitting for SSA-Form Programs.
Proceedings of the Compiler Construction, 18th International Conference, 2009

2008
Copy coalescing by graph recoloring.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Fast liveness checking for ssa-form programs.
Proceedings of the Sixth International Symposium on Code Generation and Optimization (CGO 2008), 2008

2007
Register allocation for programs in SSA form.
PhD thesis, 2007

A Fast Cutting-Plane Algorithm for Optimal Coalescing.
Proceedings of the Compiler Construction, 16th International Conference, 2007

2006
Optimal register allocation for SSA-form programs in polynomial time.
Inf. Process. Lett., 2006

GrGen: A Fast SPO-Based Graph Rewriting Tool.
Proceedings of the Graph Transformations, Third International Conference, 2006

Register Allocation for Programs in SSA-Form.
Proceedings of the Compiler Construction, 15th International Conference, 2006


  Loading...