Matthis Kruse

According to our database, Matthis Kruse authored at least 4 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Secure Composition of Robust and Optimising Compilers.

Matthis Kruse, Michael Backes, Marco Patrignani

CoRR, 2023

Towards a Dereversibilizer: Fewer Asserts, Statically.

Jonas Wolpers Reholt, Robert Glück, Matthis Kruse

Proceedings of the Reversible Computation - 15th International Conference, 2023

2020

Automatic Optimizations for Stream-Based Monitoring Languages.

Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger

Proceedings of the Runtime Verification - 20th International Conference, 2020

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

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020