Lina: Mapping Linear Algebra Expressions to Efficient Code
Einsum: Thinking about Tensor Algorithmics
Convexity Certificates: Determining Convexity for Scalar-Valued Functions over Vectors
ParsGen: Generating Parser Code out of EBNF Grammars
Publications
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)
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 (http://ceur-ws.org/Vol-2726/paper2.pdfExternal 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 (http://cidrdb.org/cidr2022/papers/p17-blacher.pdfExternal 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 (https://doi.org/10.1111/cgf.13694External 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