Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sebastian Hack
@article{DBLP:journals/corr/abs-2403-16063,
author = {Fabian Ritter and
Sebastian Hack},
title = {Explainable Port Mapping Inference with Sparse Performance Counters
for AMD's Zen Architectures},
journal = {CoRR},
volume = {abs/2403.16063},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.16063},
doi = {10.48550/ARXIV.2403.16063},
eprinttype = {arXiv},
eprint = {2403.16063},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-16063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocs/KemmerHSH23,
author = {Thomas Kemmer and
Sebastian Hack and
Bertil Schmidt and
Andreas Hildebrandt},
title = {CUDA-accelerated protein electrostatics in linear space},
journal = {J. Comput. Sci.},
volume = {70},
pages = {102022},
year = {2023},
url = {https://doi.org/10.1016/j.jocs.2023.102022},
doi = {10.1016/J.JOCS.2023.102022},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jocs/KemmerHSH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwocl/0003AHFH23,
author = {Joachim Meyer and
Aksel Alpay and
Sebastian Hack and
Holger Fr{\"{o}}ning and
Vincent Heuveline},
title = {Implementation Techniques for {SPMD} Kernels on CPUs},
booktitle = {Proceedings of the 2023 International Workshop on OpenCL, {IWOCL}
2023, Cambridge, United Kingdom, April 18-20, 2023},
pages = {1:1--1:12},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3585341.3585342},
doi = {10.1145/3585341.3585342},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwocl/0003AHFH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RitterH22,
author = {Fabian Ritter and
Sebastian Hack},
title = {AnICA: analyzing inconsistencies in microarchitectural code analyzers},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {1--29},
year = {2022},
url = {https://doi.org/10.1145/3563288},
doi = {10.1145/3563288},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/RitterH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/MullerSMLH22,
author = {Andr{\'{e}} M{\"{u}}ller and
Bertil Schmidt and
Richard Membarth and
Roland Lei{\ss}a and
Sebastian Hack},
editor = {Lawrence Rauchwerger and
Kirk W. Cameron and
Dimitrios S. Nikolopoulos and
Dionisios N. Pnevmatikatos},
title = {AnySeq/GPU: a novel approach for faster sequence alignment on GPUs},
booktitle = {{ICS} '22: 2022 International Conference on Supercomputing, Virtual
Event, June 28 - 30, 2022},
pages = {20:1--20:11},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3524059.3532376},
doi = {10.1145/3524059.3532376},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ics/MullerSMLH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/22/Hack22,
author = {Sebastian Hack},
editor = {Fabrice Rastello and
Florent Bouchez{-}Tichadou},
title = {{SSA} Reconstruction},
booktitle = {SSA-based Compiler Design},
pages = {55--62},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-80515-9\_5},
doi = {10.1007/978-3-030-80515-9\_5},
timestamp = {Thu, 23 Feb 2023 08:52:21 +0100},
biburl = {https://dblp.org/rec/books/sp/22/Hack22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cgo/2022,
editor = {Jae W. Lee and
Sebastian Hack and
Tatiana Shpeisman},
title = {{IEEE/ACM} International Symposium on Code Generation and Optimization,
{CGO} 2022, Seoul, Korea, Republic of, April 2-6, 2022},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CGO53902.2022},
doi = {10.1109/CGO53902.2022},
isbn = {978-1-6654-0584-3},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cgo/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-07610,
author = {Andr{\'{e}} M{\"{u}}ller and
Bertil Schmidt and
Richard Membarth and
Roland Lei{\ss}a and
Sebastian Hack},
title = {AnySeq/GPU: {A} Novel Approach for Faster Sequence Alignment on GPUs},
journal = {CoRR},
volume = {abs/2205.07610},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.07610},
doi = {10.48550/ARXIV.2205.07610},
eprinttype = {arXiv},
eprint = {2205.07610},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-07610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-05994,
author = {Fabian Ritter and
Sebastian Hack},
title = {AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers},
journal = {CoRR},
volume = {abs/2209.05994},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.05994},
doi = {10.48550/ARXIV.2209.05994},
eprinttype = {arXiv},
eprint = {2209.05994},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-05994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocs/MachadoSEELHPMK21,
author = {Rafael Ravedutti L. Machado and
Jonas Schmitt and
Sebastian Eibl and
Jan Eitzinger and
Roland Lei{\ss}a and
Sebastian Hack and
Ars{\`{e}}ne P{\'{e}}rard{-}Gayot and
Richard Membarth and
Harald K{\"{o}}stler},
title = {tinyMD: Mapping molecular dynamics simulations to heterogeneous hardware
using partial evaluation},
journal = {J. Comput. Sci.},
volume = {54},
pages = {101425},
year = {2021},
url = {https://doi.org/10.1016/j.jocs.2021.101425},
doi = {10.1016/J.JOCS.2021.101425},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jocs/MachadoSEELHPMK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RosemannMH21,
author = {Julian Rosemann and
Simon Moll and
Sebastian Hack},
title = {An abstract interpretation for {SPMD} divergence on reducible control
flow graphs},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--31},
year = {2021},
url = {https://doi.org/10.1145/3434312},
doi = {10.1145/3434312},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/RosemannMH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/JungRH21,
author = {Tina Jung and
Fabian Ritter and
Sebastian Hack},
title = {{PICO:} {A} Presburger In-bounds Check Optimization for Compiler-based
Memory Safety Instrumentations},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {18},
number = {4},
pages = {45:1--45:27},
year = {2021},
url = {https://doi.org/10.1145/3460434},
doi = {10.1145/3460434},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taco/JungRH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/AmiriPMSLH21,
author = {Puya Amiri and
Ars{\`{e}}ne P{\'{e}}rard{-}Gayot and
Richard Membarth and
Philipp Slusallek and
Roland Lei{\ss}a and
Sebastian Hack},
title = {{FLOWER:} {A} comprehensive dataflow compiler for high-level synthesis},
booktitle = {International Conference on Field-Programmable Technology, {(IC)FPT}
2021, Auckland, New Zealand, December 6-10, 2021},
pages = {1--9},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICFPT52863.2021.9609930},
doi = {10.1109/ICFPT52863.2021.9609930},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpt/AmiriPMSLH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-07789,
author = {Puya Amiri and
Ars{\`{e}}ne P{\'{e}}rard{-}Gayot and
Richard Membarth and
Philipp Slusallek and
Roland Lei{\ss}a and
Sebastian Hack},
title = {{FLOWER:} {A} comprehensive dataflow compiler for high-level synthesis},
journal = {CoRR},
volume = {abs/2112.07789},
year = {2021},
url = {https://arxiv.org/abs/2112.07789},
eprinttype = {arXiv},
eprint = {2112.07789},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-07789.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/OzkanPMSLHTH20,
author = {M. Akif {\"{O}}zkan and
Ars{\`{e}}ne P{\'{e}}rard{-}Gayot and
Richard Membarth and
Philipp Slusallek and
Roland Lei{\ss}a and
Sebastian Hack and
J{\"{u}}rgen Teich and
Frank Hannig},
title = {AnyHLS: High-Level Synthesis With Partial Evaluation},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {39},
number = {11},
pages = {3202--3214},
year = {2020},
url = {https://doi.org/10.1109/TCAD.2020.3012172},
doi = {10.1109/TCAD.2020.3012172},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/OzkanPMSLHTH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/MullerS0MLKH20,
author = {Andr{\'{e}} M{\"{u}}ller and
Bertil Schmidt and
Andreas Hildebrandt and
Richard Membarth and
Roland Lei{\ss}a and
Matthis Kruse and
Sebastian Hack},
title = {AnySeq: {A} High Performance Sequence Alignment Library based on Partial
Evaluation},
booktitle = {2020 {IEEE} International Parallel and Distributed Processing Symposium
(IPDPS), New Orleans, LA, USA, May 18-22, 2020},
pages = {1030--1040},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IPDPS47924.2020.00109},
doi = {10.1109/IPDPS47924.2020.00109},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipps/MullerS0MLKH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/0002H20,
author = {Fabian Ritter and
Sebastian Hack},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {PMEvo: portable inference of port mappings for out-of-order processors
by evolutionary optimization},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {608--622},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385995},
doi = {10.1145/3385412.3385995},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/0002H20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-04561,
author = {Andr{\'{e}} M{\"{u}}ller and
Bertil Schmidt and
Andreas Hildebrandt and
Richard Membarth and
Roland Lei{\ss}a and
Matthis Kruse and
Sebastian Hack},
title = {AnySeq: {A} High Performance Sequence Alignment Library based on Partial
Evaluation},
journal = {CoRR},
volume = {abs/2002.04561},
year = {2020},
url = {https://arxiv.org/abs/2002.04561},
eprinttype = {arXiv},
eprint = {2002.04561},
timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-04561.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-05796,
author = {M. Akif {\"{O}}zkan and
Ars{\`{e}}ne P{\'{e}}rard{-}Gayot and
Richard Membarth and
Philipp Slusallek and
Roland Lei{\ss}a and
Sebastian Hack and
J{\"{u}}rgen Teich and
Frank Hannig},
title = {AnyHLS: High-Level Synthesis with Partial Evaluation},
journal = {CoRR},
volume = {abs/2002.05796},
year = {2020},
url = {https://arxiv.org/abs/2002.05796},
eprinttype = {arXiv},
eprint = {2002.05796},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-05796.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-10044,
author = {Fabian Ritter and
Sebastian Hack},
title = {PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors
by Evolutionary Optimization},
journal = {CoRR},
volume = {abs/2004.10044},
year = {2020},
url = {https://arxiv.org/abs/2004.10044},
eprinttype = {arXiv},
eprint = {2004.10044},
timestamp = {Wed, 06 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-10044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-07400,
author = {Rafael Ravedutti L. Machado and
Jonas Schmitt and
Sebastian Eibl and
Jan Eitzinger and
Roland Lei{\ss}a and
Sebastian Hack and
Ars{\`{e}}ne P{\'{e}}rard{-}Gayot and
Richard Membarth and
Harald K{\"{o}}stler},
title = {tinyMD: {A} Portable and Scalable Implementation for Pairwise Interactions
Simulations},
journal = {CoRR},
volume = {abs/2009.07400},
year = {2020},
url = {https://arxiv.org/abs/2009.07400},
eprinttype = {arXiv},
eprint = {2009.07400},
timestamp = {Wed, 23 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-07400.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tog/Perard-GayotMLH19,
author = {Ars{\`{e}}ne P{\'{e}}rard{-}Gayot and
Richard Membarth and
Roland Lei{\ss}a and
Sebastian Hack and
Philipp Slusallek},
title = {Rodent: generating renderers without writing a generator},
journal = {{ACM} Trans. Graph.},
volume = {38},
number = {4},
pages = {40:1--40:12},
year = {2019},
url = {https://doi.org/10.1145/3306346.3322955},
doi = {10.1145/3306346.3322955},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tog/Perard-GayotMLH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wpmvp/MollSKH19,
author = {Simon Moll and
Shrey Sharma and
Matthias Kurtenacker and
Sebastian Hack},
title = {Multi-dimensional Vectorization in {LLVM}},
booktitle = {Proceedings of the 5th Workshop on Programming Models for SIMD/Vector
Processing, WPMVP@PPoPP 2019, Washington, DC, USA, February 16-20,
2019},
pages = {3:1--3:8},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3303117.3306172},
doi = {10.1145/3303117.3306172},
timestamp = {Tue, 18 Apr 2023 16:44:12 +0200},
biburl = {https://dblp.org/rec/conf/wpmvp/MollSKH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LeissaBHPMSMS18,
author = {Roland Lei{\ss}a and
Klaas Boesche and
Sebastian Hack and
Ars{\`{e}}ne P{\'{e}}rard{-}Gayot and
Richard Membarth and
Philipp Slusallek and
Andr{\'{e}} M{\"{u}}ller and
Bertil Schmidt},
title = {AnyDSL: a partial evaluation framework for programming high-performance
libraries},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {119:1--119:30},
year = {2018},
url = {https://doi.org/10.1145/3276489},
doi = {10.1145/3276489},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/LeissaBHPMSMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/DoerfertSH18,
author = {Johannes Doerfert and
Shrey Sharma and
Sebastian Hack},
editor = {Christophe Dubach and
Jingling Xue},
title = {Polyhedral expression propagation},
booktitle = {Proceedings of the 27th International Conference on Compiler Construction,
{CC} 2018, February 24-25, 2018, Vienna, Austria},
pages = {25--36},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178372.3179529},
doi = {10.1145/3178372.3179529},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/DoerfertSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/BuchwaldFH18,
author = {Sebastian Buchwald and
Andreas Fried and
Sebastian Hack},
editor = {Jens Knoop and
Markus Schordan and
Teresa Johnson and
Michael F. P. O'Boyle},
title = {Synthesizing an instruction selection rule library from semantic specifications},
booktitle = {Proceedings of the 2018 International Symposium on Code Generation
and Optimization, {CGO} 2018, V{\"{o}}sendorf / Vienna, Austria,
February 24-28, 2018},
pages = {300--313},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3168821},
doi = {10.1145/3168821},
timestamp = {Wed, 21 Nov 2018 12:44:27 +0100},
biburl = {https://dblp.org/rec/conf/cgo/BuchwaldFH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MollH18,
author = {Simon Moll and
Sebastian Hack},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Partial control-flow linearization},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {543--556},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192413},
doi = {10.1145/3192366.3192413},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MollH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/Perard-GayotMSM18,
author = {Ars{\`{e}}ne P{\'{e}}rard{-}Gayot and
Richard Membarth and
Philipp Slusallek and
Simon Moll and
Roland Lei{\ss}a and
Sebastian Hack},
editor = {Jan Eitzinger and
James C. Brodman},
title = {A Data Layout Transformation for Vectorizing Compilers},
booktitle = {Proceedings of the 4th Workshop on Programming Models for SIMD/Vector
Processing, WPMVP@PPoPP 2018, Vienna, Austria, February 24, 2018},
pages = {7:1--7:8},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178433.3178440},
doi = {10.1145/3178433.3178440},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/Perard-GayotMSM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HackKL18,
author = {Sebastian Hack and
Paul H. J. Kelly and
Christian Lengauer},
title = {Loop Optimization (Dagstuhl Seminar 18111)},
journal = {Dagstuhl Reports},
volume = {8},
number = {3},
pages = {39--59},
year = {2018},
url = {https://doi.org/10.4230/DagRep.8.3.39},
doi = {10.4230/DAGREP.8.3.39},
timestamp = {Wed, 25 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/HackKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/DoerfertGH17,
author = {Johannes Doerfert and
Tobias Grosser and
Sebastian Hack},
editor = {Vijay Janapa Reddi and
Aaron Smith and
Lingjia Tang},
title = {Optimistic loop optimization},
booktitle = {Proceedings of the 2017 International Symposium on Code Generation
and Optimization, {CGO} 2017, Austin, TX, USA, February 4-8, 2017},
pages = {292--304},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3049864},
timestamp = {Mon, 06 Feb 2017 08:11:47 +0100},
biburl = {https://dblp.org/rec/conf/cgo/DoerfertGH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/Perard-GayotWMS17,
author = {Ars{\`{e}}ne P{\'{e}}rard{-}Gayot and
Martin Weier and
Richard Membarth and
Philipp Slusallek and
Roland Lei{\ss}a and
Sebastian Hack},
editor = {Matthew Flatt and
Sebastian Erdweg},
title = {RaTrace: simple and efficient abstractions for {BVH} ray traversal
algorithms},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2017, Vancouver,
BC, Canada, October 23-24, 2017},
pages = {157--168},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136040.3136044},
doi = {10.1145/3136040.3136044},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/Perard-GayotWMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/RosemannSH17,
author = {Julian Rosemann and
Sigurd Schneider and
Sebastian Hack},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Verified Spilling and Translation Validation with Repair},
booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10499},
pages = {427--443},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66107-0\_27},
doi = {10.1007/978-3-319-66107-0\_27},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/RosemannSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/HaidlMKSHG17,
author = {Michael Haidl and
Simon Moll and
Lars Klein and
Huihui Sun and
Sebastian Hack and
Sergei Gorlatch},
title = {PACXXv2 + {RV:} An LLVM-based Portable High-Performance Programming
Model},
booktitle = {Proceedings of the Fourth Workshop on the {LLVM} Compiler Infrastructure
in HPC, LLVM-HPC@SC 2017, Denver, CO, USA, November 13, 2017},
pages = {7:1--7:12},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3148173.3148185},
doi = {10.1145/3148173.3148185},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sc/HaidlMKSHG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/2017,
editor = {Peng Wu and
Sebastian Hack},
title = {Proceedings of the 26th International Conference on Compiler Construction,
Austin, TX, USA, February 5-6, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3033019},
doi = {10.1145/3033019},
isbn = {978-1-4503-5233-8},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/HammacherSZH16,
author = {Clemens Hammacher and
Kevin Streit and
Andreas Zeller and
Sebastian Hack},
editor = {Ayal Zaks and
Manuel V. Hermenegildo},
title = {Thread-level speculation with kernel support},
booktitle = {Proceedings of the 25th International Conference on Compiler Construction,
{CC} 2016, Barcelona, Spain, March 12-18, 2016},
pages = {1--11},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2892208.2892221},
doi = {10.1145/2892208.2892221},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/HammacherSZH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/MollDH16,
author = {Simon Moll and
Johannes Doerfert and
Sebastian Hack},
editor = {Ayal Zaks and
Manuel V. Hermenegildo},
title = {Input space splitting for OpenCL},
booktitle = {Proceedings of the 25th International Conference on Compiler Construction,
{CC} 2016, Barcelona, Spain, March 12-18, 2016},
pages = {251--260},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2892208.2892217},
doi = {10.1145/2892208.2892217},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/MollDH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/00020H16,
author = {Michael Jacobs and
Sebastian Hahn and
Sebastian Hack},
title = {A Framework for the Derivation of {WCET} Analyses for Multi-core Processors},
booktitle = {28th Euromicro Conference on Real-Time Systems, {ECRTS} 2016, Toulouse,
France, July 5-8, 2016},
pages = {141--151},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ECRTS.2016.19},
doi = {10.1109/ECRTS.2016.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/00020H16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/PfaffH016,
author = {David Pfaff and
Sebastian Hack and
Christian Hammer},
editor = {Jens Knoop and
Uwe Zdun},
title = {Learning how to prevent return-oriented programming efficiently},
booktitle = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik,
23.-26. Februar 2016, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-252}},
pages = {43--44},
publisher = {{GI}},
year = {2016},
url = {https://dl.gi.de/handle/20.500.12116/712},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/PfaffH016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchneiderSH16,
author = {Sigurd Schneider and
Gert Smolka and
Sebastian Hack},
title = {An Inductive Proof Method for Simulation-based Compiler Correctness},
journal = {CoRR},
volume = {abs/1611.09606},
year = {2016},
url = {http://arxiv.org/abs/1611.09606},
eprinttype = {arXiv},
eprint = {1611.09606},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchneiderSH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/StreitDHZH15,
author = {Kevin Streit and
Johannes Doerfert and
Clemens Hammacher and
Andreas Zeller and
Sebastian Hack},
title = {Generalized Task Parallelism},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {12},
number = {1},
pages = {8:1--8:25},
year = {2015},
url = {https://doi.org/10.1145/2723164},
doi = {10.1145/2723164},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taco/StreitDHZH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/LeissaKH15,
author = {Roland Lei{\ss}a and
Marcel K{\"{o}}ster and
Sebastian Hack},
editor = {Kunle Olukotun and
Aaron Smith and
Robert Hundt and
Jason Mars},
title = {A graph-based higher-order intermediate representation},
booktitle = {Proceedings of the 13th Annual {IEEE/ACM} International Symposium
on Code Generation and Optimization, {CGO} 2015, San Francisco, CA,
USA, February 07 - 11, 2015},
pages = {202--212},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CGO.2015.7054200},
doi = {10.1109/CGO.2015.7054200},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cgo/LeissaKH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/PfaffHH15,
author = {David Pfaff and
Sebastian Hack and
Christian Hammer},
editor = {Frank Piessens and
Juan Caballero and
Nataliia Bielova},
title = {Learning How to Prevent Return-Oriented Programming Efficiently},
booktitle = {Engineering Secure Software and Systems - 7th International Symposium,
ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8978},
pages = {68--85},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15618-7\_6},
doi = {10.1007/978-3-319-15618-7\_6},
timestamp = {Mon, 01 May 2023 13:01:13 +0200},
biburl = {https://dblp.org/rec/conf/essos/PfaffHH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/LeissaBHMS15,
author = {Roland Lei{\ss}a and
Klaas Boesche and
Sebastian Hack and
Richard Membarth and
Philipp Slusallek},
editor = {Christian K{\"{a}}stner and
Aniruddha S. Gokhale},
title = {Shallow embedding of DSLs via online partial evaluation},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2015, Pittsburgh,
PA, USA, October 26-27, 2015},
pages = {11--20},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814204.2814208},
doi = {10.1145/2814204.2814208},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/LeissaBHMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/SchneiderSH15,
author = {Sigurd Schneider and
Gert Smolka and
Sebastian Hack},
editor = {Christian Urban and
Xingyuan Zhang},
title = {A Linear First-Order Functional Intermediate Language for Verified
Compilers},
booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
2015, Nanjing, China, August 24-27, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9236},
pages = {344--358},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22102-1\_23},
doi = {10.1007/978-3-319-22102-1\_23},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/SchneiderSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/JacobsHH15,
author = {Michael Jacobs and
Sebastian Hahn and
Sebastian Hack},
editor = {Julien Forget},
title = {{WCET} analysis for multi-core processors with shared buses and event-driven
bus arbitration},
booktitle = {Proceedings of the 23rd International Conference on Real Time Networks
and Systems, {RTNS} 2015, Lille, France, November 4-6, 2015},
pages = {193--202},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2834848.2834872},
doi = {10.1145/2834848.2834872},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtns/JacobsHH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchneiderSH15,
author = {Sigurd Schneider and
Gert Smolka and
Sebastian Hack},
title = {A First-Order Functional Intermediate Language for Verified Compilers},
journal = {CoRR},
volume = {abs/1503.08665},
year = {2015},
url = {http://arxiv.org/abs/1503.08665},
eprinttype = {arXiv},
eprint = {1503.08665},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchneiderSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DoerfertSHB15,
author = {Johannes Doerfert and
Kevin Streit and
Sebastian Hack and
Zino Benaissa},
title = {Polly's Polyhedral Scheduling in the Presence of Reductions},
journal = {CoRR},
volume = {abs/1505.07716},
year = {2015},
url = {http://arxiv.org/abs/1505.07716},
eprinttype = {arXiv},
eprint = {1505.07716},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DoerfertSHB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/KosterLHMS14,
author = {Marcel K{\"{o}}ster and
Roland Lei{\ss}a and
Sebastian Hack and
Richard Membarth and
Philipp Slusallek},
title = {Code Refinement of Stencil Codes},
journal = {Parallel Process. Lett.},
volume = {24},
number = {3},
year = {2014},
url = {https://doi.org/10.1142/S0129626414410035},
doi = {10.1142/S0129626414410035},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/KosterLHMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/SchaubMKH14,
author = {Thomas Schaub and
Simon Moll and
Ralf Karrenberg and
Sebastian Hack},
title = {The Impact of the {SIMD} Width on Control-Flow and Memory Divergence},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {11},
number = {4},
pages = {54:1--54:25},
year = {2014},
url = {https://doi.org/10.1145/2687355},
doi = {10.1145/2687355},
timestamp = {Wed, 12 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taco/SchaubMKH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/LeissaHH14,
author = {Roland Lei{\ss}a and
Immanuel Haffner and
Sebastian Hack},
editor = {Gabriel Tanase and
Peng Wu and
Joel Falcou},
title = {Sierra: a {SIMD} extension for {C++}},
booktitle = {Proceedings of the 2014 Workshop on Programming models for SIMD/Vector
processing, {WPMVP} 2014, Orlando, Florida, USA, February 16, 2014},
pages = {17--24},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568058.2568062},
doi = {10.1145/2568058.2568062},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/LeissaHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/MembarthSKLH14,
author = {Richard Membarth and
Philipp Slusallek and
Marcel K{\"{o}}ster and
Roland Lei{\ss}a and
Sebastian Hack},
title = {Target-specific refinement of multigrid codes},
booktitle = {Proceedings of the Fourth International Workshop on Domain-Specific
Languages and High-Level Frameworks for High Performance Computing,
{WOLFHPC} '14, New Orleans, Louisiana, USA, November 16-21, 2014},
pages = {52--57},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/WOLFHPC.2014.5},
doi = {10.1109/WOLFHPC.2014.5},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/MembarthSKLH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0031526,
author = {Reinhard Wilhelm and
Helmut Seidl and
Sebastian Hack},
title = {Compiler Design - Syntactic and Semantic Analysis},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-17540-4},
doi = {10.1007/978-3-642-17540-4},
isbn = {978-3-642-17539-8},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0031526.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/MohrGMBHH13,
author = {Manuel Mohr and
Artjom Grudnitsky and
Tobias Modschiedler and
Lars Bauer and
Sebastian Hack and
J{\"{o}}rg Henkel},
title = {Hardware acceleration for programs in {SSA} form},
booktitle = {International Conference on Compilers, Architecture and Synthesis
for Embedded Systems, {CASES} 2013, Montreal, QC, Canada, September
29 - October 4, 2013},
pages = {14:1--14:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CASES.2013.6662518},
doi = {10.1109/CASES.2013.6662518},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/cases/MohrGMBHH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/BraunBHLMZ13,
author = {Matthias Braun and
Sebastian Buchwald and
Sebastian Hack and
Roland Lei{\ss}a and
Christoph Mallon and
Andreas Zwinkau},
editor = {Ranjit Jhala and
Koen De Bosschere},
title = {Simple and Efficient Construction of Static Single Assignment Form},
booktitle = {Compiler Construction - 22nd International Conference, {CC} 2013,
Held as Part of the European Joint Conferences on Theory and Practice
of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7791},
pages = {102--122},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37051-9\_6},
doi = {10.1007/978-3-642-37051-9\_6},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/BraunBHLMZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0030106,
author = {Helmut Seidl and
Reinhard Wilhelm and
Sebastian Hack},
title = {Compiler Design - Analysis and Transformation},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-17548-0},
doi = {10.1007/978-3-642-17548-0},
isbn = {978-3-642-17547-3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0030106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DallmeierKMFHZ12,
author = {Valentin Dallmeier and
Nikolai Knopp and
Christoph Mallon and
Gordon Fraser and
Sebastian Hack and
Andreas Zeller},
title = {Automatically Generating Test Cases for Specification Mining},
journal = {{IEEE} Trans. Software Eng.},
volume = {38},
number = {2},
pages = {243--257},
year = {2012},
url = {https://doi.org/10.1109/TSE.2011.105},
doi = {10.1109/TSE.2011.105},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DallmeierKMFHZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/KarrenbergH12,
author = {Ralf Karrenberg and
Sebastian Hack},
editor = {Michael F. P. O'Boyle},
title = {Improving Performance of OpenCL on CPUs},
booktitle = {Compiler Construction - 21st International Conference, {CC} 2012,
Held as Part of the European Joint Conferences on Theory and Practice
of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7210},
pages = {1--20},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28652-0\_1},
doi = {10.1007/978-3-642-28652-0\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/KarrenbergH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/StreitHZH12,
author = {Kevin Streit and
Clemens Hammacher and
Andreas Zeller and
Sebastian Hack},
editor = {Michael F. P. O'Boyle},
title = {Sambamba: {A} Runtime System for Online Adaptive Parallelization},
booktitle = {Compiler Construction - 21st International Conference, {CC} 2012,
Held as Part of the European Joint Conferences on Theory and Practice
of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7210},
pages = {240--243},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28652-0\_13},
doi = {10.1007/978-3-642-28652-0\_13},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/StreitHZH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BenzHH12,
author = {Florian Benz and
Andreas Hildebrandt and
Sebastian Hack},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {A dynamic program analysis to find floating-point accuracy problems},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {453--462},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254118},
doi = {10.1145/2254064.2254118},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BenzHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/LeissaHW12,
author = {Roland Lei{\ss}a and
Sebastian Hack and
Ingo Wald},
editor = {J. Ramanujam and
P. Sadayappan},
title = {Extending a C-like language for portable {SIMD} programming},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2012, New Orleans, LA, USA,
February 25-29, 2012},
pages = {65--74},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2145816.2145825},
doi = {10.1145/2145816.2145825},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/LeissaHW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/ColombetBBHR11,
author = {Quentin Colombet and
Benoit Boissinot and
Philip Brisk and
Sebastian Hack and
Fabrice Rastello},
editor = {Rajesh K. Gupta and
Vincent John Mooney},
title = {Graph-coloring and treescan register allocation using repairing},
booktitle = {Proceedings of the 14th International Conference on Compilers, Architecture,
and Synthesis for Embedded Systems, {CASES} 2011, part of the Seventh
Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14,
2011},
pages = {45--54},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038698.2038708},
doi = {10.1145/2038698.2038708},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cases/ColombetBBHR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/KarrenbergH11,
author = {Ralf Karrenberg and
Sebastian Hack},
title = {Whole-function vectorization},
booktitle = {Proceedings of the {CGO} 2011, The 9th International Symposium on
Code Generation and Optimization, Chamonix, France, April 2-6, 2011},
pages = {141--150},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CGO.2011.5764682},
doi = {10.1109/CGO.2011.5764682},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cgo/KarrenbergH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/BraunMH10,
author = {Matthias Braun and
Christoph Mallon and
Sebastian Hack},
editor = {Rajiv Gupta},
title = {Preference-Guided Register Assignment},
booktitle = {Compiler Construction, 19th International Conference, {CC} 2010, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6011},
pages = {205--223},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11970-5\_12},
doi = {10.1007/978-3-642-11970-5\_12},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/BraunMH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egh/KarrenbergRSH10,
author = {Ralf Karrenberg and
Dmitri Rubinstein and
Philipp Slusallek and
Sebastian Hack},
editor = {Justin Hensley and
Philipp Slusallek and
David K. McAllister and
Christiaan P. Gribble},
title = {AnySL: efficient and portable shading for ray tracing},
booktitle = {Proceedings of the {ACM} {SIGGRAPH/EUROGRAPHICS} Conference on High
Performance Graphics 2010, Saarbr{\"{u}}cken, Germany, June 25-27,
2010},
pages = {97--105},
publisher = {Eurographics Association},
year = {2010},
url = {https://doi.org/10.2312/EGGH/HPG10/097-105},
doi = {10.2312/EGGH/HPG10/097-105},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/egh/KarrenbergRSH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DallmeierKMHZ10,
author = {Valentin Dallmeier and
Nikolai Knopp and
Christoph Mallon and
Sebastian Hack and
Andreas Zeller},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Generating test cases for specification mining},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {85--96},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831719},
doi = {10.1145/1831708.1831719},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/DallmeierKMHZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/BraunH09,
author = {Matthias Braun and
Sebastian Hack},
editor = {Oege de Moor and
Michael I. Schwartzbach},
title = {Register Spilling and Live-Range Splitting for SSA-Form Programs},
booktitle = {Compiler Construction, 18th International Conference, {CC} 2009, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5501},
pages = {174--189},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00722-4\_13},
doi = {10.1007/978-3-642-00722-4\_13},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/BraunH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HammacherSHZ09,
author = {Clemens Hammacher and
Kevin Streit and
Sebastian Hack and
Andreas Zeller},
title = {Profiling Java programs for parallelism},
booktitle = {Proceedings of the 2009 {ICSE} Workshop on Multicore Software Engineering,
{IWMSE} '09, Vancouver, BC, Canada, May 18, 2009},
pages = {49--55},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/IWMSE.2009.5071383},
doi = {10.1109/IWMSE.2009.5071383},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/HammacherSHZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/BoissinotHGDR08,
author = {Benoit Boissinot and
Sebastian Hack and
Daniel Grund and
Beno{\^{\i}}t Dupont de Dinechin and
Fabrice Rastello},
editor = {Mary Lou Soffa and
Evelyn Duesterwald},
title = {Fast liveness checking for ssa-form programs},
booktitle = {Sixth International Symposium on Code Generation and Optimization
{(CGO} 2008), April 5-9, 2008, Boston, MA, {USA}},
pages = {35--44},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1356058.1356064},
doi = {10.1145/1356058.1356064},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cgo/BoissinotHGDR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HackG08,
author = {Sebastian Hack and
Gerhard Goos},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Copy coalescing by graph recoloring},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {227--237},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375610},
doi = {10.1145/1375581.1375610},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HackG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Hack2007,
author = {Sebastian Hack},
title = {Register allocation for programs in {SSA} form},
school = {Karlsruhe Institute of Technology, Germany},
year = {2007},
url = {http://www.uvka.de/univerlag/volltexte/2007/277/},
urn = {urn:nbn:de:0072-71663},
isbn = {978-3-86644-180-4},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Hack2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/GrundH07,
author = {Daniel Grund and
Sebastian Hack},
editor = {Shriram Krishnamurthi and
Martin Odersky},
title = {A Fast Cutting-Plane Algorithm for Optimal Coalescing},
booktitle = {Compiler Construction, 16th International Conference, {CC} 2007, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2007, Braga, Portugal, March 26-30, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4420},
pages = {111--125},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71229-9\_8},
doi = {10.1007/978-3-540-71229-9\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/GrundH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HackG06,
author = {Sebastian Hack and
Gerhard Goos},
title = {Optimal register allocation for SSA-form programs in polynomial time},
journal = {Inf. Process. Lett.},
volume = {98},
number = {4},
pages = {150--155},
year = {2006},
url = {https://doi.org/10.1016/j.ipl.2006.01.008},
doi = {10.1016/J.IPL.2006.01.008},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/HackG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/HackGG06,
author = {Sebastian Hack and
Daniel Grund and
Gerhard Goos},
editor = {Alan Mycroft and
Andreas Zeller},
title = {Register Allocation for Programs in SSA-Form},
booktitle = {Compiler Construction, 15th International Conference, {CC} 2006, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2006, Vienna, Austria, March 30-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3923},
pages = {247--262},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11688839\_20},
doi = {10.1007/11688839\_20},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/HackGG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/GeissBGHS06,
author = {Rubino Gei{\ss} and
Gernot Veit Batz and
Daniel Grund and
Sebastian Hack and
Adam Szalkowski},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {GrGen: {A} Fast SPO-Based Graph Rewriting Tool},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {383--397},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_27},
doi = {10.1007/11841883\_27},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/GeissBGHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-10 23:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
