Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.