Scientific Publications

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)

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)

Grgić-Hlača, N.; Ali, J.; Gummadi, K.; Wortman Vaughan , J.: (De)Noise: Moderating the Inconsistency Between Human Decision-makers. Proceedings of the ACM on Human-Computer Interaction 8 (CSCW2), 448, pp. 1 - 38 (2024)

Kokologiannakis, M.; Marmanis, I.; Vafeiadis, V.: SPORE: Combining Symmetry and Partial Order Reduction. Proceedings of the ACM on Programming Languages 8 (PLDI), 219, pp. 1781 - 1803 (2024)

Lefaucheux, E.; Ouaknine, J.; Purser, D.; Worrell, J.: Porous Invariants for Linear Systems. Formal Methods in System Design (2024)

Liu, J.; Qu, W.; Gaboardi, M.; Garg, D.; Ullman, J.: Program Analysis for Adaptive Data Analysis. Proceedings of the ACM on Programming Languages 8 (PLDI), 184, pp. 914 - 938 (2024)

Majumdar, R.; Sathiyanarayana, V. R.: Positive Almost-Sure Termination: Complexity and Proof Rules. Proceedings of the ACM on Programming Languages 8 (POPL), 37, pp. 1089 - 1117 (2024)

Morand, V.; Müller, N.; Weightman, R.; Piccoli, B.; Keimer, A.; Bayen, A. M.: Deep learning of first-order nonlinear hyperbolic conservation law solvers. Journal of Computational Physics 511, 113114 (2024)

Padurean, V. A.; Tzannetos, G.; Singla, A.: Neural Task Synthesis for Visual Programming. Transactions on Machine Learning Research 2024, pp. 1 - 40 (2024)

Raha, R.; Roy, R.; Fijalkow, N.; Neider, D.: Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. The Journal of Open Source Software 9 (93), 5052, pp. 1 - 4 (2024)

Rajani, V.; Barthe, G.; Garg, D.: A Modal Type Theory of Expected Cost in Higher-order Probabilistic Programs. Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 285, pp. 1 - 26 (2024)

Speicher, T.; Nanda, V.; Gummadi, K.: Understanding the Role of Invariance in Transfer Learning. Transactions on Machine Learning Research 2024, pp. 1 - 30 (2024)