![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Sebastian Hack
Person information
- affiliation: Saarland University, Saarbrücken, Germany
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c44]Fabian Ritter
, Sebastian Hack
:
Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures. ASPLOS (3) 2024: 317-330 - [i12]Fabian Ritter, Sebastian Hack:
Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures. CoRR abs/2403.16063 (2024) - 2023
- [j13]Thomas Kemmer
, Sebastian Hack
, Bertil Schmidt
, Andreas Hildebrandt
:
CUDA-accelerated protein electrostatics in linear space. J. Comput. Sci. 70: 102022 (2023) - [c43]Joachim Meyer
, Aksel Alpay
, Sebastian Hack
, Holger Fröning
, Vincent Heuveline
:
Implementation Techniques for SPMD Kernels on CPUs. IWOCL 2023: 1:1-1:12 - 2022
- [j12]Fabian Ritter
, Sebastian Hack
:
AnICA: analyzing inconsistencies in microarchitectural code analyzers. Proc. ACM Program. Lang. 6(OOPSLA2): 1-29 (2022) - [c42]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: 20:1-20:11 - [p1]Sebastian Hack:
SSA Reconstruction. SSA-based Compiler Design 2022: 55-62 - [e2]Jae W. Lee, Sebastian Hack, Tatiana Shpeisman:
IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2022, Seoul, Korea, Republic of, April 2-6, 2022. IEEE 2022, ISBN 978-1-6654-0584-3 [contents] - [i11]André Müller, Bertil Schmidt, Richard Membarth, Roland Leißa, Sebastian Hack:
AnySeq/GPU: A Novel Approach for Faster Sequence Alignment on GPUs. CoRR abs/2205.07610 (2022) - [i10]Fabian Ritter, Sebastian Hack:
AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers. CoRR abs/2209.05994 (2022) - 2021
- [j11]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: 101425 (2021) - [j10]Julian Rosemann, Simon Moll, Sebastian Hack:
An abstract interpretation for SPMD divergence on reducible control flow graphs. Proc. ACM Program. Lang. 5(POPL): 1-31 (2021) - [j9]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): 45:1-45:27 (2021) - [c41]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: 1-9 - [i9]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 abs/2112.07789 (2021) - 2020
- [j8]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): 3202-3214 (2020) - [c40]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: 1030-1040 - [c39]Fabian Ritter
, Sebastian Hack:
PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization. PLDI 2020: 608-622 - [i8]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 abs/2002.04561 (2020) - [i7]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 abs/2002.05796 (2020) - [i6]Fabian Ritter, Sebastian Hack:
PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization. CoRR abs/2004.10044 (2020) - [i5]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 abs/2009.07400 (2020)
2010 – 2019
- 2019
- [j7]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): 40:1-40:12 (2019) - [c38]Simon Moll, Shrey Sharma, Matthias Kurtenacker, Sebastian Hack:
Multi-dimensional Vectorization in LLVM. PPoPP 2019: 3:1-3:8 - 2018
- [j6]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): 119:1-119:30 (2018) - [c37]Johannes Doerfert
, Shrey Sharma, Sebastian Hack:
Polyhedral expression propagation. CC 2018: 25-36 - [c36]Sebastian Buchwald, Andreas Fried, Sebastian Hack:
Synthesizing an instruction selection rule library from semantic specifications. CGO 2018: 300-313 - [c35]Simon Moll, Sebastian Hack:
Partial control-flow linearization. PLDI 2018: 543-556 - [c34]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: 7:1-7:8 - [i4]Sebastian Hack, Paul H. J. Kelly, Christian Lengauer:
Loop Optimization (Dagstuhl Seminar 18111). Dagstuhl Reports 8(3): 39-59 (2018) - 2017
- [c33]Johannes Doerfert, Tobias Grosser, Sebastian Hack:
Optimistic loop optimization. CGO 2017: 292-304 - [c32]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: 157-168 - [c31]Julian Rosemann, Sigurd Schneider
, Sebastian Hack:
Verified Spilling and Translation Validation with Repair. ITP 2017: 427-443 - [c30]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: 7:1-7:12 - [e1]Peng Wu, Sebastian Hack:
Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, February 5-6, 2017. ACM 2017, ISBN 978-1-4503-5233-8 [contents] - 2016
- [c29]Clemens Hammacher, Kevin Streit, Andreas Zeller
, Sebastian Hack:
Thread-level speculation with kernel support. CC 2016: 1-11 - [c28]Simon Moll, Johannes Doerfert
, Sebastian Hack:
Input space splitting for OpenCL. CC 2016: 251-260 - [c27]Michael Jacobs, Sebastian Hahn, Sebastian Hack:
A Framework for the Derivation of WCET Analyses for Multi-core Processors. ECRTS 2016: 141-151 - [c26]David Pfaff, Sebastian Hack, Christian Hammer:
Learning how to prevent return-oriented programming efficiently. Software Engineering 2016: 43-44 - [i3]Sigurd Schneider, Gert Smolka, Sebastian Hack:
An Inductive Proof Method for Simulation-based Compiler Correctness. CoRR abs/1611.09606 (2016) - 2015
- [j5]Kevin Streit, Johannes Doerfert
, Clemens Hammacher, Andreas Zeller
, Sebastian Hack:
Generalized Task Parallelism. ACM Trans. Archit. Code Optim. 12(1): 8:1-8:25 (2015) - [c25]Roland Leißa
, Marcel Köster, Sebastian Hack:
A graph-based higher-order intermediate representation. CGO 2015: 202-212 - [c24]David Pfaff, Sebastian Hack, Christian Hammer
:
Learning How to Prevent Return-Oriented Programming Efficiently. ESSoS 2015: 68-85 - [c23]Roland Leißa
, Klaas Boesche, Sebastian Hack, Richard Membarth, Philipp Slusallek
:
Shallow embedding of DSLs via online partial evaluation. GPCE 2015: 11-20 - [c22]Sigurd Schneider, Gert Smolka, Sebastian Hack:
A Linear First-Order Functional Intermediate Language for Verified Compilers. ITP 2015: 344-358 - [c21]Michael Jacobs, Sebastian Hahn, Sebastian Hack:
WCET analysis for multi-core processors with shared buses and event-driven bus arbitration. RTNS 2015: 193-202 - [i2]Sigurd Schneider, Gert Smolka, Sebastian Hack:
A First-Order Functional Intermediate Language for Verified Compilers. CoRR abs/1503.08665 (2015) - [i1]Johannes Doerfert
, Kevin Streit, Sebastian Hack, Zino Benaissa:
Polly's Polyhedral Scheduling in the Presence of Reductions. CoRR abs/1505.07716 (2015) - 2014
- [j4]Marcel Köster, Roland Leißa
, Sebastian Hack, Richard Membarth, Philipp Slusallek
:
Code Refinement of Stencil Codes. Parallel Process. Lett. 24(3) (2014) - [j3]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): 54:1-54:25 (2014) - [c20]Roland Leißa
, Immanuel Haffner, Sebastian Hack:
Sierra: a SIMD extension for C++. WPMVP@PPoPP 2014: 17-24 - [c19]Richard Membarth, Philipp Slusallek
, Marcel Köster, Roland Leißa
, Sebastian Hack:
Target-specific refinement of multigrid codes. WOLFHPC@SC 2014: 52-57 - 2013
- [b3]Reinhard Wilhelm, Helmut Seidl, Sebastian Hack:
Compiler Design - Syntactic and Semantic Analysis. Springer 2013, ISBN 978-3-642-17539-8, pp. I-X, 1-225 - [c18]Manuel Mohr, Artjom Grudnitsky, Tobias Modschiedler, Lars Bauer, Sebastian Hack, Jörg Henkel:
Hardware acceleration for programs in SSA form. CASES 2013: 14:1-14:10 - [c17]Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa
, Christoph Mallon, Andreas Zwinkau:
Simple and Efficient Construction of Static Single Assignment Form. CC 2013: 102-122 - 2012
- [b2]Helmut Seidl, Reinhard Wilhelm, Sebastian Hack:
Compiler Design - Analysis and Transformation. Springer 2012, ISBN 978-3-642-17547-3, pp. I-XII, 1-177 - [j2]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): 243-257 (2012) - [c16]Ralf Karrenberg, Sebastian Hack:
Improving Performance of OpenCL on CPUs. CC 2012: 1-20 - [c15]Kevin Streit, Clemens Hammacher, Andreas Zeller
, Sebastian Hack:
Sambamba: A Runtime System for Online Adaptive Parallelization. CC 2012: 240-243 - [c14]Florian Benz, Andreas Hildebrandt
, Sebastian Hack:
A dynamic program analysis to find floating-point accuracy problems. PLDI 2012: 453-462 - [c13]Roland Leißa
, Sebastian Hack, Ingo Wald:
Extending a C-like language for portable SIMD programming. PPoPP 2012: 65-74 - 2011
- [c12]Quentin Colombet, Benoit Boissinot, Philip Brisk
, Sebastian Hack, Fabrice Rastello:
Graph-coloring and treescan register allocation using repairing. CASES 2011: 45-54 - [c11]Ralf Karrenberg, Sebastian Hack:
Whole-function vectorization. CGO 2011: 141-150 - 2010
- [c10]Matthias Braun, Christoph Mallon, Sebastian Hack:
Preference-Guided Register Assignment. CC 2010: 205-223 - [c9]Ralf Karrenberg, Dmitri Rubinstein, Philipp Slusallek, Sebastian Hack:
AnySL: efficient and portable shading for ray tracing. High Performance Graphics 2010: 97-105 - [c8]Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller
:
Generating test cases for specification mining. ISSTA 2010: 85-96
2000 – 2009
- 2009
- [c7]Matthias Braun, Sebastian Hack:
Register Spilling and Live-Range Splitting for SSA-Form Programs. CC 2009: 174-189 - [c6]Clemens Hammacher, Kevin Streit, Sebastian Hack, Andreas Zeller
:
Profiling Java programs for parallelism. IWMSE@ICSE 2009: 49-55 - 2008
- [c5]Benoit Boissinot, Sebastian Hack, Daniel Grund, Benoît Dupont de Dinechin, Fabrice Rastello:
Fast liveness checking for ssa-form programs. CGO 2008: 35-44 - [c4]Sebastian Hack, Gerhard Goos:
Copy coalescing by graph recoloring. PLDI 2008: 227-237 - 2007
- [b1]Sebastian Hack:
Register allocation for programs in SSA form. Karlsruhe Institute of Technology, Germany, 2007, ISBN 978-3-86644-180-4, pp. 1-123 - [c3]Daniel Grund, Sebastian Hack:
A Fast Cutting-Plane Algorithm for Optimal Coalescing. CC 2007: 111-125 - 2006
- [j1]Sebastian Hack, Gerhard Goos:
Optimal register allocation for SSA-form programs in polynomial time. Inf. Process. Lett. 98(4): 150-155 (2006) - [c2]Sebastian Hack, Daniel Grund, Gerhard Goos:
Register Allocation for Programs in SSA-Form. CC 2006: 247-262 - [c1]Rubino Geiß, Gernot Veit Batz, Daniel Grund, Sebastian Hack, Adam Szalkowski:
GrGen: A Fast SPO-Based Graph Rewriting Tool. ICGT 2006: 383-397
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-06 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint