Zeitschriftenartikel (24)
21.
Zeitschriftenartikel
7 (POPL), 27, S. 775 - 805 (2023)
DimSum: A Decentralized Approach to Multi-language Semantics and Verification. Proceedings of the ACM on Programming Languages 22.
Zeitschriftenartikel
7 (POPL), 39, S. 1121 - 1151 (2023)
Conditional Contextual Refinement. Proceedings of the ACM on Programming Languages 23.
Zeitschriftenartikel
2023 (5), S. 1 - 21 (2023)
Proximal Curriculum for Reinforcement Learning Agents. Transactions on Machine Learning Research 24.
Zeitschriftenartikel
7 (OOPSLA1), 93, S. 522 - 550 (2023)
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning. Proceedings of the ACM on Programming Languages Konferenzband (1)
25.
Konferenzband
SOSP '23. 29th Symposium on Operating Systems Principles, Koblenz, Germany, 23. Oktober 2023 - 26. Oktober 2023. ACM, New York, NY (2023)
Konferenzbeitrag (58)
26.
Konferenzbeitrag
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)
27.
Konferenzbeitrag
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)
28.
Konferenzbeitrag
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)
29.
Konferenzbeitrag
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)
30.
Konferenzbeitrag
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)
31.
Konferenzbeitrag
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)
32.
Konferenzbeitrag
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)
33.
Konferenzbeitrag
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)
34.
Konferenzbeitrag
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)
35.
Konferenzbeitrag
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)
36.
Konferenzbeitrag
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)
37.
Konferenzbeitrag
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)
38.
Konferenzbeitrag
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)
39.
Konferenzbeitrag
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)
40.
Konferenzbeitrag
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)