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)

Ali, M.; Goetzen, A.; Mislove, A.; Redmiles, E. M.; Sapiezynski, P.: Problematic Advertising and its Disparate Exposure on Facebook. In: 32nd USENIX Security Symposium, pp. 5665 - 5682. 32nd USENIX Security Symposium, Anaheim, CA, August 09, 2023 - August 11, 2023. USENIX (2023)

Alzayat, M.; Mace, J.; Druschel, P.; Garg, D.: Groundhog: Efficient Request Isolation in FaaS. In: EuroSys '23, pp. 398 - 415 (Eds. Di Luna, G. A.; Querzoni, L.; Fedorova, A.; Narayanan, D.). Eighteenth European Conference on Computer Systems, Rome, Italy, May 08, 2023 - May 12, 2023. ACM, New York, NY (2023)

Anand, A.; Mallik, K.; Nayak, S. P.; Schmuck, A.-K.: Computing Adequately Permissive Assumptions for Synthesis. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 211 - 228 (Eds. Sankaranarayanan, S.; Sharzgina, N.). 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, April 22, 2023 - April 27, 2023. Springer, Berlin (2023)

Anand, A.; Nayak, S. P.; Schmuck, A.-K.: Poster Abstract: Permissiveness for Strategy Adaptation. In: HSCC 2023, 29, pp. 1 - 2. 26th ACM International Conference on Hybrid Systems: Computation and Control, San Antonio, TX, USA, May 10, 2023 - May 12, 2023. ACM, New York, NY (2023)

Anand, A.; Nayak, S. P.; Schmuck, A.-K.: Synthesizing Permissive Winning Strategy Templates for Parity Games. In: Computer Aided Verification, pp. 436 - 458 (Eds. Enea, C.; Lal, A.). 35th International Conference on Computer-Aided Verification, Paris, France, July 17, 2023 - July 22, 2023. Springer, Berlin (2023)

Anand, A.; Zetzsche, G.: Priority Downward Closures. In: 34th International Conference on Concurrency Theory, 39, pp. 1 - 18 (Eds. Pérez, G. A.; Raskin, J.-F.). 34th International Conference on Concurrency Theory, Antwerp, Belgium, September 18, 2023 - September 23, 2023. Schloss Dagstuhl, Wadern (2023)

Aw, K. L.; Toneva, M.: Training Language Models to Summarize Narratives Improves Brain Alignment. In: The Eleventh International Conference on Learning Representations. Eleventh International Conference on Learning Representations, Kigali, Rwanda, May 01, 2023 - May 05, 2023. OpenReview.net (2023)

Baumann, P.; D’Alessandro, F.; Ganardi, M.; Ibarra, O.; McQuillan, I.; Schütze, L.; Zetzsche, G.: Unboundedness Problems for Machines with Reversal-Bounded Counters. In: Foundations of Software Science and Computation Structures, pp. 240 - 264 (Eds. Kupferman, O.; Sobocinski, P.). 26th International Conference on Foundations of Software Science and Computation Structures, Paris, France, April 22, 2023 - April 27, 2023. Springer, Berlin (2023)

Baumann, P.; Ganardi, M.; Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.: Checking Refinement of Asynchronous Programs Against Context-Free Specifications. In: 50th International Colloquium on Automata, Languages, and Programming, 110, pp. 1 - 20 (Eds. Etessami, K.; Feige, U.; Puppis, G.). 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, July 10, 2023 - July 14, 2023. Schloss Dagstuhl, Wadern (2023)

Baumann, P.; Ganardi, M.; Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.: Context-Bounded Analysis of Concurrent Programs. In: 50th International Colloquium on Automata, Languages, and Programming, 3, pp. 1 - 16 (Eds. Etessami, K.; Feige, U.; Puppis, G.). 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, July 10, 2023 - July 14, 2023. Schloss Dagstuhl, Wadern (2023)

Baumann, P.; Madnani, K.; Mazowiecki, F.; Zetzsche, G.: Monus Semantics in Vector Addition Systems with States. In: 34th International Conference on Concurrency Theory, 10, pp. 1 - 18 (Eds. Pérez, G. A.; Raskin, J.-F.). 34th International Conference on Concurrency Theory, Antwerp, Belgium, September 18, 2023 - September 23, 2023. Schloss Dagstuhl, Wadern (2023)