Wissenschaftliche Publikationen
Zeitschriftenartikel (17)
1.
Zeitschriftenartikel
23 (2), 9, S. 1 - 20 (2022)
O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Transactions on Computational Logic 2.
Zeitschriftenartikel
6, POPL, 17, S. 1 - 28 (2022)
Context-bounded Verification of Thread Pools. Proceedings of the ACM on Programming Languages 3.
Zeitschriftenartikel
16 (2), 8, S. 1 - 34 (2022)
Toward Fair Recommendation in Two-sided Platforms. ACM Transactions on the Web 4.
Zeitschriftenartikel
6, POPL, 41, S. 1 - 29 (2022)
Subcubic Certificates for CFL Reachability. Proceedings of the ACM on Programming Languages 5.
Zeitschriftenartikel
33 (2), S. 314 - 321 (2022)
On the Shorey–Tijdeman Diophantine Equation Involving Terms of Lucas Sequences. Indagationes Mathematicae 6.
Zeitschriftenartikel
32, e3 (2022)
On being a PhD student of Robert Harper. Journal of Functional Programming 7.
Zeitschriftenartikel
302, 103609 (2022)
On Fair Selection in the Presence of Implicit and Differential Variance. Artificial Intelligence 8.
Zeitschriftenartikel
18 (1), 37, S. 1 - 29 (2022)
Sequential Relational Decomposition. Logical Mehods in Computer Science 9.
Zeitschriftenartikel
6, POPL, 28, S. 1 - 31 (2022)
Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations. Proceedings of the ACM on Programming Languages 10.
Zeitschriftenartikel
6, POPL, 23, S. 1 - 27 (2022)
Pirouette: Higher-Order Typed Functional Choreographies. Proceedings of the ACM on Programming Languages 11.
Zeitschriftenartikel
What’s Decidable about Linear Loops? Proceedings of the ACM on Programming Languages, 65, S. 1 - 25 (2022)
12.
Zeitschriftenartikel
6, POPL, 49, S. 1 - 28 (2022)
Truly Stateless, Optimal Dynamic Partial Order Reduction. Proceedings of the ACM on Programming Languages 13.
Zeitschriftenartikel
6, POPL, 27, S. 1 - 30 (2022)
Isolation Without Taxation: Near Zero Cost Transitions for SFI. Proceedings of the ACM on Programming Languages 14.
Zeitschriftenartikel
6 (OOPSLA1), 81, S. 1 - 27 (2022)
Finding Real Bugs in Big Programs with Incorrectness Logic. Proceedings of the ACM on Programming Languages 15.
Zeitschriftenartikel
6, POPL, 20, S. 1 - 32 (2022)
VIP: Verifying Real-World C Idioms with Integer-Pointer Casts. Proceedings of the ACM on Programming Languages 16.
Zeitschriftenartikel
6, POPL, 34, S. 1 - 29 (2022)
Concurrent Incorrectness Separation Logic. Proceedings of the ACM on Programming Languages 17.
Zeitschriftenartikel
6, POPL, 22, S. 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 Konferenzbeitrag (5)
18.
Konferenzbeitrag
A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 81 - 98 (Hg. Fisman, D.; Rosu, G.). 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, 02. April 2022 - 07. April 2022. Springer, Berlin (2022)
19.
Konferenzbeitrag
BOCoSy: Small but Powerful Symbolic Output-Feedback Control. In: HSCC 2022, 24 (Hg. Bartocci, E.; Putot, S.). 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy (Virtual Event), 04. Mai 2022 - 06. Mai 2022. ACM, New York, NY (2022)
20.
Konferenzbeitrag
Detecting and Mitigating Test-time Failure Risks via Model-agnostic Uncertainty Learning. In: 21st IEEE International Conference on Data Mining, S. 1174 - 1179 (Hg. Bailey, J.; Miettinen, P.; Koh, Y. S.; Tao, D.; Wu, X.). 21st IEEE International Conference on Data Mining , Auckland, New Zealand (Virtual Conference), 07. Dezember 2021 - 10. Dezember 2021. IEEE, Piscataway, NJ (2022)