Sebastian Hack
Sebastian Hack
Computer Science, Saarland University, Saarland Informatics Campus (SIC)
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
GrGen: A fast SPO-based graph rewriting tool
R Geiß, GV Batz, D Grund, S Hack, A Szalkowski
International Conference on Graph Transformation, 383-397, 2006
R Wilhelm, H Seidl, S Hack, H Seidl
Springer, 1997
Generating test cases for specification mining
V Dallmeier, N Knopp, C Mallon, S Hack, A Zeller
Proceedings of the 19th international symposium on Software testing and …, 2010
Register allocation for programs in SSA-form
S Hack, D Grund, G Goos
International Conference on Compiler Construction, 247-262, 2006
Whole-function vectorization
R Karrenberg
Automatic SIMD Vectorization of SSA-based Control Flow Graphs, 85-125, 2015
A dynamic program analysis to find floating-point accuracy problems
F Benz, A Hildebrandt, S Hack
ACM SIGPLAN Notices 47 (6), 453-462, 2012
Improving performance of OpenCL on CPUs
R Karrenberg, S Hack
International Conference on Compiler Construction, 1-20, 2012
Automatically generating test cases for specification mining
V Dallmeier, N Knopp, C Mallon, G Fraser, S Hack, A Zeller
IEEE Transactions on Software Engineering 38 (2), 243-257, 2011
Profiling java programs for parallelism
C Hammacher, K Streit, S Hack, A Zeller
2009 ICSE Workshop on Multicore Software Engineering, 49-55, 2009
Optimal register allocation for SSA-form programs in polynomial time
S Hack, G Goos
Information Processing Letters 98 (4), 150-155, 2006
Simple and efficient construction of static single assignment form
M Braun, S Buchwald, S Hack, R Leißa, C Mallon, A Zwinkau
International Conference on Compiler Construction, 102-122, 2013
A fast cutting-plane algorithm for optimal coalescing
D Grund, S Hack
International Conference on Compiler Construction, 111-125, 2007
Compiler Design: Analysis and Transformation
H Seidl, R Wilhelm, S Hack
Springer Science & Business Media, 2012
Extending a C-like language for portable SIMD programming
R Leißa, S Hack, I Wald
ACM SIGPLAN Notices 47 (8), 65-74, 2012
Temporal resolution of the human primary auditory cortex in gap detection
A Rupp, A Gutschalk, S Hack, M Scherg
Neuroreport 13 (17), 2203-2207, 2002
Copy coalescing by graph recoloring
S Hack, G Goos
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
Fast liveness checking for SSA-form programs
B Boissinot, S Hack, D Grund, B Dupont de Dine hin, F Rastello
Proceedings of the 6th annual IEEE/ACM international symposium on Code …, 2008
Register spilling and live-range splitting for SSA-form programs
M Braun, S Hack
International Conference on Compiler Construction, 174-189, 2009
A graph-based higher-order intermediate representation
R Leißa, M Köster, S Hack
2015 IEEE/ACM International Symposium on Code Generation and Optimization …, 2015
Sambamba: A Runtime System for Online Adaptive Parallelization
K Streit, C Hammacher, A Zeller, S Hack
International Conference on Compiler Construction, 240-243, 2012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20