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

• Lecture: Compiler Construction

Winter Term 2012

• Seminar: Das Erfüllbarkeitsproblem SAT

Winter Term 2011

• Seminar: Mapping General Purpose Algorithms to Many- and Multicore Architectures

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]
  

  @article{DBLP:journals/corr/abs-2002-05796,
     author    = {M. Akif Özkan and Arsène Pérard-Gayot and Richard Membarth and Philipp Slusallek and Roland Lei{\ss}a and Sebastian Hack and J{\"{u}}rgen Teich and Frank Hannig},
     title     = {AnyHLS: High-Level Synthesis with Partial Evaluation},
     journal   = {CoRR},
     volume    = {abs/2002.05796},
     year      = {2020},
     url       = {https://arxiv.org/abs/2002.05796},
     archivePrefix = {arXiv},
     eprint    = {2002.05796},
     timestamp = {Mon, 02 Mar 2020 16:46:06 +0100},
     biburl    = {https://dblp.org/rec/journals/corr/abs-2002-05796.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     webpdf    = {https://arxiv.org/pdf/2002.05796.pdf}
   }

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

  @article{DBLP:journals/tog/Perard-GayotMLH19,
     author    = {Arsène Pérard-Gayot and Richard Membarth and Roland Lei{\ss}a and Sebastian Hack and Philipp Slusallek},
     title     = {Rodent: generating renderers without writing a generator},
     journal   = {{ACM} Trans. Graph.},
     volume    = {38},
     number    = {4},
     pages     = {40:1--40:12},
     year      = {2019},
     url       = {https://doi.org/10.1145/3306346.3322955},
     doi       = {10.1145/3306346.3322955},
     booktitle_short = {SIGGRAPH},
     timestamp = {Thu, 25 Jul 2019 14:10:56 +0200},
     biburl    = {https://dblp.org/rec/bib/journals/tog/Perard-GayotMLH19},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     webpdf    = {https://compilers.cs.uni-saarland.de/papers/perard-2019-siggraph-rodent.pdf}
   }

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

  @ARTICLE{KLHMS:2014:PPL,
       author          = {K{\"o}ster, Marcel and Lei{\ss}a, Roland and Hack, Sebastian and Membarth, Richard and Slusallek, Philipp},
       title           = {{C}ode {R}efinement of {S}tencil {C}odes},
       journal         = {Parallel Processing Letters},
       booktitle_short = {PPL},
       pages           = {1--16},
       volume          = {24},
       number          = {3},
       year            = 2014,
       month           = sep,
       date            = {2014-09},
       doi             = {10.1142/S0129626414410035},
       publisher       = {World Scientific},
       webpdf          = {http://www.cdl.uni-saarland.de/papers/ppl14_web.pdf},
   }

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]
  

  @conference{mueller2020anyseq,
     author          = {Müller, André and Schmidt, Bertil and Hildebrandt, Andreas and Membarth, Richard and Kruse, Matthis and Leißa, Roland and Hack, Sebastian},
     address         = {New Orleans, LA, USA},
     booktitle       = {Proceedings of the 34th IEEE International Parallel \& Distributed Processing Symposium (IPDPS)},
     booktitle_short = {IPDPS},
     title           = {{AnySeq}: A High Performance Sequence Alignment Library based on Partial Evaluation},
     pages           = {1--11},
     year            = 2020,
     month           = may,
     date            = {2020-05-18/2020-05-22},
     doi             = {},
     organization    = {IEEE},
     webpdf          = {https://arxiv.org/pdf/2002.04561.pdf},
   }

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

  @conference{DBLP:journals/pacmpl/LeissaBHPMSMS18,
     author    = {Roland Lei{\ss}a and Klaas Boesche and Sebastian Hack and Arsène Pérard-Gayot and Richard Membarth and Philipp Slusallek and André Müller and Bertil Schmidt},
     title     = {AnyDSL: a partial evaluation framework for programming high-performance libraries},
     booktitle = {International Conference on Object Oriented Programming Systems, Languages and Applications},
     booktitle_short = {OOPSLA},
     journal   = {{PACMPL}},
     volume    = {2},
     number    = {{OOPSLA}},
     pages     = {119:1--119:30},
     year      = {2018},
     url       = {http://doi.acm.org/10.1145/3276489},
     doi       = {10.1145/3276489},
     timestamp = {Fri, 26 Oct 2018 16:39:22 +0200},
     biburl    = {https://dblp.org/rec/bib/journals/pacmpl/LeissaBHPMSMS18},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     webpdf    = {http://compilers.cs.uni-saarland.de/papers/anydsl.pdf}
   }

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

  @conference{DBLP:conf/gpce/Perard-GayotWMS17,
     author    = {Arsène Pérard-Gayot and Martin Weier and Richard Membarth and Philipp Slusallek and Roland Lei{\ss}a and Sebastian Hack},
     title     = {RaTrace: simple and efficient abstractions for {BVH} ray traversal algorithms},
     booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Conference on Generative Programming: Concepts and Experiences, {GPCE} 2017, Vancouver, BC, Canada, October 23-24, 2017},
     booktitle_short = {GPCE},
     pages     = {157--168},
     year      = {2017},
     url       = {http://doi.acm.org/10.1145/3136040.3136044},
     doi       = {10.1145/3136040.3136044},
     timestamp = {Mon, 30 Oct 2017 18:48:34 +0100},
     biburl    = {http://dblp.org/rec/bib/conf/gpce/Perard-GayotWMS17},
     bibsource = {dblp computer science bibliography, http://dblp.org}
   }

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

  @CONFERENCE{LKH:2015,
       author          = {Roland Lei{\ss}a and Marcel K{\"o}ster and Sebastian Hack},
       title           = {A {G}raph-{B}ased {H}igher-{O}rder {I}ntermediate {R}epresentation},
       booktitle       = {International Symposium on Code Generation and Optimization},
       booktitle_short = {CGO},
       year            = {2015},
       url             = {http://www.cdl.uni-saarland.de/artifacts/cgo2015.php},
       webpdf          = {http://www.cdl.uni-saarland.de/papers/lkh15_cgo.pdf},
       doi             = {10.1109/CGO.2015.7054200},
       award           = {2nd place: Artifact Evaluation for CGO/PPoPP'15},
       acc_rate        = {28.4},
       accepted        = {25},
       submitted       = {88},
   }

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

  @CONFERENCE{LBHMS:2015,
       author          = {Roland Lei{\ss}a and Klaas Boesche and Sebastian Hack and Richard Membarth and Philipp Slusallek},
       title           = {Shallow Embedding of {DSLs} via Online Partial Evaluation},
       booktitle       = {Proceedings of the 2015 International Conference on Generative Programming: Concepts and Experiences},
       doi             = {10.1145/2814204.2814208},
       booktitle_short = {GPCE},
       webpdf          = {http://www.cdl.uni-saarland.de/papers/gpce15.pdf},
       award           = {Best Paper Award},
       year            = {2015},
   }

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

  @CONFERENCE{DKLMS:2014,
       author = {Piotr Danilewski and Marcel K{\"o}ster and Roland Lei{\ss}a and Richard Membarth and Philipp Slusallek},
       title = {Specialization through Dynamic Staging},
       booktitle = {Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences},
       booktitle_short = {GPCE},
       year = {2014},
       location = {V\&\#228;ster\&\#229;s, Sweden},
       doi = {10.1145/2658761.2658774},
       isbn = {978-1-4503-3161-6},
       pages = {103--112},
       webpdf = {http://www.cdl.uni-saarland.de/papers/gpce14.pdf},
       numpages = {10},
       acmid = {2658774},
       publisher = {ACM},
       address = {New York, NY, USA},
       keywords = {Dynamic staging, code specialization, partial evaluation},
   }

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

  @conference{BBHLMZ:2013:ssa,
     title = {{S}imple and {E}fficient {C}onstruction of {S}tatic {S}ingle {A}ssignment {F}orm},
     booktitle = {Compiler Construction},
     booktitle_short = {CC},
     year = {2013},
     publisher = {Springer Berlin Heidelberg},
     volume = {7791},
     pages = {102-122},
     author = {Matthias Braun and Sebastian Buchwald and Sebastian Hack and Roland Lei{\ss}a and Christoph Mallon and Andreas Zwinkau},
     editor = {Jhala, Ranjit and Bosschere, Koen},
     series = {Lecture Notes in Computer Science},
     url = {http://www.cdl.uni-saarland.de/projects/ssaconstr},
     webpdf = {http://www.cdl.uni-saarland.de/papers/bbhlmz13cc.pdf},
     doi = {10.1007/978-3-642-37051-9_6},
   }

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

  @CONFERENCE{LHW:2012:vecimp,
   	author = {Roland Lei{\ss}a and Sebastian Hack and Ingo Wald},
   	title = {{E}xtending a {C}-like {L}anguage for {P}ortable {SIMD} {P}rogramming},
   	booktitle = {Principles and Practice of Parallel Programming},
   	booktitle_short = {PPoPP},
   	year = {2012},
   	doi = {10.1145/2145816.2145825},
   	acc_rate = {14.9},
   	accepted = {26},
   	submitted = {175},
       webpdf  = {http://www.cdl.uni-saarland.de/papers/leissa_vecimp.pdf},
   }

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]
  

  @inproceedings{PMS:WPMVP18,
    author = {P{\'e}rard-Gayot, Ars\`{e}ne and Membarth, Richard and Slusallek, Philipp and Moll, Simon and Lei\ssa, Roland and Hack, Sebastian},
    title = {{A} {D}ata {L}ayout {T}ransformation for {V}ectorizing {C}ompilers},
    booktitle = {Proceedings of the 2018 4th Workshop on Programming Models for SIMD/Vector Processing},
    series = {WPMVP'18},
     booktitle_short = {WPMVP},
    year = {2018},
    isbn = {978-1-4503-5646-6},
    location = {Vienna, Austria},
    pages = {7:1--7:8},
    articleno = {7},
    numpages = {8},
    url = {http://doi.acm.org/10.1145/3178433.3178440},
    doi = {10.1145/3178433.3178440},
    acmid = {3178440},
    publisher = {ACM},
    address = {New York, NY, USA},
    keywords = {Compiler, Optimization, Vectorization},
   }

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

  @INPROCEEDINGS{KLHMS:2014:Impala,
       author = {Marcel K{\"o}ster and Roland Lei{\ss}a and Sebastian Hack and Richard Membarth and Philipp Slusallek},
       title = {Platform-Specific Optimization and Mapping of Stencil Codes through Refinement},
       booktitle = {International Workshop on High-Performance Stencil Computations},
       booktitle_short = {HiStencils},
       year = {2014},
       webpdf = {http://www.cdl.uni-saarland.de/papers/klhms14.pdf},
       location = {Vienna, Austria},
       numpages = {6},
   }

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

  @INPROCEEDINGS{LHH:2014:Sierra,
       author = {Roland Lei{\ss}a and Immanuel Haffner and Sebastian Hack},
       title = {{S}ierra: {A} {SIMD} {E}xtension for {C}++},
       booktitle = {International Workshop on Programming Models for SIMD/Vector Processing},
       booktitle_short = {WPMVP},
       year = {2014},
       doi = {10.1145/2568058.2568062},
       webpdf = {http://www.cdl.uni-saarland.de/papers/lhh14.pdf},
       location = {Orlando, Florida},
       numpages = {8},
   }

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

  @INPROCEEDINGS{MSKLH:2014:WOLFHPC,
       author          = {Membarth, Richard and Slusallek, Philipp and K{\"o}ster, Marcel and Lei{\ss}a, Roland and Hack, Sebastian},
       address         = {New Orleans, LA, USA},
       booktitle       = {International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing},
       booktitle_short = {WOLFHPC},
       title           = {{T}arget-{S}pecific {R}efinement of {M}ultigrid {C}odes},
       pages           = {1--6},
       year            = 2014,
       month           = nov,
       date            = {2014-11-17},
       doi             = {10.1109/WOLFHPC.2014.5},
       organization    = {IEEE},
       webpdf          = {http://www.cdl.uni-saarland.de/papers/wolfhpc14.pdf},
   }

Technical Reports

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

  @TECHREPORT{LHW:2012:vecimp:techreport,
   	author = {Roland Lei{\ss}a and Sebastian Hack and Ingo Wald},
   	title = {Extending a C-like Language for Portable SIMD Programming},
   	year = {2012},
       institution = { Saarland University },
       note={The full version of our PPoPP'12 paper available online at \url{http://www.cdl.uni-saarland.de/projects/vecimp}},
       webpdf  = {http://www.cdl.uni-saarland.de/papers/leissa_vecimp_tr.pdf},
   }

PhD Thesis

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

  @phdthesis{DBLP:phd/dnb/Leissa17,
     author    = {Roland Lei{\ss}a},
     title     = {Language Support for Programming High-Performance Code},
     school    = {Saarland University, Saarbrücken, Germany},
     year      = {2017},
     url       = {https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/27016},
     urn       = {urn:nbn:de:bsz:291-scidok-ds-271284},
     timestamp = {Tue, 08 May 2018 13:05:40 +0200},
     biburl    = {https://dblp.org/rec/bib/phd/dnb/Leissa17},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }

MSc Thesis

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

  @MASTERSTHESIS{Leissa:2010:DA,
       author = {Roland Lei{\ss}a},
       title = { {A}utomatic {SIMD} {C}ode {G}eneration },
       school = { Westfälische Wilhelms-Universität Münster },
       year = {2010},
       month = {March},
       webpdf  = {http://www.cdl.uni-saarland.de/publications/theses/leissa_dipl.pdf},
   }

Other

• High-Performance Domain-Specific Languages for GPU Computing
  Membarth, R., Slusallek, P., Köster, M., Leißa, R. and Hack, S.
  [pdf] [bib]
  

  @MISC{MSKLH:2014:AnyDSL,
       author = {Richard Membarth and Philipp Slusallek and Marcel K{\"o}ster and Roland Lei{\ss}a and Sebastian Hack},
       title = {High-Performance Domain-Specific Languages for GPU Computing},
       month = {March},
       year = {2014},
       howpublished = {GPU Technology Conference (GTC)},
       series = {GTC},
       location = {San Jose, California},
       webpdf = {http://anydsl.github.io/images/anydsl.pdf},
   }

• Extending C/C++ for Portable SIMD Programming
  Leißa, R., Hack, S., Wald, I., Mark, W. R. and Pharr, M.
  [pdf] [bib]
  

  @MISC{LHWMP:2013:Sierra,
       author = {Roland Lei{\ss}a and Sebastian Hack and Ingo Wald and William R. Mark and Matt Pharr},
       title = {Extending {C/C++} for Portable {SIMD} Programming},
       series = {IDF},
       month = {September},
       year = {2013},
       howpublished = {Intel Developer Forum (IDF)},
       location = {San Francisco, California},
       webpdf = {http://www.cdl.uni-saarland.de/papers/lhwmp_sierra.pdf},
   }

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