Alnis Murtovi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2018–2025
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICAART | An Efficient Compilation-Based Approach to Explaining Random Forests Through Decision Trees. | Alnis Murtovi, Maximilian Schlter, Bernhard Steffen |
| 2024 | CGO | Enhancing Performance Through Control-Flow Unmerging and Loop Unrolling on GPUs. | Alnis Murtovi, Giorgis Georgakoudis, Konstantinos Parasyris, Chunhua Liao, Ignacio Laguna, Bernhard Steffen |
| 2022 | TACAS | Forest GUMP: A Tool for Explanation. | Alnis Murtovi, Alexander Bainczyk, Bernhard Steffen |
| 2021 | VMCAI | Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper). | Bernhard Steffen, Alnis Murtovi |
| 2019 | TACAS | RERS 2019: Combining Synthesis with Real-World Models. | Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager |
| 2018 | FMICS | M3C: Modal Meta Model Checking. | Bernhard Steffen, Alnis Murtovi |
| 2018 | ISoLA | DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering. | Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen |