Kolosick, M.; Narayan, S.; Johnson, E.; Watt, C.; LeMay, M.; Garg, D.; Jhala, R.; Stefan, D.: Isolation Without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI. Proceedings of the ACM on Programming Languages 6, POPL, 27, S. 1 - 30 (2022)

Lahoti, P.; Gummadi, K.; Weikum, G.: Responsible Model Deployment via Model-agnostic Uncertainty Learning. Machine Learning 112, S. 939 - 970 (2022)

Le, Q. L.; Raad, A.; Villard, J.; Berdine, J.; Dreyer, D.; O'Hearn, P. W.: Finding Real Bugs in Big Programs with Incorrectness Logic. Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 81, S. 1 - 27 (2022)

Lepigre, R.; Sammler, M.; Memarian, K.; Krebbers, R.; Dreyer, D.; Sewell, P.: VIP: Verifying Real-World C Idioms with Integer-Pointer Casts. Proceedings of the ACM on Programming Languages 6, POPL, 20, S. 1 - 32 (2022)

Lorch, L.; Kremer, H.; Trouleau, W.; Tsirtsis, S.; Szanto, A.; Schölkopf, B.; Gomez Rodriguez, M.: Quantifying the Effects of Contact Tracing, Testing, and Containment Measures in the Presence of Infection Hotspots. ACM Transactions on Spatial Algorithms and Systems 8 (4), 25, S. 1 - 28 (2022)

Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. Logical Methods in Computer Science 18 (4), 1, S. 1 - 38 (2022)

Neider, D.; Weinert, A.; Zimmermann, M.: Robust, expressive, and quantitative linear temporal logics: Pick any two for free. Information and Computation 285 (B), 104810 (2022)

Raad, A.; Berdine, J.; Dreyer, D.; O'Hearn, P. W.: Concurrent Incorrectness Separation Logic. Proceedings of the ACM on Programming Languages 6, POPL, 34, S. 1 - 29 (2022)

Raad, A.; Maranget, L.; Vafeiadis, V.: Extending Intel-X86 Consistency and Persistency: Formalising the Semantics of Intel-X86 Memory Types and Non-Temporal Stores. Proceedings of the ACM on Programming Languages 6, POPL, 22, S. 1 - 31 (2022)

Samadi, M. E.; Kiefer, S.; Fritsch, S. J.; Bickenbach, J.; Schuppert, A.: A Training Strategy for Hybrid Models to Break the Curse of Dimensionality. PLoS One 17 (9), e0274569 (2022)

Spies, S.; Gäher, L.; Tassarotti, J.; Jung, R.; Krebbers, R.; Birkedal, L.; Dreyer, D.: Later Credits: Resourceful Reasoning for the Later Modality. Proceedings of the ACM on Programming Languages 6, ICFP, 100, S. 1 - 29 (2022)

Stutz, F.; Zufferey, D.: Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. Electronic Proceedings in Theoretical Computer Science 370, S. 194 - 212 (2022)

Toneva, M.; Mitchell, T. M.; Wehbe, L.: Combining Computational Controls with Natural Text Reveals Aspects of Meaning Composition. Nature Computational Science, S. 745 - 757 (2022)

Tsirtsis, S.; De, A.; Lorch, L.; Gomez Rodriguez, M.: Pooled Testing of Traced Contacts under Superspreading Dynamics. PLoS Computational Biology 18 (3), e1010008, S. 1 - 17 (2022)

Zhu, F.; Sammler, M.; Lepigre, R.; Dreyer, D.; Garg, D.: BFF: Foundational and Automated Verification of Bitfield-manipulating Programs. Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 182, S. 1613 - 1638 (2022)

Abate, C.; Blanco, R.; Ciobâcă, Ş.; Durier, A.; Garg, D.; Hriţcu, C.; Patrignani, M.; Tanter, É.; Thibault, J.: An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Transactions on Programming Languages and Systems 43 (4), 14, S. 1 - 48 (2021)

Aguirre, A.; Barthe, G.; Gaboardi, M.; Garg, D.; Katsumata, S.-y.; Sato, T.: Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics. Proceedings of the ACM on Programming Languages 5, ICFP, 93, S. 1 - 30 (2021)

Almagor, S.; Karimov, T.; Kelmendi, E.; Ouaknine, J.; Worrell, J.: Deciding ω-Regular Properties on Linear Recurrence Sequences. Proceedings of the ACM on Programming Languages 5, POPL, 48, S. 1 - 24 (2021)

Almagor, S.; Ouaknine, J.; Worrell, J.: First-Order Orbit Queries. Theory of Computing Systems 65, S. 638 - 661 (2021)

Baumann, P.; Majumdar, R.; Thinniyam, R. S.; Zetzsche, G.: Context-bounded Verification of Liveness Properties for Multithreaded Shared-memory Programs. Proceedings of the ACM on Programming Languages 5, POPL, 44, S. 1 - 31 (2021)