Matthis Kruse

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Gpu Accelerated

Partial Evaluation

Sequence Alignment

Top Venues

Publications

Matthis Kruse, Michael Backes, Marco Patrignani
Secure Composition of Robust and Optimising Compilers. CoRR (2023)
Jonas Wolpers Reholt, Robert Glück, Matthis Kruse
Towards a Dereversibilizer: Fewer Asserts, Statically. RC (2023)
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger
Automatic Optimizations for Stream-Based Monitoring Languages. RV (2020)
André Müller, Bertil Schmidt, Andreas Hildebrandt, Richard Membarth, Roland Leißa, Matthis Kruse, Sebastian Hack
AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation. IPDPS (2020)
André Müller, Bertil Schmidt, Andreas Hildebrandt, Richard Membarth, Roland Leißa, Matthis Kruse, Sebastian Hack
AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation. CoRR (2020)
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger
Automatic Optimizations for Stream-based Monitoring Languages. CoRR (2020)