Journal Article (252)
61.
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 62.
Journal Article
112, pp. 939 - 970 (2022)
Responsible Model Deployment via Model-agnostic Uncertainty Learning. Machine Learning 63.
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 64.
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 65.
Journal Article
8 (4), 25, pp. 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 66.
Journal Article
18 (4), 1, pp. 1 - 38 (2022)
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. Logical Methods in Computer Science 67.
Journal Article
285 (B), 104810 (2022)
Robust, expressive, and quantitative linear temporal logics: Pick any two for free. Information and Computation 68.
Journal Article
6, POPL, 34, pp. 1 - 29 (2022)
Concurrent Incorrectness Separation Logic. Proceedings of the ACM on Programming Languages 69.
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 70.
Journal Article
17 (9), e0274569 (2022)
A Training Strategy for Hybrid Models to Break the Curse of Dimensionality. PLoS One 71.
Journal Article
6, ICFP, 100, pp. 1 - 29 (2022)
Later Credits: Resourceful Reasoning for the Later Modality. Proceedings of the ACM on Programming Languages 72.
Journal Article
370, pp. 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 73.
Journal Article
Combining Computational Controls with Natural Text Reveals Aspects of Meaning Composition. Nature Computational Science, pp. 745 - 757 (2022)
74.
Journal Article
18 (3), e1010008, pp. 1 - 17 (2022)
Pooled Testing of Traced Contacts under Superspreading Dynamics. PLoS Computational Biology 75.
Journal Article
6 (OOPSLA2), 182, pp. 1613 - 1638 (2022)
BFF: Foundational and Automated Verification of Bitfield-manipulating Programs. Proceedings of the ACM on Programming Languages 76.
Journal Article
43 (4), 14, pp. 1 - 48 (2021)
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Transactions on Programming Languages and Systems 77.
Journal Article
5, ICFP, 93, pp. 1 - 30 (2021)
Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics. Proceedings of the ACM on Programming Languages 78.
Journal Article
5, POPL, 48, pp. 1 - 24 (2021)
Deciding ω-Regular Properties on Linear Recurrence Sequences. Proceedings of the ACM on Programming Languages 79.
Journal Article
65, pp. 638 - 661 (2021)
First-Order Orbit Queries. Theory of Computing Systems 80.
Journal Article
5, POPL, 44, pp. 1 - 31 (2021)
Context-bounded Verification of Liveness Properties for Multithreaded Shared-memory Programs. Proceedings of the ACM on Programming Languages