Jung, R.; Jourdan, J.-H.; Krebbers, R.; Dreyer, D.: Safe systems programming in Rust. Communications of the ACM 64 (4), S. 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, S. 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, S. 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, S. 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), S. 127 - 132 (2021)

Mascle, C.; Neider, D.; Schwenger, M.; Tabuada, P.; Weinert, A.; Zimmermann, M.: From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. Formal Methods in System Design, 7, S. 1 - 12 (2021)

Patrignani, M.; Garg, D.: Robustly Safe Compilation, an Efficient Form of Secure Compilation. ACM Transactions on Programming Languages and Systems 43 (1), S. 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, S. 1 - 23 (2021)

Rajani, V.; Gaboardi, M.; Garg, D.; Hoffmann, J.: A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis. Proceedings of the ACM on Programming Languages 5, POPL, 27, S. 1 - 28 (2021)

Rakhsha, A.; Radanovic, G.; Devidze, R.; Zhu, X.; Singla, A.: Policy Teaching in Reinforcement Learning via Environment Poisoning Attacks. Journal of Machine Learning Research 22, 210, S. 1 - 45 (2021)

Ravishankar, S.; Toneva, M.; Wehbe, L.: Single-Trial MEG Data Can Be Denoised Through Cross-Subject Predictive Modeling. Frontiers in Computational Neuroscience 15, 737324 (2021)

Spies, S.; Krishnaswami, N.; Dreyer, D.: Transfinite Step-indexing for Termination. Proceedings of the ACM on Programming Languages 5, POPL, 13, S. 1 - 29 (2021)

Urabe, N.; Majumdar, R.: Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 40 (9), S. 1934 - 1946 (2021)

Yanovski, J.; Dang, H.-H.; Jung, R.; Dreyer, D.: GhostCell: Separating Permissions from Data in Rust. Proceedings of the ACM on Programming Languages 5, ICFP, 92, S. 1 - 30 (2021)

Zetzsche, G.: The Emptiness Problem for Valence Automata over Graph Monoids. Information and Computation, 104583, S. 1 - 18 (2021)

Dang, H.-H.; Jourdan, J.-H.; Kaiser, J.-O.; Dreyer, D.: RustBelt Meets Relaxed Memory. Proceedings of the ACM on Programming Languages 4 (POPL), 34 (2020)

Drăgoi, C.; Enea, C.; Özkan, B. K.; Majumdar, R.; Niksic, F.: Testing Consensus Implementations Using Communication Closure. Proceedings of the ACM on Programming Languages 4 (OOPSLA), 210, S. 1 - 29 (2020)

Dragoi, C.; Widder, J.; Zufferey, D.: Programming at the Edge of Synchrony. Proceedings of the ACM on Programming Languages 4 (OOPSLA), 213, S. 1 - 30 (2020)