- The Impact of the SIMD Width on Control-Flow and Memory Divergence - TACO 2015
Schaub, T., Moll, S., Karrenberg, R. and Hack, S.
ACM Transactions on Architecture and Code Optimization, 11 (4): 54:1–54:25, 2015.
[doi]
[url]
[bib]
@article{Schaub:2015:SIMD,
author = {Schaub, Thomas and Moll, Simon and Karrenberg, Ralf and Hack, Sebastian},
title = {{T}he {I}mpact of the {SIMD} {W}idth on {C}ontrol-{F}low and {M}emory {D}ivergence},
journal = {ACM Transactions on Architecture and Code Optimization},
booktitle_short = {TACO},
issue_date = {January 2015},
volume = {11},
number = {4},
month = jan,
year = {2015},
issn = {1544-3566},
pages = {54:1--54:25},
articleno = {54},
numpages = {25},
url = {http://doi.acm.org/10.1145/2687355},
doi = {10.1145/2687355},
acmid = {2687355},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Data parallelism, GPGPU, OpenCL, SIMD, divergent control flow, memory access patterns, performance analysis, vectorization},
}
- Partial Control-flow Linearization - PLDI 2018
Moll, S. and Hack, S.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 543–556, ACM, 2018.
[doi]
[url]
[pdf]
[bib]
@conference{MH:PLDI18,
author = {Moll, Simon and Hack, Sebastian},
title = {{P}artial {C}ontrol-flow {L}inearization},
booktitle = {Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation},
series = {PLDI 2018},
booktitle_short = {PLDI},
year = {2018},
isbn = {978-1-4503-5698-5},
location = {Philadelphia, PA, USA},
pages = {543--556},
numpages = {14},
url = {http://doi.acm.org/10.1145/3192366.3192413},
doi = {10.1145/3192366.3192413},
acmid = {3192413},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Compiler optimizations, SIMD, SPMD},
webpdf={http://compilers.cs.uni-saarland.de/papers/moll_parlin_pldi18.pdf},
}
- Input Space Splitting for OpenCL - CC 2016
Moll, S., Doerfert, J. and Hack, S.
Proceedings of the 25th International Conference on Compiler Construction, pages 251–260, ACM, 2016.
[doi]
[url]
[pdf]
[bib]
@Conference{MDH:2016:pollocl,
author = {Moll, Simon and Doerfert, Johannes and Hack, Sebastian},
title = {{I}nput {S}pace {S}plitting for {O}pen{CL}},
booktitle = {Proceedings of the 25th International Conference on Compiler Construction},
series = {CC 2016},
booktitle_short = {CC},
year = {2016},
isbn = {978-1-4503-4241-4},
location = {Barcelona, Spain},
pages = {251--260},
numpages = {10},
url = {http://doi.acm.org/10.1145/2892208.2892217},
doi = {10.1145/2892208.2892217},
acmid = {2892217},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Divergence, OpenCL, Polyhedral Representation, SPMD, Vectorization},
webpdf={http://compilers.cs.uni-saarland.de/papers/moll_pollocl.pdf}
}
- Bounds Check Hoisting for AddressSanitizer
Moll, S., Nazaré, H., Machado, G. V. and Rodrigues, R. E.
Proceedings of the 18th Brazilian Symposium on Programming Languages, SBLP 2014, Maceio, Brazil., pages 47–61, Springer International Publishing, 2014.
[doi]
[url]
[bib]
@Conference{Moll:2014:fasan,
author = {Moll, Simon and Nazar{\'e}, Henrique and Machado, Gustavo Vieira and Rodrigues, Raphael Ernani},
title = {{B}ounds {C}heck {H}oisting for {A}ddress{S}anitizer},
booktitle = {Proceedings of the 18th Brazilian Symposium on Programming Languages, SBLP 2014, Maceio, Brazil.},
series = {LNCS},
volume = {8771},
year = {2014},
publisher = {Springer International Publishing},
pages = {47--61},
isbn = {978-3-319-11863-5},
doi = {10.1007/978-3-319-11863-5_4},
url = {http://dx.doi.org/10.1007/978-3-319-11863-5_4}
}
- Multi-dimensional Vectorization in LLVM - WPMVP 2019
Moll, S., Sharma, S., Kurtenacker, M. and Hack, S.
Proceedings of the 5th Workshop on Programming Models for SIMD/Vector Processing, pages 3, 2019.
[pdf]
[bib]
@inproceedings{MSKH:WPMVP19,
title = {{M}ulti-dimensional {V}ectorization in {LLVM}},
author = {Moll, Simon and Sharma, Shrey and Kurtenacker, Matthias and Hack, Sebastian},
booktitle = {Proceedings of the 5th Workshop on Programming Models for SIMD/Vector Processing},
booktitle_short = {WPMVP},
pages = {3},
year = {2019},
organization = {ACM},
webpdf = {http://compilers.cs.uni-saarland.de/papers/moll_tensorrv_wpmvp19.pdf}
}
- A Data Layout Transformation for Vectorizing Compilers - WPMVP 2018
Pérard-Gayot, A., Membarth, R., Slusallek, P., Moll, S., Leißa, R. and Hack, S.
Proceedings of the 2018 4th Workshop on Programming Models for SIMD/Vector Processing, pages 7:1–7:8, ACM, 2018.
[doi]
[url]
[bib]
@inproceedings{PMS:WPMVP18,
author = {P{\'e}rard-Gayot, Ars\`{e}ne and Membarth, Richard and Slusallek, Philipp and Moll, Simon and Lei\ssa, Roland and Hack, Sebastian},
title = {{A} {D}ata {L}ayout {T}ransformation for {V}ectorizing {C}ompilers},
booktitle = {Proceedings of the 2018 4th Workshop on Programming Models for SIMD/Vector Processing},
series = {WPMVP'18},
booktitle_short = {WPMVP},
year = {2018},
isbn = {978-1-4503-5646-6},
location = {Vienna, Austria},
pages = {7:1--7:8},
articleno = {7},
numpages = {8},
url = {http://doi.acm.org/10.1145/3178433.3178440},
doi = {10.1145/3178433.3178440},
acmid = {3178440},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Compiler, Optimization, Vectorization},
}
- PACXXv2 + RV: An LLVM-based Portable High-Performance Programming Model
Haidl, M., Moll, S., Klein, L., Sun, H., Hack, S. and Gorlatch, S.
Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in HPC, pages 7:1–7:12, ACM, 2017.
[doi]
[url]
[bib]
@inproceedings{HMea:LLVMHPC17,
author = {Haidl, Michael and Moll, Simon and Klein, Lars and Sun, Huihui and Hack, Sebastian and Gorlatch, Sergei},
title = {PACXXv2 + RV: An LLVM-based Portable High-Performance Programming Model},
booktitle = {Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in HPC},
series = {LLVM-HPC'17},
year = {2017},
isbn = {978-1-4503-5565-0},
location = {Denver, CO, USA},
pages = {7:1--7:12},
articleno = {7},
numpages = {12},
url = {http://doi.acm.org/10.1145/3148173.3148185},
doi = {10.1145/3148173.3148185},
acmid = {3148185},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {C++14, Compilers, LLVM, Performance, Vectorization},
}
- Synthesizing Hot Code Paths by Abductive Reasoning - CPC 2015 (no published proceedings)
Moll, S. and Hack, S.
The 18th International Workshop on Compilers for Parallel Computing, 2015 (no published proceedings).
[pdf]
[bib]
@INPROCEEDINGS{MH:2015:abduct,
author = {Simon Moll and Sebastian Hack},
title = {{S}ynthesizing {H}ot {C}ode {P}aths by {A}bductive {R}easoning},
booktitle = {The 18th International Workshop on Compilers for Parallel Computing},
booktitle_short = {CPC},
year = {2015 (no published proceedings)},
webpdf={http://compilers.cs.uni-saarland.de/papers/moll_hotcodepaths_cpc15.pdf}
}
