Wissenschaftliche Publikationen
Zeitschriftenartikel (26)
1.
Zeitschriftenartikel
43 (4), 14, S. 1 - 48 (2021)
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Transactions on Programming Languages and Systems 2.
Zeitschriftenartikel
5, ICFP, 93, S. 1 - 30 (2021)
Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics. Proceedings of the ACM on Programming Languages 3.
Zeitschriftenartikel
5, POPL, 48, S. 1 - 24 (2021)
Deciding ω-Regular Properties on Linear Recurrence Sequences. Proceedings of the ACM on Programming Languages 4.
Zeitschriftenartikel
65, S. 638 - 661 (2021)
First-Order Orbit Queries. Theory of Computing Systems 5.
Zeitschriftenartikel
5, POPL, 44, S. 1 - 31 (2021)
Context-bounded Verification of Liveness Properties for Multithreaded Shared-memory Programs. Proceedings of the ACM on Programming Languages 6.
Zeitschriftenartikel
9 (1), S. 43 - 61 (2021)
Diversity in News Recommendation. Dagstuhl Manifestos 7.
Zeitschriftenartikel
49 (4), S. 361 - 401 (2021)
Permissive Runtime Information Flow Control in the Presence of Exceptions. Journal of Computer Security 8.
Zeitschriftenartikel
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 9.
Zeitschriftenartikel
71 (2), S. 275 - 284 (2021)
Padovan Numbers that are Concatenations of Two Distinct Repdigits. Mathematica Slovaca 10.
Zeitschriftenartikel
64 (4), S. 144 - 152 (2021)
Safe systems programming in Rust. Communications of the ACM 11.
Zeitschriftenartikel
5, POPL, 43, S. 1 - 29 (2021)
PerSeVerE: Persistency Semantics for Verification under Ext4. Proceedings of the ACM on Programming Languages 12.
Zeitschriftenartikel
5 (CSCW1), 149, S. 1 - 19 (2021)
Characterizing the Online Learning Landscape: What and How People Learn Online. Proceedings of the ACM on Human-Computer Interaction 13.
Zeitschriftenartikel
5, OOPSLA, 98, S. 1 - 27 (2021)
Making Weak Memory Models Fair. Proceedings of the ACM on Programming Languages 14.
Zeitschriftenartikel
17 (4) (2021)
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. Logical Methods in Computer Science 15.
Zeitschriftenartikel
54 (5), S. 127 - 132 (2021)
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. IFAC-PapersOnLine 16.
Zeitschriftenartikel
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. Formal Methods in System Design, 7, S. 1 - 12 (2021)
17.
Zeitschriftenartikel
43 (1), S. 1 - 41 (2021)
Robustly Safe Compilation, an Efficient Form of Secure Compilation. ACM Transactions on Programming Languages and Systems 18.
Zeitschriftenartikel
31, e27 (2021)
Relational Cost Analysis in a Functional-imperative Setting. Journal of Functional Programming 19.
Zeitschriftenartikel
20 (5s), 81, S. 1 - 23 (2021)
Regime Inference for Sound Floating-Point Optimizations. ACM Transactions on Embedded Computing Systems 20.
Zeitschriftenartikel
5, POPL, 27, S. 1 - 28 (2021)
A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis. Proceedings of the ACM on Programming Languages