Simon Moll

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 7

Top Topics

Abstract Interpretation

Top Venues

Proc. ACM Program. Lang.

Publications

Julian Rosemann, Simon Moll, Sebastian Hack
An abstract interpretation for SPMD divergence on reducible control flow graphs. Proc. ACM Program. Lang. 5 (POPL) (2021)
Tim Cramer, Boris Kosmynin, Simon Moll, Manoel Römmer, Erich Focht, Matthias S. Müller
Evaluating the Performance of OpenMP Offloading on the NEC SX-Aurora TSUBASA Vector Engine. Supercomput. Front. Innov. 8 (2) (2021)
Mowafa S. Househ, Fahad Alshagathrh, Mohamed Khalifa, Khaled Al-Surimi, Simon Moll, Yassir Alsaab, Abdulrahman Alanazi, Abdulmajeed Alhamad, Mansoor Ali Baig, Jawad Afzal
Developing a Policy and Procedure Framework and Manual for a National Comprehensive Implantable Medical Device Registry in Saudi Arabia. ICIMTH (2018)
Simon Moll, Sebastian Hack
Partial control-flow linearization. PLDI (2018)
Arsène Pérard-Gayot, Richard Membarth, Philipp Slusallek, Simon Moll, Roland Leißa, Sebastian Hack
A Data Layout Transformation for Vectorizing Compilers. WPMVP@PPoPP (2018)
Michael Haidl, Simon Moll, Lars Klein, Huihui Sun, Sebastian Hack, Sergei Gorlatch
PACXXv2 + RV: An LLVM-based Portable High-Performance Programming Model. LLVM-HPC@SC (2017)
Simon Moll, Johannes Doerfert, Sebastian Hack
Input space splitting for OpenCL. CC (2016)
Thomas Schaub, Simon Moll, Ralf Karrenberg, Sebastian Hack
The Impact of the SIMD Width on Control-Flow and Memory Divergence. ACM Trans. Archit. Code Optim. 11 (4) (2014)
Simon Moll, Henrique Nazaré, Gustavo Vieira Machado, Raphael Ernani Rodrigues
Bounds Check Hoisting for AddressSanitizer. SBLP (2014)