AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation. - André Müller; Bertil Schmidt; Andreas Hildebrandt 001; Richard Membarth; Roland Leißa; Matthis Kruse; Sebastian Hack (IPDPS, 2020)

Automatic Optimizations for Stream-Based Monitoring Languages. - Jan Baumeister; Bernd Finkbeiner; Matthis Kruse; Maximilian Schwenger (RV, 2020)

Towards a Dereversibilizer: Fewer Asserts, Statically. - Jonas Wolpers Reholt; Robert Glück; Matthis Kruse (RC, 2023)

Secure Composition of Robust and Optimising Compilers. - Matthis Kruse; Michael Backes 001; Marco Patrignani (CoRR, 2023)