Number of items: 26.
Buchwald, Sebastian and Fried, Andreas and Hack, Sebastian
(2018)
Synthesizing an instruction selection rule library from semantic specifications.
Doerfert, Johannes and Grosser, Tobias and Hack, Sebastian
(2017)
Optimistic loop optimization.
Haidl, Michael and Moll, Simon and Klein, Lars and Sun, Huihui and Hack, Sebastian and Gorlatch, Sergei
(2017)
PACXXv2 + RV: An LLVM-based Portable High-Performance Programming Model.
Pérard-Gayot, Arsène and Weier, Martin and Membarth, Richard and Slusallek, Philipp and Leißa, Roland and Hack, Sebastian
(2017)
RaTrace: simple and efficient abstractions for BVH ray traversal algorithms.
Rosemann, Julian and Schneider, Sigurd and Hack, Sebastian
(2017)
Verified Spilling and Translation Validation with Repair.
Hammacher, Clemens and Streit, Kevin and Zeller, Andreas and Hack, Sebastian
(2016)
Thread-level Speculation with Kernel Support.
Jacobs, Michael and Hahn, Sebastian and Hack, Sebastian
(2016)
A Framework for the Derivation of WCET Analyses for Multi-core Processors.
Schneider, Sigurd and Smolka, Gert and Hack, Sebastian
(2016)
An Inductive Proof Method for Simulation-based Compiler Correctness.
CoRR, abs/16.
Moll, Simon and Doerfert, Johannes and Hack, Sebastian
(2016)
Input space splitting for OpenCL.
Pfaff, David and Hack, Sebastian and Hammer, Christian
(2016)
Learning how to prevent return-oriented programming efficiently.
Zeller, Andreas and Hammacher, Clemens and Doerfert, Johannes and Streit, Kevin and Hack, Sebastian
(2015)
Generalized Task Parallelism.
ACM Transactions on Architecture and Code Optimization (TACO), 12 (1).
p. 8.
Pfaff, David and Hack, Sebastian and Hammer, Christian
(2015)
Learning How to Prevent Return-Oriented Programming Efficiently.
Schneider, Sigurd and Smolka, Gert and Hack, Sebastian
(2015)
A Linear First-Order Functional Intermediate Language for Verified Compilers.
Schneider, Sigurd and Smolka, Gert and Hack, Sebastian
(2015)
A First-Order Functional Intermediate Language for Verified Compilers.
CoRR, abs/15.
Doerfert, Johannes and Streit, Kevin and Hack, Sebastian and Benaissa, Zino
(2015)
Polly's Polyhedral Scheduling in the Presence of Reductions.
CoRR, abs/15.
Leißa, Roland and Boesche, Klaas and Hack, Sebastian and Membarth, Richard and Slusallek, Philipp
(2015)
Shallow embedding of DSLs via online partial evaluation.
Jacobs, Michael and Hahn, Sebastian and Hack, Sebastian
(2015)
WCET analysis for multi-core processors with shared buses and event-driven bus arbitration.
Leißa, Roland and Köster, Marcel and Hack, Sebastian
(2015)
A graph-based higher-order intermediate representation.
Köster, Marcel and Leißa, Roland and Hack, Sebastian and Membarth, Richard and Slusallek, Philipp
(2014)
Code Refinement of Stencil Codes.
Parallel Processing Letters, 24 (3).
Schaub, Thomas and Moll, Simon and Karrenberg, Ralf and Hack, Sebastian
(2014)
The Impact of the SIMD Width on Control-Flow and Memory Divergence.
TACO, 11 (4).
54:1–54:25.
Leißa, Roland and Haffner, Immanuel and Hack, Sebastian
(2014)
Sierra: a SIMD extension for C++.
Membarth, Richard and Slusallek, Philipp and Köster, Marcel and Leißa, Roland and Hack, Sebastian
(2014)
Target-specific refinement of multigrid codes.
Streit, Kevin and Hammacher, Clemens and Zeller, Andreas and Hack, Sebastian
(2013)
Sambamba: Runtime Adaptive Parallel Execution.
Dallmeier, Valentin and Knopp, Nikolai and Mallon, Christoph and Fraser, Gordon and Hack, Sebastian and Zeller, Andreas
(2012)
Automatically Generating Test Cases for Specification Mining.
IEEE Transactions on Software Engineering, 38 (2).
pp. 243-257.
Streit, Kevin and Hammacher, Clemens and Zeller, Andreas and Hack, Sebastian
(2012)
Sambamba: A Runtime System for Online Adaptive Parallelization.
Benz, Florian and Hildebrandt, Andreas and Hack, Sebastian
(2012)
A dynamic program analysis to find floating-point accuracy problems.
This list was generated on Fri Oct 11 17:36:43 2024 CEST.