Scientific Publications
Journal Article (18)
1.
Journal Article
27 (2), 10, pp. 1 - 2 (2022)
Introduction to the Special Issue on Approximate Systems. ACM Transactions on Design Automation of Electronic Systems 2.
Journal Article
23 (2), 9, pp. 1 - 20 (2022)
O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Transactions on Computational Logic 3.
Journal Article
6, POPL, 17, pp. 1 - 28 (2022)
Context-bounded Verification of Thread Pools. Proceedings of the ACM on Programming Languages 4.
Journal Article
16 (2), 8, pp. 1 - 34 (2022)
Toward Fair Recommendation in Two-sided Platforms. ACM Transactions on the Web 5.
Journal Article
6, POPL, 41, pp. 1 - 29 (2022)
Subcubic Certificates for CFL Reachability. Proceedings of the ACM on Programming Languages 6.
Journal Article
33 (2), pp. 314 - 321 (2022)
On the Shorey–Tijdeman Diophantine Equation Involving Terms of Lucas Sequences. Indagationes Mathematicae 7.
Journal Article
32, e3 (2022)
On being a PhD student of Robert Harper. Journal of Functional Programming 8.
Journal Article
302, 103609 (2022)
On Fair Selection in the Presence of Implicit and Differential Variance. Artificial Intelligence 9.
Journal Article
18 (1), 37, pp. 1 - 29 (2022)
Sequential Relational Decomposition. Logical Mehods in Computer Science 10.
Journal Article
6, POPL, 28, pp. 1 - 31 (2022)
Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations. Proceedings of the ACM on Programming Languages 11.
Journal Article
6, POPL, 23, pp. 1 - 27 (2022)
Pirouette: Higher-Order Typed Functional Choreographies. Proceedings of the ACM on Programming Languages 12.
Journal Article
What’s Decidable about Linear Loops? Proceedings of the ACM on Programming Languages, 65, pp. 1 - 25 (2022)
13.
Journal Article
6, POPL, 49, pp. 1 - 28 (2022)
Truly Stateless, Optimal Dynamic Partial Order Reduction. Proceedings of the ACM on Programming Languages 14.
Journal Article
6, POPL, 27, pp. 1 - 30 (2022)
Isolation Without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI. Proceedings of the ACM on Programming Languages 15.
Journal Article
6 (OOPSLA1), 81, pp. 1 - 27 (2022)
Finding Real Bugs in Big Programs with Incorrectness Logic. Proceedings of the ACM on Programming Languages 16.
Journal Article
6, POPL, 20, pp. 1 - 32 (2022)
VIP: Verifying Real-World C Idioms with Integer-Pointer Casts. Proceedings of the ACM on Programming Languages 17.
Journal Article
6, POPL, 34, pp. 1 - 29 (2022)
Concurrent Incorrectness Separation Logic. Proceedings of the ACM on Programming Languages 18.
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 Proceedings (1)
19.
Proceedings
11). Dagstuhl Seminar 21481 "Secure Compilation", Dagstuhl, Germany, November 28, 2021 - December 03, 2021. Schloss Dagstuhl, Wadern (2022)
Secure Compilation (Dagstuhl Reports, Conference Paper (9)
20.
Conference Paper
A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 81 - 98 (Eds. Fisman, D.; Rosu, G.). 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, April 02, 2022 - April 07, 2022. Springer, Berlin (2022)