| AnySeq: a high performance sequence alignment library based on partial evaluation A Müller, B Schmidt, A Hildebrandt, R Membarth, R Leißa, M Kruse, ... 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS …, 2020 | 7 | 2020 |
| Automatic optimizations for stream-based monitoring languages J Baumeister, B Finkbeiner, M Kruse, M Schwenger Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020 | 5 | 2020 |
| Towards a Dereversibilizer: Fewer Asserts, Statically JW Reholt, R Glück, M Kruse International Conference on Reversible Computation, 106-114, 2023 | 2 | 2023 |
| Secure Composition of Robust and Optimising Compilers M Kruse, M Backes, M Patrignani arXiv preprint arXiv:2307.08681, 2023 | 1 | 2023 |
| Composing Secure Compilers M Kruse, M Patrignani Workshop on Principles of Secure Compilation, 2022 | 1 | 2022 |
| Automatic Optimizations for Runtime Verification Specifications JAN BAUMEISTER, B FINKBEINER, M KRUSE, S OSWALD, N PASSING, ... | | |
| Blame-Preserving Secure Compilation M Patrignani, M Kruse | | |
Marco PatrignaniAssistant Professor at University of TrentoGeverifieerd e-mailadres voor unitn.it
