Müller, Marius ; Schuster, Philipp ; Starup, Jonathan Lindegaard..
https://github.com/ps-tuebingen/oopsla-2023-liftinference-artifact/tree/v0.2.  , 2023

Starup, Jonathan Lindegaard ; Madsen, Magnus ; Lhoták, Ondřej
Starup , J L , Madsen , M & Lhoták , O 2023 , Breaking the Negative Cycle : Exploring the Design Space of Stratification for First-Class Datalog Constraints . in K Ali & G Salvaneschi (eds) , 37th European Conference on Object-Oriented Programming, ECOOP 2023 . , 31 , Dagstuhl Publishing , Leibniz International Proceedings in Informatics, LIPIcs , vol. 263 , 37th European Conference on Object-Oriented Programming, ECOOP 2023 , Seattle , United States , 17/07/2023 . https://doi.org/10.4230/LIPIcs.ECOOP.2023.31.  , 2023

Müller, Marius ; Schuster, Philipp ; Starup, Jonathan Lindegaard..
https://pure.au.dk/portal/da/publications/from-capabilities-to-regions(cb9cbd2d-8c67-4a0c-a85b-571cf8f17a41).html.  , 2023

Müller, Marius ; Schuster, Philipp ; Starup, Jonathan Lindegaard..
https://github.com/ps-tuebingen/oopsla-2023-liftinference-artifact/tree/v1.0.  , 2023

Madsen, Magnus ; Starup, Jonathan Lindegaard ; Lhoták, Ondřej
Madsen , M , Starup , J L & Lhoták , O 2022 , Flix : A Meta Programming Language for Datalog . in Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) . CEUR-WS.org , CEUR Workshop Proceedings , vol. 3203 , pp. 202-206 , Datalog 2.0 2022 , Genova , Italy , 05/09/2022 ..  , 2022

Larsen, Kasper Green ; Starup, Jonathan Lindegaard ; Steensgaard, Jesper
Larsen , K G , Starup , J L & Steensgaard , J 2021 , ' Further Unifying the Landscape of Cell Probe Lower Bounds ' , Paper presented at Happening virtually , - , 11/01/2021 - 12/01/2021 ..  , 2021

Larsen, Kasper Green ; Starup, Jonathan Lindegaard ; Steensgaard, Jesper
http://arxiv.org/abs/2008.05145.  , 2020