Scientific Publications

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)

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)

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)

Cadilhac, M.; Mazowiecki, F.; Paperman , C.; Pilipczuk, M.; Sénizergues, G.: On Polynomial Recursive Sequences. Theory of Computing Systems 68 (4), pp. 593 - 614 (2024)

Dash, A.; Chakraborty, A.; Ghosh, S.; Mukherjee , A.; Gummadi, K.: Investigating Nudges toward Related Sellers on E-commerce Marketplaces: A Case Study on Amazon. Proceedings of the ACM on Human-Computer Interaction 8 (CSCW2), 455, pp. 1 - 31 (2024)

de Vilhena, P. E.; Lahav, O.; Vafeiadis, V.; Raad, A.: Extending the C/C++ Memory Model with Inline Assembly. Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 309, pp. 1 - 27 (2024)

Enea, C.; Giannakopoulou, D.; Kokologiannakis, M.; Majumdar, R.: Model Checking Distributed Protocols in Must. Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 338, pp. 1 - 28 (2024)

Gäher, L.; Sammler, M.; Jung, R.; Krebbers, R.; Dreyer, D.: RefinedRust: A Type System for High-Assurance Verification of Rust Programs. Proceedings of the ACM on Programming Languages 8 (PLDI), 192, pp. 1115 - 1139 (2024)