Scientific Publications

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.; Luca, F.; Nieuwveld, J.; Ouaknine, J.; Worrell, J.: On the p-adic zeros of the Tribonacci sequence. Mathematics of Computation 93, pp. 1333 - 1353 (2024)

Lefaucheux, E.; Ouaknine, J.; Purser, D.; Worrell, J.: Porous Invariants for Linear Systems. Formal Methods in System Design (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)

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)

D'Costa, J.; Ouaknine, J.; Worrell, J.: Nonnegativity Problems for Matrix Semigroups. In: 41st International Symposium on Theoretical Aspects of Computer Science, 27, pp. 1 - 16 (Eds. Beyersdorff, O.; Kanté, M. M.; Kupferman, O.; Lokshtanov, D.). 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France , March 12, 2024 - March 14, 2024. Schloss Dagstuhl, Wadern (2024)

Dutta, P.; Gesmundo, F.; Ikenmeyer, C.; Jindal, G.; Lysikov, V.: Fixed-Parameter Debordering of Waring Rank. In: 41st International Symposium on Theoretical Aspects of Computer Science, 30, pp. 1 - 15 (Eds. Beyersdorff, O.; Kanté, M. M.; Kupferman, O.; Lokshtanov, D.). 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France , March 12, 2024 - March 14, 2024. Schloss Dagstuhl, Wadern (2024)

Ganardi, M.; Sağlam, I.; Zetzsche, G.: Directed Regular and Context-Free Languages. In: 41st International Symposium on Theoretical Aspects of Computer Science, 36, pp. 1 - 20 (Eds. Beyersdorff, O.; Kanté, M. M.; Kupferman, O.; Lokshtanov, D.). 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France , March 12, 2024 - March 14, 2024. Schloss Dagstuhl, Wadern (2024)

Ghosh, A.; Malva, L.; Singla, A.: Analyzing-Evaluating-Creating: Assessing Computational Thinking and Problem Solving in Visual Programming Domains. In: SIGCSE 2024, pp. 387 - 393 (Eds. Stephenson, B.; Stone, J. A.; Battestilli, L.; Rebelsky, S. A.; Shoop, L.). 55th ACM Technical Symposium on Computer Science Education, Portland, OR, USA, March 20, 2024 - March 24, 2024. ACM, New York, NY (2024)

Kokologiannakis, M.; Majumdar, R.; Vafeiadis, V.: Enhancing GenMC's Usability and Performance. In: Tools and Algorithms for the Construction and Analysis of Systems. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg , April 06, 2024 - April 11, 2024. Springer, Berlin (accepted)

Phung, T.; Padurean, V. A.; Singh, A.; Brooks, C.; Cambronero, J.; Gulwani, S.; Singla, A.; Soares, G.: Automating Human Tutor-Style Programming Feedback: Leveraging GPT-4 Tutor Model for Hint Generation and GPT-3.5 Student Model for Hint Validation. In: LAK24 Conference Proceedings, pp. 12 - 23. The Fourteenth International Conference on Learning Analytics & Knowledge, Kyoto, Japan, March 18, 2024 - March 22, 2024. ACM, New York, NY (2024)

Raha, R.; Roy, R.; Fijalkow, N.; Neider, D.; Pérez, G. A.: Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. In: Verification, Model Checking, and Abstract Interpretation, pp. 264 - 288 (Eds. Dimitrova, R.; Lahav, O.; Wolff, S.). 25th International Conference on Verification, Model Checking, and Abstract Interpretation, London, UK, January 15, 2024 - January 16, 2024. Springer, Berlin (2024)

Schmuck, A.-K.; Thejaswini, K. S.; Sağlam, I.; Nayak, S. P.: Solving Two-Player Games Under Progress Assumptions. In: Verification, Model Checking, and Abstract Interpretation, pp. 208 - 231 (Eds. Dimitrova, R.; Lahav, O.; Wolff, S.). 25th International Conference on Verification, Model Checking, and Abstract Interpretation, London, UK, January 15, 2024 - January 16, 2024. Springer, Berlin (2024)

Stefanesco, L.; Raad, A.; Vafeiadis, V.: Specifying and Verifying Persistent Libraries. In: Programming Languages and Systems. 33rd European Symposium on Programming, Luxembourg City, Luxembourg , April 06, 2024 - April 11, 2024. (accepted)

Denny, P.; Gulwani, S.; Heffernan, N. T.; Käser, T.; Moore, S.; Rafferty, A. N.; Singla, A.: Generative AI for Education (GAIED): Advances, Opportunities, and Challenges. (2024), 10 pp.

Denny, P.; Gulwani, S.; Heffernan, N. T.; Käser, T.; Moore, S.; Rafferty, A. N.; Singla, A.: Generative AI for Education (GAIED): Advances, Opportunities, and Challenges. (2024), 10 pp.

Devidze, R.; Kamalaruban, P.; Singla, A.: Informativeness of Reward Functions in Reinforcement Learning. (2024), 12 pp.

Mandal, D.; Nika, A.; Kamalaruban, P.; Singla, A.; Radanović, G.: Corruption Robust Offline Reinforcement Learning with Human Feedback. (2024), 46 pp.