Publications

  1. Composing Secure Compilers

    Matthis Kruse, Marco Patrignani

    ACM SIGPLAN Workshop on Principles of Secure Compilation, 2022

  2. Automatic Optimizations for Stream-Based Monitoring Languages

    Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger

    Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings

  3. AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation

    André Müller, Bertil Schmidt, Andreas Hildebrandt, Richard Membarth, Roland Leißa, Matthis Kruse, Sebastian Hack

    2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), New Orleans, LA, USA, May 18-22, 2020