Contact

Tel_+49 681 302-57521
Mail_
Room_431
Address_Saarland Informatics Campus
Building E1 3
66123 Saarbrücken
Germany

Simon Moll

Research Interests

  • Vectorization
  • Pre-condition synthesis for program optimization
  • Combining static analyses and SMT solving
  • Synthesis and Verification in compilers

Publications

Journal Papers

  • 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]

Conferences

  • 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]
  • 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]
  • 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]

Workshop Papers

  • 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]
  • 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]
  • 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]
  • 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]

MSc Thesis

  • Variants in Whole-Function Vectorization
    Moll, S.
    M.Sc. Thesis, Saarland University, 2014. [pdf] [bib]

BSc Thesis

  • Decompilation of LLVM IR
    Moll, S.
    B.Sc. Thesis, Saarland University, 2011. [pdf] [bib]

Teaching

Summer 2018

Summer 2017

Summer 2016

Winter 2015

Summer 2015

Projects