Scientific Publications
Journal Article (7)
1.
Journal Article
8 (POPL), 4, pp. 90 - 114 (2024)
Reachability in Continuous Pushdown VASS. Proceedings of the ACM on Programming Languages 2.
Journal Article
19 (4), 35, pp. 1 - 19 (2024)
Existential Definability over the Subword Ordering. Logcial Methods in Computer Science 3.
Journal Article
8 (POPL), 1, pp. 1 - 32 (2024)
Ramsey Quantifiers in Linear Arithmetics. Proceedings of the ACM on Programming Languages 4.
Journal Article
93, pp. 1333 - 1353 (2024)
On the p-adic zeros of the Tribonacci sequence. Mathematics of Computation 5.
Journal Article
Porous Invariants for Linear Systems. Formal Methods in System Design (2024)
6.
Journal Article
8 (POPL), 37, pp. 1089 - 1117 (2024)
Positive Almost-Sure Termination: Complexity and Proof Rules. Proceedings of the ACM on Programming Languages 7.
Journal Article
9 (93), 5052, pp. 1 - 4 (2024)
Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. The Journal of Open Source Software Conference Paper (9)
8.
Conference Paper
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)
9.
Conference Paper
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)
10.
Conference Paper
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)
11.
Conference Paper
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)
12.
Conference Paper
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)
13.
Conference Paper
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)
14.
Conference Paper
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)
15.
Conference Paper
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)
16.
Conference Paper
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)
Working Paper (4)
17.
Working Paper
Generative AI for Education (GAIED): Advances, Opportunities, and Challenges. (2024), 10 pp.
18.
Working Paper
Generative AI for Education (GAIED): Advances, Opportunities, and Challenges. (2024), 10 pp.
19.
Working Paper
Informativeness of Reward Functions in Reinforcement Learning. (2024), 12 pp.
20.
Working Paper
Corruption Robust Offline Reinforcement Learning with Human Feedback. (2024), 46 pp.