Wissenschaftliche Publikationen

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, S. 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, S. 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, S. 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, S. 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, S. 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, S. 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, S. 1 - 16 (Hg. Beyersdorff, O.; Kanté, M. M.; Kupferman, O.; Lokshtanov, D.). 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France , 12. März 2024 - 14. März 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, S. 1 - 15 (Hg. Beyersdorff, O.; Kanté, M. M.; Kupferman, O.; Lokshtanov, D.). 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France , 12. März 2024 - 14. März 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, S. 1 - 20 (Hg. Beyersdorff, O.; Kanté, M. M.; Kupferman, O.; Lokshtanov, D.). 41st International Symposium on Theoretical Aspects of Computer Science, Clermont-Ferrand, France , 12. März 2024 - 14. März 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, S. 387 - 393 (Hg. Stephenson, B.; Stone, J. A.; Battestilli, L.; Rebelsky, S. A.; Shoop, L.). 55th ACM Technical Symposium on Computer Science Education, Portland, OR, USA, 20. März 2024 - 24. März 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 , 06. April 2024 - 11. April 2024. Springer, Berlin (angenommen)

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, S. 12 - 23. The Fourteenth International Conference on Learning Analytics & Knowledge, Kyoto, Japan, 18. März 2024 - 22. März 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, S. 264 - 288 (Hg. Dimitrova, R.; Lahav, O.; Wolff, S.). 25th International Conference on Verification, Model Checking, and Abstract Interpretation, London, UK, 15. Januar 2024 - 16. Januar 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, S. 208 - 231 (Hg. Dimitrova, R.; Lahav, O.; Wolff, S.). 25th International Conference on Verification, Model Checking, and Abstract Interpretation, London, UK, 15. Januar 2024 - 16. Januar 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 , 06. April 2024 - 11. April 2024. (angenommen)

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 S.

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 S.

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

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