Conference Paper (938)
301.
Conference Paper
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)
302.
Conference Paper
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)
303.
Conference Paper
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)
304.
Conference Paper
Auditing Algorithmic Explanations of Social Media Feeds: A Case Study of TikTok Video Explanations. In: Proceedings of the Eighteenth International AAAI Conference on Web and Social Media, pp. 1110 - 1122 (Eds. Lin, Y.-R.; Cha, M.). 18th International AAAI Conference on Web and Social Media, Buffalo,NY, USA, June 03, 2024 - June 06, 2024. AAAI, Washington, DC (2024)
305.
Conference Paper
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)
306.
Conference Paper
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)
307.
Conference Paper
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)
308.
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)
309.
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)
310.
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)
311.
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)
312.
Conference Paper
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)
313.
Conference Paper
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)
314.
Conference Paper
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)
315.
Conference Paper
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)
316.
Conference Paper
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)
317.
Conference Paper
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)
318.
Conference Paper
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)
319.
Conference Paper
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)
320.
Conference Paper
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)