BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hack:Sebastian

Facilitated 1 volumes:

CC 2017Ed

Contributed to:

CGO 20152015
GPCE 20152015
CC 20132013
CC 20122012
PLDI 20122012
PPoPP 20122012
CGO 20112011
CC 20102010
ISSTA 20102010
CC 20092009
CGO 20082008
PLDI 20082008
CC 20072007
CC 20062006
ICGT 20062006
GPCE 20172017
CC 20162016
CC 20182018
OOPSLA 20182018
PLDI 20182018

Wrote 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.
Whole-function vectorization (RK, SH), pp. 141–150.
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.
Input space splitting for OpenCL (SM, JD, SH), pp. 251–260.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.