Simon Moll MSc

Contact

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

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

  • 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

  • Synthesizing Hot Code Paths by Abductive Reasoning - CPC '15 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 2016

Winter 2015

Summer 2015