24:52 [POPL'23] Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-a... ACM SIGPLAN
25:20 [POPL'23] DimSum: A Decentralized Approach to Multi-language Semantics and Verification ACM SIGPLAN
23:41 [POPL'23] Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCe... ACM SIGPLAN
24:56 [POPL'23] The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Un... ACM SIGPLAN
23:48 [POPL'23] A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F... ACM SIGPLAN
19:10 [POPL'23] Making a Type Difference: Subtraction on Intersection Types as Generalized Recor... ACM SIGPLAN
22:00 [POPL'23] Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework ACM SIGPLAN
24:39 [POPL'23] Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Ch... ACM SIGPLAN
23:56 [POPL'23] Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in C... ACM SIGPLAN
23:26 [POPL'23] An Operational Approach to Library Abstraction under Relaxed Memory Concurrency ACM SIGPLAN
23:13 [POPL'23] Stratified Commutativity in Verification Algorithms for Concurrent Programs ACM SIGPLAN
24:56 [POPL'23] Inductive Synthesis of Structurally Recursive Functional Programs from Non-recur... ACM SIGPLAN
23:13 [POPL'23] Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortize... ACM SIGPLAN
28:18 [POPL'23] Smoothness Analysis for Probabilistic Programs with Application to Optimised Var... ACM SIGPLAN
24:15 [POPL'23] Combining Functional and Automata Synthesis to Discover Causal Reactive Programs ACM SIGPLAN
25:34 [POPL'23] ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Progra... ACM SIGPLAN
23:06 [POPL'23] From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Se... ACM SIGPLAN
25:18 [POPL'23] Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Pro... ACM SIGPLAN
