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, S. 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, S. 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), S. 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, S. 522 - 550 (2023)

Flinn, J.; Seltzer, M.; Druschel, P.; Kaufmann, A.; Mace, J. (Hg.): SOSP '23. 29th Symposium on Operating Systems Principles, Koblenz, Germany, 23. Oktober 2023 - 26. Oktober 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, S. 5665 - 5682. 32nd USENIX Security Symposium, Anaheim, CA, 09. August 2023 - 11. August 2023. USENIX (2023)

Alzayat, M.; Mace, J.; Druschel, P.; Garg, D.: Groundhog: Efficient Request Isolation in FaaS. In: EuroSys '23, S. 398 - 415 (Hg. Di Luna, G. A.; Querzoni, L.; Fedorova, A.; Narayanan, D.). Eighteenth European Conference on Computer Systems, Rome, Italy, 08. Mai 2023 - 12. Mai 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, S. 211 - 228 (Hg. Sankaranarayanan, S.; Sharzgina, N.). 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 22. April 2023 - 27. April 2023. Springer, Berlin (2023)

Anand, A.; Nayak, S. P.; Schmuck, A.-K.: Poster Abstract: Permissiveness for Strategy Adaptation. In: HSCC 2023, 29, S. 1 - 2. 26th ACM International Conference on Hybrid Systems: Computation and Control, San Antonio, TX, USA, 10. Mai 2023 - 12. Mai 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, S. 436 - 458 (Hg. Enea, C.; Lal, A.). 35th International Conference on Computer-Aided Verification, Paris, France, 17. Juli 2023 - 22. Juli 2023. Springer, Berlin (2023)

Anand, A.; Zetzsche, G.: Priority Downward Closures. In: 34th International Conference on Concurrency Theory, 39, S. 1 - 18 (Hg. Pérez, G. A.; Raskin, J.-F.). 34th International Conference on Concurrency Theory, Antwerp, Belgium, 18. September 2023 - 23. September 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, 01. Mai 2023 - 05. Mai 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, S. 240 - 264 (Hg. Kupferman, O.; Sobocinski, P.). 26th International Conference on Foundations of Software Science and Computation Structures, Paris, France, 22. April 2023 - 27. April 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, S. 1 - 20 (Hg. Etessami, K.; Feige, U.; Puppis, G.). 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 10. Juli 2023 - 14. Juli 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, S. 1 - 16 (Hg. Etessami, K.; Feige, U.; Puppis, G.). 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 10. Juli 2023 - 14. Juli 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, S. 1 - 18 (Hg. Pérez, G. A.; Raskin, J.-F.). 34th International Conference on Concurrency Theory, Antwerp, Belgium, 18. September 2023 - 23. September 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, S. 1 - 19 (Hg. Berenbrink, P.; Bouyer, P.; Dawar, A.; Kanté, M. M.). 40th International Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, 07. März 2023 - 09. März 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, S. 61 - 73 (Hg. Aamodt, T. M.; Enright Jerger, N.; Swift, M.). 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Vancouver, Canada, 25. März 2023 - 29. März 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, S. 13 - 26. 44th IEEE Real-Time Systems Symposium, Taipei, Taiwan, 05. Dezember 2023 - 08. Dezember 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, S. 14609 - 14636 (Hg. 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, 10. Dezember 2023 - 16. Dezember 2023. Curran Associates, Inc (2023)