Kokologiannakis, M.; Majumdar, R.; Vafeiadis, V.: Enhancing GenMC's Usability and Performance. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 66 - 84 (Eds. Finkbeiner, B.; Kovács, L.). 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 (2024)

Majumdar, R.: Challenges and Opportunities in Model Checking Large-scale Distributed Systems. In: ICSE '24, 1, pp. 1 - 2 (Eds. Palva, A.; Abreu, R.; Roychoudhury, A.; Storev, M.). 46th International Conference on Software Engineering, Lisbon, Portugal, April 14, 2024 - April 20, 2024. ACM, New York, NY (2024)

Majumdar, R.; Sağlam, I.; Thejaswini, K. S.: Rabin Games and Colourful Universal Trees. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 213 - 231 (Eds. Finkbeiner, B.; Kovács, L.). 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 (2024)

Nayak, S. P.; Schmuck, A.-K.: Most General Winning Secure Equilibria Synthesis in Graph Games. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 173 - 193 (Eds. Finkbeiner, B.; Kovács, L.). 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 (2024)

Nejati, A.; Nayak, S. P.; Schmuck, A.-K.: Context-triggered Games for Reactive Synthesis over Stochastic Systems. In: HSCC '24, 21, pp. 1 - 12 (Eds. Ábrahám, E.; Mazo, M.). 27th International Conference on Hybrid Systems: Computation and Control, Hong Kong, SAR, China, May 13, 2024 - May 16, 2024. ACM, New York, NY (2024)

Nika, A.; Mandal, D.; Singla, A.; Radanovic, G.: Corruption-Robust Offline Two-Player Zero-Sum Markov Games. In: Proceedings of The 27th International Conference on Artificial Intelligence and Statistics, pp. 1243 - 1251 (Eds. Dasgupta, S.; Mandt, S.; Li, Y.). 27th International Conference on Artificial Intelligence and Statistics, Valencia, Spain, May 02, 2024 - May 04, 2024. PMRL (2024)

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)

Vombatkere, K.; Mousavi, S.; Zannettou, S.; Roesner, F.; Gummadi, K.: TikTok and the Art of Personalization: Investigating Exploration and Exploitation on Social Media Feeds. In: WWW '24, pp. 3789 - 3797 (Eds. Chua, T.-S.; Ngo, C.-W.; Lee, R. K.-W.; Kumar, R.; Lauw, H. W.). ACM Web Conference, Singapore, Singapore, May 13, 2024 - May 17, 2024. ACM, New York, NY (2024)

Zannettou, S.; Nemeth, O.-N.; Ayalon, O.; Goetzen, A.; Gummadi, K.; Redmiles, E. M.; Roesner, F.: Analyzing User Engagement with TikTok's Short Format Video Recommendations using Data Donations. In: CHI '24, 731, pp. 1 - 16 (Eds. Mueller, F. F.; Kyburz, P.; Williamson, J. R.; Sas, C.; Wilson, M. L. et al.). CHI Conference on Human Factors in Computing Sytems, Honolulu, HI, USA, May 11, 2024 - May 16, 2024. ACM, New York, NY (2024)

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)