| Flix: A meta programming language for Datalog M Madsen, JL Starup, O Lhoták Datalog 2.0 2022: 4th International Workshop on the Resurgence of Datalog in …, 2022 | 5 | 2022 |
| Further unifying the landscape of cell probe lower bounds K Green Larsen, J Lindegaard Starup, J Steensgaard Symposium on Simplicity in Algorithms (SOSA), 224-231, 2021 | 2 | 2021 |
| From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers M Müller, P Schuster, JL Starup, K Ostermann, JI Brachthäuser Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 941-970, 2023 | | 2023 |
| Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact) M Madsen, JL Starup, M Lutze Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023 | | 2023 |
| Restrictable Variants: A Simple and Practical Alternative to Extensible Variants M Madsen, JL Starup, M Lutze 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023 | | 2023 |
| Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints JL Starup, M Madsen, O Lhoták 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023 | | 2023 |
Kasper Green LarsenProfessor, Computer Science, Aarhus UniversityVerified email at cs.au.dk
