Raad, A.; Berdine, J.; Dreyer, D.; O'Hearn, P. W.: Concurrent Incorrectness Separation Logic. Proceedings of the ACM on Programming Languages 6, POPL, 34, pp. 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, pp. 1 - 31 (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, pp. 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, pp. 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, pp. 1 - 24 (2021)

Almagor, S.; Ouaknine, J.; Worrell, J.: First-Order Orbit Queries. Theory of Computing Systems 65, pp. 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, pp. 1 - 31 (2021)

Bernstein, A.; de Vreese, C.; Helberger, N.; Schulz, W.; Zweig, K.; Baden, C.; Beam, M. A.; Hauer, M. P.; Heitz, L.; Jürgens, P. et al.; Katzenbach, C.; Kille, B.; Klimkiewicz, B.; Loosen, W.; Moeller, J.; Radanovic, G.; Shani, G.; Tintarev, N.; Tolmeijer, S.; van Atteveldt, W.; Vrijenhoek, S.; Zueger, T.: Diversity in News Recommendation. Dagstuhl Manifestos 9 (1), pp. 43 - 61 (2021)

Bichhawat, A.; Rajani, V.; Garg, D.; Hammer, C.: Permissive Runtime Information Flow Control in the Presence of Exceptions. Journal of Computer Security 49 (4), pp. 361 - 401 (2021)

Chalebgwa, T. P.; Ddamulira, M.: Padovan Numbers which are Palindromic Concatenations of two Distinct Repdigits. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales / Serie A, Matemáticas 115, 108 (2021)

Ddamulira, M.: Padovan Numbers that are Concatenations of Two Distinct Repdigits. Mathematica Slovaca 71 (2), pp. 275 - 284 (2021)

Jung, R.; Jourdan, J.-H.; Krebbers, R.; Dreyer, D.: Safe systems programming in Rust. Communications of the ACM 64 (4), pp. 144 - 152 (2021)

Kokologiannakis, M.; Kaysin, I.; Raad, A.; Vafeiadis, V.: PerSeVerE: Persistency Semantics for Verification under Ext4. Proceedings of the ACM on Programming Languages 5, POPL, 43, pp. 1 - 29 (2021)

Kross, S.; Hargittai, E.; Redmiles, E. M.: Characterizing the Online Learning Landscape: What and How People Learn Online. Proceedings of the ACM on Human-Computer Interaction 5 (CSCW1), 149, pp. 1 - 19 (2021)

Lahav, O.; Namakonov, E.; Oberhauser, J.; Podkopaev, A.; Vafeiadis, V.: Making Weak Memory Models Fair. Proceedings of the ACM on Programming Languages 5, OOPSLA, 98, pp. 1 - 27 (2021)

Lin, A. W.; Majumdar, R.: Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. Logical Methods in Computer Science 17 (4) (2021)

Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Soudjani, S.: Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. IFAC-PapersOnLine 54 (5), pp. 127 - 132 (2021)

Patrignani, M.; Garg, D.: Robustly Safe Compilation, an Efficient Form of Secure Compilation. ACM Transactions on Programming Languages and Systems 43 (1), pp. 1 - 41 (2021)

Qu, W.; Gaboardi, M.; Garg, D.: Relational Cost Analysis in a Functional-imperative Setting. Journal of Functional Programming 31, e27 (2021)

Rabe, R.; Izycheva, A.; Darulova, E.: Regime Inference for Sound Floating-Point Optimizations. ACM Transactions on Embedded Computing Systems 20 (5s), 81, pp. 1 - 23 (2021)