Follow
Simon Moll
Title
Cited by
Cited by
Year
Partial control-flow linearization
S Moll, S Hack
ACM SIGPLAN Notices 53 (4), 543-556, 2018
482018
Pacxxv2+ RV: an LLVM-based portable high-performance programming model
M Haidl, S Moll, L Klein, H Sun, S Hack, S Gorlatch
Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in …, 2017
242017
The impact of the SIMD width on control-flow and memory divergence
T Schaub, S Moll, R Karrenberg, S Hack
ACM Transactions on Architecture and Code Optimization (TACO) 11 (4), 1-25, 2015
232015
Input space splitting for OpenCL
S Moll, J Doerfert, S Hack
Proceedings of the 25th International Conference on Compiler Construction …, 2016
192016
Decompilation of LLVM IR
S Moll
Bachelor's Thesis, Saarland University, 2011
112011
An abstract interpretation for spmd divergence on reducible control flow graphs
J Rosemann, S Moll, S Hack
Proceedings of the ACM on Programming Languages 5 (POPL), 1-31, 2021
82021
Multi-dimensional Vectorization in LLVM
S Moll, S Sharma, M Kurtenacker, S Hack
Proceedings of the 5th Workshop on Programming Models for SIMD/Vector …, 2019
72019
A data layout transformation for vectorizing compilers
A Pérard-Gayot, R Membarth, P Slusallek, S Moll, R Leißa, S Hack
Proceedings of the 2018 4th Workshop on Programming Models for SIMD/Vector …, 2018
52018
Evaluating the performance of OpenMP offloading on the NEC SX-Aurora TSUBASA vector engine
T Cramer, B Kosmynin, S Moll, M Römmer, E Focht, MS Müller
Supercomputing Frontiers and Innovations 8 (2), 59-74, 2021
22021
Potential of LLVM for SX-Aurora
S Moll, M Kurtenacker, S Hack
Sustained Simulation Performance 2018 and 2019: Proceedings of the Joint …, 2020
12020
Vectorization system for unstructured codes with a Data-parallel Compiler IR
S Moll
Saarländische Universitäts-und Landesbibliothek, 2021
2021
Bounds Check Hoisting for AddressSanitizer
S Moll, H Nazaré, GV Machado, RE Rodrigues
Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil …, 2014
2014
Variants in Whole-Function Vectorization
S Moll
Synthesizing Hot Code Paths by Abductive Reasoning
S Moll, S Hack
The system can't perform the operation now. Try again later.
Articles 1–14