Zeitschriftenartikel (248)
41.
Zeitschriftenartikel
15 (2), 8, S. 1 - 34 (2022)
Towards Fair Recommendation in Two-Sided Platforms. ACM Transactions on the Web 42.
Zeitschriftenartikel
6, POPL, 41, S. 1 - 29 (2022)
Subcubic Certificates for CFL Reachability. Proceedings of the ACM on Programming Languages 43.
Zeitschriftenartikel
6 (OOPSLA2), 135, S. 289 - 314 (2022)
Proving Hypersafety Compositionally. Proceedings of the ACM on Programming Languages 44.
Zeitschriftenartikel
33 (2), S. 314 - 321 (2022)
On the Shorey–Tijdeman Diophantine Equation Involving Terms of Lucas Sequences. Indagationes Mathematicae 45.
Zeitschriftenartikel
32, e3 (2022)
On being a PhD student of Robert Harper. Journal of Functional Programming 46.
Zeitschriftenartikel
302, 103609 (2022)
On Fair Selection in the Presence of Implicit and Differential Variance. Artificial Intelligence 47.
Zeitschriftenartikel
18 (1), 37, S. 1 - 29 (2022)
Sequential Relational Decomposition. Logical Mehods in Computer Science 48.
Zeitschriftenartikel
18 (3), S. 427 - 442 (2022)
MaxSAT-based Temporal Logic Inference from Noisy Data. Innovations in Systems and Software Engineering 49.
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 50.
Zeitschriftenartikel
40 (2), 22, S. 1 - 42 (2022)
The Network Visibility Problem. ACM Transactions on Information Systems 51.
Zeitschriftenartikel
2022 (4), S. 457 - 485 (2022)
Ctrl-Shift: How Privacy Sentiment Changed from 2019 to 2021. Proceedings on Privacy Enhancing Technologies 52.
Zeitschriftenartikel
6 (CSCW2), 537, S. 1 - 37 (2022)
Risk, Resilience and Reward: Impacts of Shifting to Digital Sex Work. Proceedings of the ACM on Human-Computer Interaction 53.
Zeitschriftenartikel
6, POPL, 23, S. 1 - 27 (2022)
Pirouette: Higher-Order Typed Functional Choreographies. Proceedings of the ACM on Programming Languages 54.
Zeitschriftenartikel
What's Decidable about Linear Loops? Proceedings of the ACM on Programming Languages, 65, S. 1 - 25 (2022)
55.
Zeitschriftenartikel
370, S. 81 - 96 (2022)
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. Electronic Proceedings in Theoretical Computer Science 56.
Zeitschriftenartikel
6, POPL, 49, S. 1 - 28 (2022)
Truly Stateless, Optimal Dynamic Partial Order Reduction. Proceedings of the ACM on Programming Languages 57.
Zeitschriftenartikel
6, POPL, 27, S. 1 - 30 (2022)
Isolation Without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI. Proceedings of the ACM on Programming Languages 58.
Zeitschriftenartikel
112, S. 939 - 970 (2022)
Responsible Model Deployment via Model-agnostic Uncertainty Learning. Machine Learning 59.
Zeitschriftenartikel
6 (OOPSLA1), 81, S. 1 - 27 (2022)
Finding Real Bugs in Big Programs with Incorrectness Logic. Proceedings of the ACM on Programming Languages 60.
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