18:50 [POPL'24] Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipu... ACM SIGPLAN
19:15 [POPL'24] An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Dedu... ACM SIGPLAN
18:32 [POPL'24] Mostly Automated Verification of Liveness Properties for Distributed Protocols w... ACM SIGPLAN
22:52 [POPL'24] Answer Refinement Modification: Refinement Type System for Algebraic Effects and... ACM SIGPLAN
19:32 [POPL'24] EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers ... ACM SIGPLAN
20:58 [POPL'24] A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verifie... ACM SIGPLAN
21:19 [POPL'24] Modular Denotational Semantics for Effects with Guarded Interaction Trees ACM SIGPLAN
17:25 [POPL'24] Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Progr... ACM SIGPLAN
18:26 [POPL'24] Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in ... ACM SIGPLAN
18:40 [POPL'24] Probabilistic programming interfaces for random graphs: Markov categories, graph... ACM SIGPLAN
20:14 [POPL'24] Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures ACM SIGPLAN
22:21 [POPL'24] Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants f... ACM SIGPLAN
19:11 [POPL'24] Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Determinis... ACM SIGPLAN
21:31 [POPL'24] SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Co... ACM SIGPLAN
19:03 [POPL'24] An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: T... ACM SIGPLAN
19:33 [POPL'24] Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intension... ACM SIGPLAN
19:42 [POPL'24] Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-O... ACM SIGPLAN
4:59 [POPL'24] Extraordinary Meeting: The Publicity Chairs Reflect on the Peer-Review Process ACM SIGPLAN
21:33 [POPL'24] When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-C... ACM SIGPLAN
19:44 [POPL'24] Fully Composable and Adequate Verified Compilation with Direct Refinements betwe... ACM SIGPLAN
26:11 [POPL'24] Calculational Design of [In]Correctness Transformational Program Logics by Abstr... ACM SIGPLAN
