Contact

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

Roland Leißa

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

  • AnyHLS: High-Level Synthesis with Partial Evaluation
    Özkan, M. A., Pérard-Gayot, A., Membarth, R., Slusallek, P., Leißa, R., Hack, S., Teich, J. and Hannig, F.
    CoRR, abs/2002.05796, 2020. [url] [pdf] [bib]
  • Rodent: generating renderers without writing a generator - SIGGRAPH 2019
    Pérard-Gayot, A., Membarth, R., Leißa, R., Hack, S. and Slusallek, P.
    ACM Trans. Graph., 38 (4): 40:1–40:12, 2019. [doi] [url] [pdf] [bib]
  • 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

  • AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation - IPDPS 2020
    Müller, A., Schmidt, B., Hildebrandt, A., Membarth, R., Kruse, M., Leißa, R. and Hack, S.
    Proceedings of the 34th IEEE International Parallel \& Distributed Processing Symposium (IPDPS), pages 1–11, 2020. [pdf] [bib]
  • AnyDSL: a partial evaluation framework for programming high-performance libraries - OOPSLA 2018
    Leißa, R., Boesche, K., Hack, S., Pérard-Gayot, A., Membarth, R., Slusallek, P., Müller, A. and Schmidt, B.
    International Conference on Object Oriented Programming Systems, Languages and Applications, pages 119:1–119:30, 2018. [doi] [url] [pdf] [bib]
  • 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

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

PhD Thesis

  • Language Support for Programming High-Performance Code
    Leißa, R.
    Ph.D. Thesis, Saarland University, Saarbrücken, Germany, 2017. [url] [bib]

MSc Thesis

  • Automatic SIMD Code Generation
    Leißa, R.
    M.Sc. Thesis, Westfälische Wilhelms-Universität Münster, 2010. [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

  • A Partial Evaluation Framework for Programming High-Performance Libraries
    HiPEAC, Edinburgh, April 16, 2019
  • AnyDSL: Building Domain-Specific Languages for Productivity and Performance
    SPLS, Edinburgh, June 5, 2018
  • 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