Sammler, M.; Spies, S.; Song, Y.; D'Osualdo, E.; Krebbers, R.; Garg, D.; Dreyer, D.: DimSum: A Decentralized Approach to Multi-language Semantics and Verification. Proceedings of the ACM on Programming Languages 7 (POPL), 27, pp. 775 - 805 (2023)

Song, Y.; Cho, M.; Lee, D.; Hur, C.-K.; Sammler, M.; Dreyer, D.: Conditional Contextual Refinement. Proceedings of the ACM on Programming Languages 7 (POPL), 39, pp. 1121 - 1151 (2023)

Tzannetos, G.; Gomes Ribeiro, B.; Kamalaruban, P.; Singla, A.: Proximal Curriculum for Reinforcement Learning Agents. Transactions on Machine Learning Research 2023 (5), pp. 1 - 21 (2023)

Zilberstein, N.; Dreyer, D.; Silva, A.: Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning. Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 93, pp. 522 - 550 (2023)

Flinn, J.; Seltzer, M.; Druschel, P.; Kaufmann, A.; Mace, J. (Eds.): SOSP '23. 29th Symposium on Operating Systems Principles, Koblenz, Germany, October 23, 2023 - October 26, 2023. ACM, New York, NY (2023)

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)

Baumann, P.; Meyer, R.; Zetzsche, G.: Regular Separability in Büchi VASS. In: 40th International Symposium on Theoretical Aspects of Computer Science, 9, pp. 1 - 19 (Eds. Berenbrink, P.; Bouyer, P.; Dawar, A.; Kanté, M. M.). 40th International Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, March 07, 2023 - March 09, 2023. Schloss Dagstuhl, Wadern (2023)

Beck, M.; Bhat, K.; Stričević, L.; Chen, G.; Behrens, D.; Fu, M.; Vafeiadis, V.; Chen, H.; Härtig, H.: AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. In: ASPLOS '23, pp. 61 - 73 (Eds. Aamodt, T. M.; Enright Jerger, N.; Swift, M.). 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Vancouver, Canada, March 25, 2023 - March 29, 2023. ACM, New York, NY (2023)

Bozhko, S.; Marković, F.; von der Brüggen, G.; Brandenburg, B. B.: What Really is pWCET? A Rigorous Axiomatic Proposal. In: 44th IEEE Real-Time Systems Symposium, pp. 13 - 26. 44th IEEE Real-Time Systems Symposium, Taipei, Taiwan, December 05, 2023 - December 08, 2023. IEEE, Piscataway, NJ (2023)

Corvelo Benz, N. L.; Gomez Rodriguez, M.: Human-Aligned Calibration for AI-Assisted Decision Making. In: Advances in Neural Information Processing Systems 36, pp. 14609 - 14636 (Eds. Oh, A.; Neumann, T.; Globerson, A.; Saenko, K.; Hartdt, M. et al.). Thirty-seventh Annual Conference on Neural Information Processing Systems, New Orleans, LA, USA, December 10, 2023 - December 16, 2023. Curran Associates, Inc (2023)