팔로우
Sebastian Hack
Sebastian Hack
Professor of Computer Science, Saarland University, Saarland Informatics Campus
cs.uni-saarland.de의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
GrGen: A fast SPO-based graph rewriting tool
R Geiß, GV Batz, D Grund, S Hack, A Szalkowski
Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006
2652006
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
1912010
Whole-function vectorization
R Karrenberg, R Karrenberg
Automatic SIMD vectorization of SSA-based control flow graphs, 85-125, 2015
1882015
Register allocation for programs in SSA-form
S Hack, D Grund, G Goos
Compiler Construction: 15th International Conference, CC 2006, Held as Part …, 2006
1852006
A dynamic program analysis to find floating-point accuracy problems
F Benz, A Hildebrandt, S Hack
ACM SIGPLAN Notices 47 (6), 453-462, 2012
1802012
Simple and efficient construction of static single assignment form
M Braun, S Buchwald, S Hack, R Leißa, C Mallon, A Zwinkau
Compiler Construction: 22nd International Conference, CC 2013, Held as Part …, 2013
972013
Improving performance of OpenCL on CPUs
R Karrenberg, S Hack
Compiler Construction: 21st International Conference, CC 2012, Held as Part …, 2012
932012
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
882011
Profiling Java programs for parallelism
C Hammacher, K Streit, S Hack, A Zeller
2009 ICSE Workshop on Multicore Software Engineering, 49-55, 2009
782009
Optimal register allocation for SSA-form programs in polynomial time
S Hack, G Goos
Information Processing Letters 98 (4), 150-155, 2006
702006
AnyDSL: A partial evaluation framework for programming high-performance libraries
R Leißa, K Boesche, S Hack, A Pérard-Gayot, R Membarth, P Slusallek, ...
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-30, 2018
632018
Compiler Design: Analysis and Transformation
H Seidl, R Wilhelm, S Hack
Springer, 2012
572012
Partial control-flow linearization
S Moll, S Hack
ACM SIGPLAN Notices 53 (4), 543-556, 2018
482018
Extending a C-like language for portable SIMD programming
R Leißa, S Hack, I Wald
ACM SIGPLAN Notices 47 (8), 65-74, 2012
472012
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
462002
A fast cutting-plane algorithm for optimal coalescing
D Grund, S Hack
International Conference on Compiler Construction, 111-125, 2007
442007
Compiler design: syntactic and semantic analysis
R Wilhelm, H Seidl, S Hack
Springer Science & Business Media, 2013
432013
Sierra: a SIMD extension for C++
R Leißa, I Haffner, S Hack
Proceedings of the 2014 Workshop on Programming models for SIMD/Vector …, 2014
422014
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
422008
Register spilling and live-range splitting for SSA-form programs
M Braun, S Hack
Compiler Construction: 18th International Conference, CC 2009, Held as Part …, 2009
412009
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20