Journal Article (197)
21.
Journal Article
6, POPL, 34, pp. 1 - 29 (2022)
Concurrent Incorrectness Separation Logic. Proceedings of the ACM on Programming Languages 22.
Journal Article
6, POPL, 22, pp. 1 - 31 (2022)
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 23.
Journal Article
43 (4), 14, pp. 1 - 48 (2021)
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Transactions on Programming Languages and Systems 24.
Journal Article
5, ICFP, 93, pp. 1 - 30 (2021)
Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics. Proceedings of the ACM on Programming Languages 25.
Journal Article
5, POPL, 48, pp. 1 - 24 (2021)
Deciding ω-Regular Properties on Linear Recurrence Sequences. Proceedings of the ACM on Programming Languages 26.
Journal Article
65, pp. 638 - 661 (2021)
First-Order Orbit Queries. Theory of Computing Systems 27.
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 28.
Journal Article
9 (1), pp. 43 - 61 (2021)
Diversity in News Recommendation. Dagstuhl Manifestos 29.
Journal Article
49 (4), pp. 361 - 401 (2021)
Permissive Runtime Information Flow Control in the Presence of Exceptions. Journal of Computer Security 30.
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 31.
Journal Article
71 (2), pp. 275 - 284 (2021)
Padovan Numbers that are Concatenations of Two Distinct Repdigits. Mathematica Slovaca 32.
Journal Article
64 (4), pp. 144 - 152 (2021)
Safe systems programming in Rust. Communications of the ACM 33.
Journal Article
5, POPL, 43, pp. 1 - 29 (2021)
PerSeVerE: Persistency Semantics for Verification under Ext4. Proceedings of the ACM on Programming Languages 34.
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 35.
Journal Article
5, OOPSLA, 98, pp. 1 - 27 (2021)
Making Weak Memory Models Fair. Proceedings of the ACM on Programming Languages 36.
Journal Article
17 (4) (2021)
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. Logical Methods in Computer Science 37.
Journal Article
54 (5), pp. 127 - 132 (2021)
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. IFAC-PapersOnLine 38.
Journal Article
43 (1), pp. 1 - 41 (2021)
Robustly Safe Compilation, an Efficient Form of Secure Compilation. ACM Transactions on Programming Languages and Systems 39.
Journal Article
31, e27 (2021)
Relational Cost Analysis in a Functional-imperative Setting. Journal of Functional Programming 40.
Journal Article
20 (5s), 81, pp. 1 - 23 (2021)
Regime Inference for Sound Floating-Point Optimizations. ACM Transactions on Embedded Computing Systems