Items where Author is "Hack, Sebastian"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 26.

Conference or Workshop Item (A Paper)

Buchwald, Sebastian and Fried, Andreas and Hack, Sebastian
(2018) Synthesizing an instruction selection rule library from semantic specifications.
In: Proceedings of the 2018 International Symposium on Code Generation and Optimization, CGO 2018, Vösendorf / Vienna, Austria, February 24-28, 2018.
Conference: CGO International Symposium on Code Generation and Optimization

Doerfert, Johannes and Grosser, Tobias and Hack, Sebastian
(2017) Optimistic loop optimization.
In: Proceedings of the 2017 International Symposium on Code Generation and Optimization, CGO 2017, Austin, TX, USA, February 4-8, 2017.
Conference: CGO International Symposium on Code Generation and 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.
In: Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in HPC, LLVM-HPC@SC 2017, Denver, CO, USA, November 13, 2017.

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.
In: Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017.

Rosemann, Julian and Schneider, Sigurd and Hack, Sebastian
(2017) Verified Spilling and Translation Validation with Repair.
In: Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings.
Conference: ITP Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)

Hammacher, Clemens and Streit, Kevin and Zeller, Andreas and Hack, Sebastian
(2016) Thread-level Speculation with Kernel Support.
In: Proceedings of the 25th International Conference on Compiler Construction.
Conference: CC International Conference on Compiler Construction

Jacobs, Michael and Hahn, Sebastian and Hack, Sebastian
(2016) A Framework for the Derivation of WCET Analyses for Multi-core Processors.
In: 28th Euromicro Conference on Real-Time Systems, ECRTS 2016, Toulouse, France, July 5-8, 2016.
Conference: ECRTS Euromicro Conference on Real-Time Systems

Moll, Simon and Doerfert, Johannes and Hack, Sebastian
(2016) Input space splitting for OpenCL.
In: Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016.
Conference: CC International Conference on Compiler Construction

Pfaff, David and Hack, Sebastian and Hammer, Christian
(2016) Learning how to prevent return-oriented programming efficiently.
In: Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich.

Pfaff, David and Hack, Sebastian and Hammer, Christian
(2015) Learning How to Prevent Return-Oriented Programming Efficiently.
In: Engineering Secure Software and Systems.

Schneider, Sigurd and Smolka, Gert and Hack, Sebastian
(2015) A Linear First-Order Functional Intermediate Language for Verified Compilers.
In: Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings.
Conference: ITP Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)

Leißa, Roland and Boesche, Klaas and Hack, Sebastian and Membarth, Richard and Slusallek, Philipp
(2015) Shallow embedding of DSLs via online partial evaluation.
In: Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2015, Pittsburgh, PA, USA, October 26-27, 2015.

Jacobs, Michael and Hahn, Sebastian and Hack, Sebastian
(2015) WCET analysis for multi-core processors with shared buses and event-driven bus arbitration.
In: Proceedings of the 23rd International Conference on Real Time Networks and Systems, RTNS 2015, Lille, France, November 4-6, 2015.

Leißa, Roland and Köster, Marcel and Hack, Sebastian
(2015) A graph-based higher-order intermediate representation.
In: Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2015, San Francisco, CA, USA, February 07 - 11, 2015.
Conference: CGO International Symposium on Code Generation and Optimization

Leißa, Roland and Haffner, Immanuel and Hack, Sebastian
(2014) Sierra: a SIMD extension for C++.
In: Proceedings of the 2014 Workshop on Programming models for SIMD/Vector processing, WPMVP 2014, Orlando, Florida, USA, February 16, 2014.

Membarth, Richard and Slusallek, Philipp and Köster, Marcel and Leißa, Roland and Hack, Sebastian
(2014) Target-specific refinement of multigrid codes.
In: Proceedings of the Fourth International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing, WOLFHPC '14, New Orleans, Louisiana, USA, November 16-21, 2014.

Streit, Kevin and Hammacher, Clemens and Zeller, Andreas and Hack, Sebastian
(2013) Sambamba: Runtime Adaptive Parallel Execution.
In: Proceedings of the 3rd International Workshop on Adaptive Self-Tuning Computing Systems.

Streit, Kevin and Hammacher, Clemens and Zeller, Andreas and Hack, Sebastian
(2012) Sambamba: A Runtime System for Online Adaptive Parallelization.
In: Proc. of the 21st International Conference Compiler Construction (CC 2012).
Conference: CC International Conference on Compiler Construction

Benz, Florian and Hildebrandt, Andreas and Hack, Sebastian
(2012) A dynamic program analysis to find floating-point accuracy problems.
In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012.
Conference: PLDI ACM-SIGPLAN Conference on Programming Language Design and Implementation

Article

Schneider, Sigurd and Smolka, Gert and Hack, Sebastian
(2016) An Inductive Proof Method for Simulation-based Compiler Correctness.
CoRR, abs/16.

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.

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.

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.

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.

This list was generated on Mon Dec 6 21:43:22 2021 CET.