Journal Article (254)
81.
Journal Article
65, pp. 638 - 661 (2021)
First-Order Orbit Queries. Theory of Computing Systems 82.
Journal Article
5, POPL, 44, pp. 1 - 31 (2021)
Context-bounded Verification of Liveness Properties for Multithreaded Shared-memory Programs. Proceedings of the ACM on Programming Languages 83.
Journal Article
9 (1), pp. 43 - 61 (2021)
Diversity in News Recommendation. Dagstuhl Manifestos 84.
Journal Article
49 (4), pp. 361 - 401 (2021)
Permissive Runtime Information Flow Control in the Presence of Exceptions. Journal of Computer Security 85.
Journal Article
115, 108 (2021)
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 86.
Journal Article
71 (2), pp. 275 - 284 (2021)
Padovan Numbers that are Concatenations of Two Distinct Repdigits. Mathematica Slovaca 87.
Journal Article
64 (4), pp. 144 - 152 (2021)
Safe systems programming in Rust. Communications of the ACM 88.
Journal Article
5, POPL, 43, pp. 1 - 29 (2021)
PerSeVerE: Persistency Semantics for Verification under Ext4. Proceedings of the ACM on Programming Languages 89.
Journal Article
5 (CSCW1), 149, pp. 1 - 19 (2021)
Characterizing the Online Learning Landscape: What and How People Learn Online. Proceedings of the ACM on Human-Computer Interaction 90.
Journal Article
5, OOPSLA, 98, pp. 1 - 27 (2021)
Making Weak Memory Models Fair. Proceedings of the ACM on Programming Languages 91.
Journal Article
17 (4) (2021)
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. Logical Methods in Computer Science 92.
Journal Article
54 (5), pp. 127 - 132 (2021)
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. IFAC-PapersOnLine 93.
Journal Article
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. Formal Methods in System Design, 7, pp. 1 - 12 (2021)
94.
Journal Article
43 (1), pp. 1 - 41 (2021)
Robustly Safe Compilation, an Efficient Form of Secure Compilation. ACM Transactions on Programming Languages and Systems 95.
Journal Article
31, e27 (2021)
Relational Cost Analysis in a Functional-imperative Setting. Journal of Functional Programming 96.
Journal Article
20 (5s), 81, pp. 1 - 23 (2021)
Regime Inference for Sound Floating-Point Optimizations. ACM Transactions on Embedded Computing Systems 97.
Journal Article
5, POPL, 27, pp. 1 - 28 (2021)
A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis. Proceedings of the ACM on Programming Languages 98.
Journal Article
22, 210, pp. 1 - 45 (2021)
Policy Teaching in Reinforcement Learning via Environment Poisoning Attacks. Journal of Machine Learning Research 99.
Journal Article
15, 737324 (2021)
Single-Trial MEG Data Can Be Denoised Through Cross-Subject Predictive Modeling. Frontiers in Computational Neuroscience 100.
Journal Article
5, POPL, 13, pp. 1 - 29 (2021)
Transfinite Step-indexing for Termination. Proceedings of the ACM on Programming Languages