Roland Leißa Dipl.-Inform.

Contact

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

Research Interests

  • Compiler Construction (Intermediate Representations, Code Generation, Automatic Parallelization and Vectorization)
  • Continuation-Passing Style
  • Language Theory (Formal Semantics, Type Theory)
  • SIMD Programming
  • Domain-Specific Languages

Projects

  • AnyDSL: A Framework for rapid development of domain-specific languages.
  • SSA Construction: Simple and Efficient Construction of Static Single Assignment Form
  • Sierra: A SIMD extension for C++.

Teaching

Winter Term 2013

Winter Term 2012

Winter Term 2011

Publications

Journal Papers

  • Code Refinement of Stencil Codes - PPL 2014
    Köster, M., Leißa, R., Hack, S., Membarth, R. and Slusallek, P.
    Parallel Processing Letters, 24 (3): 1–16, 2014. [doi] [pdf] [bib]

Conferences

  • RaTrace: simple and efficient abstractions for BVH ray traversal algorithms - GPCE 2017
    Pérard-Gayot, A., Weier, M., Membarth, R., Slusallek, P., Leißa, R. and Hack, S.
    Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017, pages 157–168, 2017. [doi] [url] [bib]
  • A Graph-Based Higher-Order Intermediate Representation - CGO 2015
    (2nd place: Artifact Evaluation for CGO/PPoPP'15)

    Leißa, R., Köster, M. and Hack, S.
    International Symposium on Code Generation and Optimization, 2015. [doi] [url] [pdf] [bib]
  • Shallow Embedding of DSLs via Online Partial Evaluation - GPCE 2015
    (Best Paper Award)

    Leißa, R., Boesche, K., Hack, S., Membarth, R. and Slusallek, P.
    Proceedings of the 2015 International Conference on Generative Programming: Concepts and Experiences, 2015. [doi] [pdf] [bib]
  • Specialization through Dynamic Staging - GPCE 2014
    Danilewski, P., Köster, M., Leißa, R., Membarth, R. and Slusallek, P.
    Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences, pages 103–112, ACM, 2014. [doi] [pdf] [bib]
  • Simple and Efficient Construction of Static Single Assignment Form - CC 2013
    Braun, M., Buchwald, S., Hack, S., Leißa, R., Mallon, C. and Zwinkau, A.
    Compiler Construction, pages 102-122, Springer Berlin Heidelberg, 2013. [doi] [url] [pdf] [bib]
  • Extending a C-like Language for Portable SIMD Programming - PPoPP 2012
    Leißa, R., Hack, S. and Wald, I.
    Principles and Practice of Parallel Programming, 2012. [doi] [pdf] [bib]

Workshop Papers

  • Platform-Specific Optimization and Mapping of Stencil Codes through Refinement - HiStencils 2014
    Köster, M., Leißa, R., Hack, S., Membarth, R. and Slusallek, P.
    International Workshop on High-Performance Stencil Computations, 2014. [pdf] [bib]
  • Sierra: A SIMD Extension for C++ - WPMVP 2014
    Leißa, R., Haffner, I. and Hack, S.
    International Workshop on Programming Models for SIMD/Vector Processing, 2014. [doi] [pdf] [bib]
  • Target-Specific Refinement of Multigrid Codes - WOLFHPC 2014
    Membarth, R., Slusallek, P., Köster, M., Leißa, R. and Hack, S.
    International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing, pages 1–6, 2014. [doi] [pdf] [bib]

Technical Reports

  • Extending a C-like Language for Portable SIMD Programming
    Leißa, R., Hack, S. and Wald, I.
    [pdf] [bib]

MSc Thesis

  • Automatic SIMD Code Generation
    Leißa, R.
    M.Sc. Thesis, Westfälische Wilhelms-Universität Münster, 2010. [pdf] [bib]

BSc Thesis

  • Polynomfaktorisierung über endlichen Körpern
    Ernsting, M., Leißa, R. and Keuchel, S.
    B.Sc. Thesis, Westfälische Wilhelms-Universität Münster, 2008. [pdf] [bib]

Other

  • High-Performance Domain-Specific Languages for GPU Computing
    Membarth, R., Slusallek, P., Köster, M., Leißa, R. and Hack, S.
    [pdf] [bib]
  • Extending C/C++ for Portable SIMD Programming
    Leißa, R., Hack, S., Wald, I., Mark, W. R. and Pharr, M.
    [pdf] [bib]

Invited Talks

  • Effective Compilation of Higher-Order Programs
    EuroLLVM, Saarbrücken, March 27, 2017
  • AnyDSL: Building Domain-Specific Languages for Productivity and Performance
    WPMVP, Barcelona, March 13, 2016
  • User-Guided Optimization in High-Level Languages
    HLRS, Stuttgart, July 8, 2015
  • AnyDSL: A Compiler-Framework for Domain-Specific Libraries
    PASC, Zürich, June 2, 2015
  • Embedding DSLs with Partial Evaluation and Higher-Order Functions
    Oracle, Linz, March 19, 2015
  • User-Guided Optimization in High-Level Languages
    HLRS, Stuttgart, July 16, 2014
  • Implementing Efficient DSLs with Higher-Order Functions
    HiPEAC, Paris, May 3, 2013
  • Extending C/C++ for Portable SIMD Programming
    Intel Developer Forum, San Francisco, September 12, 2012
  • Extending a C-like Language for Portable SIMD Programming
    Intel Corporation, Santa Clara, November 28, 2011
  • Automatic SIMD Code Generation
    Saarland University, Saarbrücken, February 18, 2010