Zeitschriftenartikel (40)
21.
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 22.
Zeitschriftenartikel
6, POPL, 23, S. 1 - 27 (2022)
Pirouette: Higher-Order Typed Functional Choreographies. Proceedings of the ACM on Programming Languages 23.
Zeitschriftenartikel
What's Decidable about Linear Loops? Proceedings of the ACM on Programming Languages, 65, S. 1 - 25 (2022)
24.
Zeitschriftenartikel
370, S. 81 - 96 (2022)
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. Electronic Proceedings in Theoretical Computer Science 25.
Zeitschriftenartikel
6, POPL, 49, S. 1 - 28 (2022)
Truly Stateless, Optimal Dynamic Partial Order Reduction. Proceedings of the ACM on Programming Languages 26.
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 27.
Zeitschriftenartikel
112, S. 939 - 970 (2022)
Responsible Model Deployment via Model-agnostic Uncertainty Learning. Machine Learning 28.
Zeitschriftenartikel
6 (OOPSLA1), 81, S. 1 - 27 (2022)
Finding Real Bugs in Big Programs with Incorrectness Logic. Proceedings of the ACM on Programming Languages 29.
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 30.
Zeitschriftenartikel
8 (4), 25, S. 1 - 28 (2022)
Quantifying the Effects of Contact Tracing, Testing, and Containment Measures in the Presence of Infection Hotspots. ACM Transactions on Spatial Algorithms and Systems 31.
Zeitschriftenartikel
18 (4), 1, S. 1 - 38 (2022)
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. Logical Methods in Computer Science 32.
Zeitschriftenartikel
285 (B), 104810 (2022)
Robust, expressive, and quantitative linear temporal logics: Pick any two for free. Information and Computation 33.
Zeitschriftenartikel
6, POPL, 34, S. 1 - 29 (2022)
Concurrent Incorrectness Separation Logic. Proceedings of the ACM on Programming Languages 34.
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 35.
Zeitschriftenartikel
17 (9), e0274569 (2022)
A Training Strategy for Hybrid Models to Break the Curse of Dimensionality. PLoS One 36.
Zeitschriftenartikel
6, ICFP, 100, S. 1 - 29 (2022)
Later Credits: Resourceful Reasoning for the Later Modality. Proceedings of the ACM on Programming Languages 37.
Zeitschriftenartikel
370, S. 194 - 212 (2022)
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. Electronic Proceedings in Theoretical Computer Science 38.
Zeitschriftenartikel
Combining Computational Controls with Natural Text Reveals Aspects of Meaning Composition. Nature Computational Science, S. 745 - 757 (2022)
39.
Zeitschriftenartikel
18 (3), e1010008, S. 1 - 17 (2022)
Pooled Testing of Traced Contacts under Superspreading Dynamics. PLoS Computational Biology 40.
Zeitschriftenartikel
6 (OOPSLA2), 182, S. 1613 - 1638 (2022)
BFF: Foundational and Automated Verification of Bitfield-manipulating Programs. Proceedings of the ACM on Programming Languages