Group Photo Computer Science Summer Camp 2019

Dr. Julien Klaus

Group Photo Computer Science Summer Camp 2019
Image: Anne Günther (University of Jena)
Julien Klaus
Professorship of Theoretical Computer Science II
Julien Klaus
Image: Julien Klaus
Room 3312
Ernst-Abbe-Platz 1-2
07743 Jena Google Maps site planExternal link

Research Projects

  • SQL-EinsumExternal link: Mapping Einsum Expressions to SQL
  • LinaExternal link: Mapping Linear Algebra Expressions to Efficient Code
  • Einsum: Thinking about Tensor Algorithmics
  • Convexity Certificates: Determining Convexity for Scalar-Valued Functions over Vectors
  • ParsGenExternal link: Generating Parser Code out of EBNF Grammars


  • A. Goral, J. Giesen, M. Blacher, C. Staudt and J. Klaus. Model Counting and Sampling via Semiring Extensions. Proceedings of the 38d AAAI Conference on Artificial Intelligence (AAAI), 2024
  • J. Klaus, M. Blacher, J. Giesen. Compiling Tensor Expressions into Einsum.  Proceedings of the 23d International Conference on Computational Science (ICCS), 2023
  • M. Blacher, J. Giesen, J. Klaus, C. Staudt, S. Laue, and V. Leis. Efficient and Portable Einstein Summation in SQL. Proceedings of the 49th ACM SIGMOD Conference on Management of Data (SIGMOD), 2023 (PDFpdf, 765 kb · de)
  • J. Klaus, M. Blacher, A. Goral, P. Lucas, J. Giesen. A visual analytics workflow for probabilistic modeling. Visual Informatics, Vol. 7, 2023 (PDFExternal link)
  • J. Klaus, K. Wiedom,  N. Merk, S. Laue and J. Giesen. Convexity Certificates from Hessians.  Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS), 2022 (PDFExternal link)
  • J. Klaus, M. Blacher, J. Giesen, P. Rump and K. Wiedom
    Compiling Linear Algebra Expressions into Efficient Code. Proceedings of the 22nd International Conference on Computational Science (ICCS), 2022 ( link)
  • Mark Blacher, Joachim Giesen, Sören Laue, Julien Klaus, Matthias Mitterreiter
    Fast Entity Resolution With Mock Labels and Sorted Integer Sets. Proceedings of the 2nd International Workshop on Challenges and Experiences from Data Integration to Knowledge Graphs co-located with 46th International Conference on Very Large Data Bases, 2020 ( link)
  • Mark Blacher, Joachim Giesen, Sören Laue, Julien Klaus, Viktor Leis
    Machine Learning, Linear Algebra, and More: Is SQL All You Need? Proceedings of the Conference on Innovative Data Systems Research (CIDR), 2022 ( link)
  • Joachim Giesen and Julien Klaus and Sören Laue and Ferdinand Schreck
    Visualization Support for Developing a Matrix Calculus Algorithm: A Case Study. Computer Graphics Forum, 2019 ( link)

Supervised Student Theses

  • Exploring Einsum as a Universal Inference Language, 2023
  • Steigerung der Performance in Vdeospielen durch Datenorientierte Programmierung, 2023
  • Designing and Implementing a Tensor Calculus, 2022
  • Parsergenerierung aus EBNF Grammatiken, 2021
  • Certifying Convexity Using a Positivity Calculus, 2021
  • Compiling Probabilistic Programs into Sum-Product Networks, 2020
  • Using the dual problem of Neural Networks for probabilistic modeling of classification problems, 2020
  • Automatische Generierung von Elementadressen für Objekt-Repositories in der Testautomatisierung, 2020
  • Algorithms on Graph Triangulation, 2019
  • Interaktive Konstruktion von Tensorausdrücken, 2018
  • Rendering Tensor Expressions, 2018
  • Construction of a Graphical Tensor Language, 2017

Other Projects

Sommercamp 2019 Interview

Group Photo Computer Science Summer Camp 2019
Image: Anne Günther (University of Jena)