Travelled to:1 × Austria
1 × Brazil
1 × China
1 × Cyprus
1 × Estonia
1 × France
1 × Portugal
1 × United Kingdom
2 × Italy
5 × USA
Collaborated with:R.Leißa D.Grund M.Braun R.Karrenberg G.Goos S.Moll C.Mallon A.Zeller J.Doerfert K.Streit C.Hammacher R.Membarth P.Slusallek M.Köster F.Benz A.Hildebrandt I.Wald S.Sharma K.Boesche A.Pérard-Gayot V.Dallmeier N.Knopp B.Boissinot B.D.d.Dinechin F.Rastello R.Geiß G.V.Batz A.Szalkowski S.Buchwald A.Zwinkau M.Weier André Müller B.Schmidt
Talks about:program (6) form (4) partial (3) regist (3) graph (3) fast (3) ssa (3) algorithm (2) perform (2) coalesc (2)
Person: Sebastian Hack
DBLP: Hack:Sebastian
Facilitated 1 volumes:
EdContributed to:
2015
201520132012
2012
201220112010
201020092008200820072006
2006201720162018
20182018Wrote 22 papers:
- CGO-2015-LeissaKH #graph #higher-order #representation
- A graph-based higher-order intermediate representation (RL, MK, SH), pp. 202–212.
- GPCE-2015-LeissaBHMS #domain-specific language #online #partial evaluation
- Shallow embedding of DSLs via online partial evaluation (RL, KB, SH, RM, PS), pp. 11–20.
- CC-2013-BraunBHLMZ #performance
- Simple and Efficient Construction of Static Single Assignment Form (MB, SB, SH, RL, CM, AZ), pp. 102–122.
- CC-2012-KarrenbergH #performance
- Improving Performance of OpenCL on CPUs (RK, SH), pp. 1–20.
- CC-2012-StreitHZH #adaptation #named #online #parallel #runtime
- Sambamba: A Runtime System for Online Adaptive Parallelization (KS, CH, AZ, SH), pp. 240–243.
- PLDI-2012-BenzHH #float #problem #program analysis
- A dynamic program analysis to find floating-point accuracy problems (FB, AH, SH), pp. 453–462.
- PPoPP-2012-LeissaHW #programming
- Extending a C-like language for portable SIMD programming (RL, SH, IW), pp. 65–74.
- CGO-2011-KarrenbergH
- Whole-function vectorization (RK, SH), pp. 141–150.
- CC-2010-BraunMH
- Preference-Guided Register Assignment (MB, CM, SH), pp. 205–223.
- ISSTA-2010-DallmeierKMHZ #generative #mining #specification #testing
- Generating test cases for specification mining (VD, NK, CM, SH, AZ), pp. 85–96.
- CC-2009-BraunH #source code
- Register Spilling and Live-Range Splitting for SSA-Form Programs (MB, SH), pp. 174–189.
- CGO-2008-BoissinotHGDR #liveness #performance #source code
- Fast liveness checking for ssa-form programs (BB, SH, DG, BDdD, FR), pp. 35–44.
- PLDI-2008-HackG #graph
- Copy coalescing by graph recoloring (SH, GG), pp. 227–237.
- CC-2007-GrundH #algorithm #performance
- A Fast Cutting-Plane Algorithm for Optimal Coalescing (DG, SH), pp. 111–125.
- CC-2006-HackGG #source code
- Register Allocation for Programs in SSA-Form (SH, DG, GG), pp. 247–262.
- ICGT-2006-GeissBGHS #graph grammar #named #performance
- GrGen: A Fast SPO-Based Graph Rewriting Tool (RG, GVB, DG, SH, AS), pp. 383–397.
- GPCE-2017-Perard-GayotWMS #abstraction #algorithm #named #performance #traversal
- RaTrace: simple and efficient abstractions for BVH ray traversal algorithms (APG, MW, RM, PS, RL, SH), pp. 157–168.
- CC-2016-HammacherSZH #concurrent #kernel #thread
- Thread-level speculation with kernel support (CH, KS, AZ, SH), pp. 1–11.
- CC-2016-MollDH
- Input space splitting for OpenCL (SM, JD, SH), pp. 251–260.
- CC-2018-DoerfertSH
- Polyhedral expression propagation (JD, SS, SH), pp. 25–36.
- OOPSLA-2018-LeissaBHPMSMS #framework #library #named #partial evaluation #programming
- AnyDSL: a partial evaluation framework for programming high-performance libraries (RL, KB, SH, APG, RM, PS, AM, BS), p. 30.
- PLDI-2018-MollH #control flow
- Partial control-flow linearization (SM, SH), pp. 543–556.