Scientific Publications

Bedarkar, K.; Elbeheiry, L.; Sammler, M.; Gäher, L.; Brandenburg, B.; Dreyer, D.; Garg, D.: RefinedProsa: Connecting Response-time Analysis with C Verification for Interrupt-free Schedulers. Proceedings of the ACM on Programming Languages 9 (PLDI), 150, pp. 1 - 25 (2025)

Berthé, V.; Ouaknine, J.; Vahanwala, M.; Worrell, J.; Karimov, T.; Nieuwveld, J.: The Monadic Theory of Toric Words. Theoretical computer science 1025, pp. 1 - 16 (2025)

Fijalkow, N.; Lefaucheux, E.; Ohlmann, P.; Ouaknine, J.; Pouly, A.; Worrell, J.: On the Monniaux Problem in Abstract Interpretation. Journal of the ACM 72 (2), 11, pp. 1 - 51 (2025)

Ganardi, M.; Hucke, D.; Lohrey, M.; Mamouras, K.; Starikovskaya, T.: Regular Languages in the Sliding Window Model. TheoretiCS 4, 8, pp. 1 - 75 (2025)

Georges, A. L.; Peters, B.; Elbeheiry, L.; White, L.; Dolan, S.; Eisenberg, R.; Casinghino, C.; Pottier, F.; Dreyer, D.: Data Race Freedom à la Mode. Proceedings of the ACM on Programming Languages 9 (POPL), 23, pp. 656 - 686 (2025)

Golovin, P.; Kokologiannakis, M.; Vafeiadis, V.: RELINCHE: Automatically Checking Linearizability under Relaxed Memory Consistency. Proceedings of the ACM on Programming Languages 9 (POPL), 70, pp. 2090 - 2117 (2025)

Heerdt, G. v.; Hsu, J.; Ouaknine, J.; Silva, A.: Convex Language Semantics for Nondeterministic Probabilistic Automata. Theoretical computer science 1040, 115191, pp. 1 - 21 (2025)

Hong , C.-D.; Lin, A. W.; Rümmer , P.; Majumdar, R.: Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification. IEEE Transactions on Software Engineering 51 (6), pp. 1801 - 1817 (2025)

Kolling, C.; Speicher, T.; Nanda, V.; Toneva, M.; Gummadi, K.: Investigating the Effects of Fairness Interventions Using Pointwise Representational Similarity. Transactions on Machine Learning Research 2025 (5), pp. 1 - 34 (2025)

Kraemer, M. U. G.; Tsui, J. L.-H.; Chang, S. Y.; Lytras , S.; Khurana, M. P.; Vanderslott, S.; Bajaj , S.; Scheidwasser , N.; Curran-Sebastian, J. L.; Semenova , E. et al.; Zhang, M.; Unwin, H. J. T.; Watson, O. J.; Mills, C.; Dasgupta, A.; Ferretti, L.; Scarpino, S. V.; Koua, E.; Morgan, O.; Tegally, H.; Paquet, U.; Moutsianas, L.; Fraser, C.; Ferguson, N. M.; Topol, E. J.; Duchêne, D. A.; Stadler, T.; Kingori, P.; Parker, M. J.; Dominici, F.; Shadbolt, N.; Suchard, M. A.; Ratmann, O.; Flaxman, S.; Holmes, E. C.; Gomez Rodriguez, M.; Schölkopf, B.; Donnelly, C. A.; Pybus, O. G.; Cauchemez, S.; Bhatt, S.: Artificial Intelligence for Modelling Infectious Disease Epidemics. Nature 638, pp. 623 - 635 (2025)

Majumdar, R.; Venkatesan Ramesh, S.: Sound and Complete Proof Rules for Probabilistic Termination. Proceedings of the ACM on Programming Languages 9 (POPL), 63, pp. 1871 - 1902 (2025)

Marmanis, I.; Kokologiannakis, M.; Vafeiadis, V.: Model Checking C/C++ with Mixed-size Accesses. Proceedings of the ACM on Programming Languages 9 (POPL), 75, pp. 2232 - 2252 (2025)

Spies, S.; Mück, N.; Zeng , H.; Sammler , M.; Lattuada , A.; Müller, P.; Dreyer, D.: Destabilizing Iris. Proceedings of the ACM on Programming Languages 9 (PLDI), 181, pp. 1 - 26 (2025)

Villani, N.; Hostert, J.; Dreyer, D.; Jung, R.: Tree Borrows. Proceedings of the ACM on Programming Languages 9 (PLDI), 188, pp. 1 - 24 (2025)

Akshay, S.; Bazille, H.; Genest, B.; Vahanwala, M.: On Robustness for the Skolem, Positivity and Ultimate Positivity Problems. Logcial Methods in Computer Science 20 (2), 11, pp. 1 - 32 (2024)

Balasubramanian, A. R.; Majumdar, R.; Thinniyam, R. S.; Zetzsche, G.: Reachability in Continuous Pushdown VASS. Proceedings of the ACM on Programming Languages 8 (POPL), 4, pp. 90 - 114 (2024)

Baumann, P.; Ganardi, M.; Thinniyam Srinivasan, R.; Zetzsche, G.: Existential Definability over the Subword Ordering. Logcial Methods in Computer Science 19 (4), 35, pp. 1 - 19 (2024)

Bergsträßer, 1.; Ganardi, M.; Lin, A. W.; Zetzsche, G.: Ramsey Quantifiers in Linear Arithmetics. Proceedings of the ACM on Programming Languages 8 (POPL), 1, pp. 1 - 32 (2024)

Bilu, Y. F.; Luca, F.; Nieuwveld, J.; Ouaknine, J.; Worrell, J.: On the p-adic zeros of the Tribonacci sequence. Mathematics of Computation 93 (347), pp. 1333 - 1353 (2024)

Borgarelli, A.; Enea, C.; Majumdar, R.; Nagendra , S.: Reward Augmentation in Reinforcement Learning for Testing Distributed Systems. Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 339, pp. 1 - 27 (2024)