- Register Spilling and Live-Range Splitting for SSA-Form
Programs - CC 2009
Braun, M. and Hack, S.
Compiler Construction 2009, pages 174–189, Springer, 2009. [doi] [bib]
@CONFERENCE{BH:2009:Spill,
author = {Matthias Braun and Sebastian Hack},
title = {{R}egister {S}pilling and {L}ive-{R}ange {S}plitting for {SSA}-{F}orm
{P}rograms},
booktitle = {Compiler Construction 2009},
year = {2009},
volume = {5501},
series = {Lecture Notes In Computer Science},
pages = {174--189},
publisher = {Springer},
booktitle_short = {CC 2009},
doi = {10.1007/978-3-642-00722-4_13},
location = {York, England}
} - Profiling Java Programs for Parallelism - IWMSE 2009
Hammacher, C., Streit, K., Hack, S. and Zeller, A.
Proc. 2nd International Workshop on Multi-Core Software Engineering
(IWMSE), 2009.[bib]
@CONFERENCE{HSHZ:2009:Profiling,
author = {Clemens Hammacher and Kevin Streit and Sebastian Hack and Andreas
Zeller},
title = {{P}rofiling {J}ava {P}rograms for {P}arallelism},
booktitle = {Proc. 2nd International Workshop on Multi-Core Software Engineering
(IWMSE)},
year = {2009},
month = {May},
location = {Vancouver, BC, Canada},
booktitle_short = {IWMSE 2009},
} - Fast Liveness Checking for SSA-Form Programs - CGO 2008 (Best Paper Award)
Boissinot, B., Hack, S., Grund, D., Dupont-De-Dinechin, B. and Rastello, F.
CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium
on Code generation and optimization, pages 35–44, ACM, 2008. [doi] [bib]
@CONFERENCE{BHGDR:2007:SSALiveness,
author = {Benoit Boissinot and Sebastian Hack and Daniel Grund and Beno{\^i}t
Dupont-De-Dinechin and Fabrice Rastello},
title = {{F}ast {L}iveness {C}hecking for {SSA}-{F}orm {P}rograms},
booktitle = {CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium
on Code generation and optimization},
year = {2008},
pages = {35--44},
address = {New York, NY, USA},
publisher = {ACM},
award = {Best Paper Award},
booktitle_short = {CGO 2008},
doi = {10.1145/1356058.1356064},
isbn = {978-1-59593-978-4},
location = {Boston, MA, USA}
} - Register Coalescing by Graph Recoloring - PLDI 2008
Hack, S. and Goos, G.
PLDI '08: Proceedings of the 2008 ACM SIGPLAN Conference on Programming
Language Design and Implementation, pages 227–237, ACM, 2008. [doi] [bib]
@CONFERENCE{HG:2008:Recolor,
author = {Sebastian Hack and Gerhard Goos},
title = {{R}egister {C}oalescing by {G}raph {R}ecoloring},
booktitle = {PLDI '08: Proceedings of the 2008 ACM SIGPLAN Conference on Programming
Language Design and Implementation},
year = {2008},
pages = {227--237},
address = {New York, NY, USA},
publisher = {ACM},
booktitle_short = {PLDI 2008},
doi = {10.1145/1375581.1375610},
isbn = {978-1-59593-860-2},
location = {Tucson, AZ, USA}
} - A Fast Cutting-Plane Algorithm for Optimal Coalescing - CC 2007 (Best Paper Award)
Grund, D. and Hack, S.
Compiler Construction 2007, pages 111–125, Springer, 2007. [doi] [bib]
@CONFERENCE{GH:2007:Coal,
author = {Daniel Grund and Sebastian Hack},
title = {A {F}ast {C}utting-{P}lane {A}lgorithm for {O}ptimal {C}oalescing},
booktitle = {Compiler Construction 2007},
year = {2007},
editor = {Shriram Krishnamurthi and Martin Odersky},
volume = {4420},
series = {Lecture Notes In Computer Science},
pages = {111--125},
month = {March},
publisher = {Springer},
award = {Best Paper Award},
booktitle_short = {CC 2007},
doi = {10.1007/978-3-540-71229-9_8},
location = {Braga, Portugal}
} - GrGen: A Fast SPO-based Graph Rewriting Tool - ICGT 2006
Geiß, R., Batz, G. V., Grund, D., Hack, S. and Szalkowski, A. M.
Graph Transformations - ICGT 2006, pages 383–397, Springer, 2006. [pdf] [bib]
@CONFERENCE{GBGHS:2006:GrGen,
author = {Rubino Gei\ss and Gernot Veit Batz and Daniel Grund and Sebastian
Hack and Adam M. Szalkowski},
title = {{G}r{G}en: A Fast {SPO}-based {G}raph {R}ewriting {T}ool},
booktitle = {Graph Transformations - ICGT 2006},
year = {2006},
editor = {A. Corradini and H. Ehrig and U. Montanari and L. Ribeiro and G.
Rozenberg},
series = {Lecture Notes in Computer Science},
pages = {383--397},
month = {September},
publisher = {Springer},
note = {Natal, Brasil},
booktitle_short = {ICGT 2006},
webpdf = {http://www.info.uni-karlsruhe.de/papers/grgen_icgt2006.pdf}
} - Register Allocation for Programs in SSA-Form - CC 2006
Hack, S., Grund, D. and Goos, G.
Compiler Construction 2006, pages 247–262, Springer, 2006. [doi] [bib]
@CONFERENCE{HGG:2006:RA_SSA,
author = {Sebastian Hack and Daniel Grund and Gerhard Goos},
title = {{R}egister {A}llocation for {P}rograms in {SSA}-{F}orm},
booktitle = {Compiler Construction 2006},
year = {2006},
editor = {Andreas Zeller and Alan Mycroft},
volume = {3923},
series = {Lecture Notes In Computer Science},
pages = {247--262},
month = {March},
publisher = {Springer},
abstract = {As register allocation is one of the most important phases in optimizingcompilers,
much work has been done to improve its quality and speed.We present
a novel register allocation architecture for programs inSSA-form
which simplifies register allocation significantly. We investigatecertain
properties of SSA-programs and their interference graphs,showing
that they belong to the class of chordal graphs. This leadsto a quadratic-time
optimal coloring algorithm and allows for decouplingthe tasks of
coloring, spilling and coalescing completely. After presentingheuristic
methods for spilling and coalescing, we compare our coalescingheuristic
to an optimal method based on integer linear programming.},
booktitle_short = {CC 2006},
doi = {10.1007/11688839_20},
journal = {Lecture Notes In Computer Science}
}
- Fast Liveness Checking for SSA-Form Programs
Boissinot, B., Hack, S., Grund, D., Dupont-De-Dinechin, B. and Rastello, F.
[more] [bib]
@TECHREPORT{BHGDR:2007:SSALivenessTR,
author = {Benoit Boissinot and Sebastian Hack and Daniel Grund and Beno{\^i}t
Dupont-De-Dinechin and Fabrice Rastello},
title = {{F}ast {L}iveness {C}hecking for {SSA}-{F}orm {P}rograms},
institution = {INRIA},
year = {2007},
number = {RR-2007-45},
month = {November},
url = {http://hal.inria.fr/inria-00192219/en/}
} - Interference Graphs of Programs in SSA Form
Hack, S.
[pdf] [bib]
@TECHREPORT{Hack:2005:IfgSSA,
author = {Sebastian Hack},
title = {{I}nterference {G}raphs of {P}rograms in {SSA} {F}orm},
institution = {Universit{\"a}t Karlsruhe},
year = {2005},
number = {2005-15},
month = {June},
school = {IPD Goos},
webpdf = {http://www.info.uni-karlsruhe.de/~hack/ifg_ssa.pdf}
} - Towards Register Allocation for Programs in SSA-Form
Hack, S., Grund, D. and Goos, G.
[pdf] [bib]
- Übersetzerbau — Ein kleiner Überblick
Geiß, R. and Hack, S.
[pdf] [bib]
@TECHREPORT{GH:2003:comp,
author = {Rubino Gei{\ss} and Sebastian Hack},
title = {{\"Ubersetzerbau --- Ein kleiner \"Uberblick}},
institution = {Universit{\"a}t Karlsruhe},
year = {2003},
number = {2003-18},
month = {October},
school = {IPD Goos},
webpdf = {http://www.info.uni-karlsruhe.de/papers/TR_2003_18.pdf}
}
