POPL 2025
Proceedings of the ACM on Programming Languages, Volume 9, Number POPL
Powered by
Conference Publishing Consulting

Proceedings of the ACM on Programming Languages, Volume 9, Number POPL

POPL 2025 – Author Index

Contents - Abstracts - Authors

A B C D E F G H I J K L M N O P R S T U V W X Y Z

Abdulla, Parosh Aziz Proc. ACM Program. Lang., vol. 9, issue POPL: "Verifying Quantum Circuits ..." Article: popl25main-p100-p doi:10.1145/3704868
Accattoli, Beniamino Proc. ACM Program. Lang., vol. 9, issue POPL: "Interaction Equivalence ..." Article: popl25main-p200-p doi:10.1145/3704891
Adams, Michael D. Proc. ACM Program. Lang., vol. 9, issue POPL: "Grove: A Bidirectionally Typed ..." Article: popl25main-p293-p doi:10.1145/3704909
Aguirre, Alejandro Proc. ACM Program. Lang., vol. 9, issue POPL: "Approximate Relational Reasoning ..." Article: popl25main-p139-p doi:10.1145/3704877 Proc. ACM Program. Lang., vol. 9, issue POPL: "Modelling Recursion and Probabilistic ..." Article: popl25main-p155-p doi:10.1145/3704884
Ait El Manssour, Rida Proc. ACM Program. Lang., vol. 9, issue POPL: "Simple Linear Loops: Algebraic ..." Article: popl25main-p81-p doi:10.1145/3704862
Akiti, Nikhil Proc. ACM Program. Lang., vol. 9, issue POPL: "Generic Refinement Types ..." Article: popl25main-p176-p doi:10.1145/3704885
Allain, Clément Proc. ACM Program. Lang., vol. 9, issue POPL: "Tail Modulo Cons, OCaml, and ..." Article: popl25main-p318-p doi:10.1145/3704915
Amy, Matthew Proc. ACM Program. Lang., vol. 9, issue POPL: "Linear and Non-linear Relational ..." Article: popl25main-p119-p doi:10.1145/3704873
Appel, Andrew W. Proc. ACM Program. Lang., vol. 9, issue POPL: "A Verified Foreign Function ..." Article: popl25main-p69-p doi:10.1145/3704860
Arntzenius, Michael Proc. ACM Program. Lang., vol. 9, issue POPL: "Finite-Choice Logic Programming ..." Article: popl25main-p44-p doi:10.1145/3704849
Arora, Jai Proc. ACM Program. Lang., vol. 9, issue POPL: "TensorRight: Automated Verification ..." Article: popl25main-p85-p doi:10.1145/3704865
Arranz Olmos, Santiago Proc. ACM Program. Lang., vol. 9, issue POPL: "Preservation of Speculative ..." Article: popl25main-p144-p doi:10.1145/3704880
Atkinson, Eric Proc. ACM Program. Lang., vol. 9, issue POPL: "Inference Plans for Hybrid ..." Article: popl25main-p40-p doi:10.1145/3704846
Avanzini, Martin Proc. ACM Program. Lang., vol. 9, issue POPL: "A Quantitative Probabilistic ..." Article: popl25main-p135-p doi:10.1145/3704876
Backes, Michael Proc. ACM Program. Lang., vol. 9, issue POPL: "Do You Even Lift? Strengthening ..." Article: popl25main-p98-p doi:10.1145/3704867
Ball, Thomas Proc. ACM Program. Lang., vol. 9, issue POPL: "Symbolic Automata: Omega-Regularity ..." Article: popl25main-p11-p doi:10.1145/3704838
Balzer, Stephanie Proc. ACM Program. Lang., vol. 9, issue POPL: "Semantic Logical Relations ..." Article: popl25main-p210-p doi:10.1145/3704895
Banerjee, Rini Proc. ACM Program. Lang., vol. 9, issue POPL: "Fulminate: Testing CN Separation-Logic ..." Article: popl25main-p143-p doi:10.1145/3704879
Bao, Jialu Proc. ACM Program. Lang., vol. 9, issue POPL: "Bluebell: An Alliance of Relational ..." Article: popl25main-p206-p doi:10.1145/3704894
Barthe, Gilles Proc. ACM Program. Lang., vol. 9, issue POPL: "A Quantitative Probabilistic ..." Article: popl25main-p135-p doi:10.1145/3704876 Proc. ACM Program. Lang., vol. 9, issue POPL: "Automating Equational Proofs ..." Article: popl25main-p140-p doi:10.1145/3704878 Proc. ACM Program. Lang., vol. 9, issue POPL: "Preservation of Speculative ..." Article: popl25main-p144-p doi:10.1145/3704880
Basin, David Proc. ACM Program. Lang., vol. 9, issue POPL: "Reachability Analysis of the ..." Article: popl25main-p226-p doi:10.1145/3704898
Baudart, Guillaume Proc. ACM Program. Lang., vol. 9, issue POPL: "Inference Plans for Hybrid ..." Article: popl25main-p40-p doi:10.1145/3704846
Belyakova, Julia Proc. ACM Program. Lang., vol. 9, issue POPL: "Derivative-Guided Symbolic ..." Article: popl25main-p184-p doi:10.1145/3704886
Birkedal, Lars Proc. ACM Program. Lang., vol. 9, issue POPL: "Approximate Relational Reasoning ..." Article: popl25main-p139-p doi:10.1145/3704877 Proc. ACM Program. Lang., vol. 9, issue POPL: "Modelling Recursion and Probabilistic ..." Article: popl25main-p155-p doi:10.1145/3704884
Blanchette, Henry Proc. ACM Program. Lang., vol. 9, issue POPL: "Pantograph: A Fluid and Typed ..." Article: popl25main-p84-p doi:10.1145/3704864
Blatter, Lionel Proc. ACM Program. Lang., vol. 9, issue POPL: "Preservation of Speculative ..." Article: popl25main-p144-p doi:10.1145/3704880
Blaudeau, Clément Proc. ACM Program. Lang., vol. 9, issue POPL: "Avoiding Signature Avoidance ..." Article: popl25main-p252-p doi:10.1145/3704902
Bodik, Rastislav Proc. ACM Program. Lang., vol. 9, issue POPL: "TensorRight: Automated Verification ..." Article: popl25main-p85-p doi:10.1145/3704865
Bour, Frédéric Proc. ACM Program. Lang., vol. 9, issue POPL: "Tail Modulo Cons, OCaml, and ..." Article: popl25main-p318-p doi:10.1145/3704915
Cai, Yufan Proc. ACM Program. Lang., vol. 9, issue POPL: "Automated Program Refinement: ..." Article: popl25main-p279-p doi:10.1145/3704905
Carbin, Michael Proc. ACM Program. Lang., vol. 9, issue POPL: "Inference Plans for Hybrid ..." Article: popl25main-p40-p doi:10.1145/3704846
Casinghino, Chris Proc. ACM Program. Lang., vol. 9, issue POPL: "Data Race Freedom à la Mode ..." Article: popl25main-p68-p doi:10.1145/3704859
Cesario, Jahrim Gabriele Proc. ACM Program. Lang., vol. 9, issue POPL: "Dis/Equality Graphs ..." Article: popl25main-p309-p doi:10.1145/3704913
Ceulemans, Joris Proc. ACM Program. Lang., vol. 9, issue POPL: "BiSikkel: A Multimode Logical ..." Article: popl25main-p37-p doi:10.1145/3704844
Chakraborty, Soham Proc. ACM Program. Lang., vol. 9, issue POPL: "Relaxed Memory Concurrency ..." Article: popl25main-p291-p doi:10.1145/3704908
Chan, Jonathan Proc. ACM Program. Lang., vol. 9, issue POPL: "Consistency of a Dependent ..." Article: popl25main-p33-p doi:10.1145/3704843
Chen, Yo-Ga Proc. ACM Program. Lang., vol. 9, issue POPL: "Verifying Quantum Circuits ..." Article: popl25main-p100-p doi:10.1145/3704868
Chen, Yu-Fang Proc. ACM Program. Lang., vol. 9, issue POPL: "Verifying Quantum Circuits ..." Article: popl25main-p100-p doi:10.1145/3704868
Cheng, Ellie Y. Proc. ACM Program. Lang., vol. 9, issue POPL: "Inference Plans for Hybrid ..." Article: popl25main-p40-p doi:10.1145/3704846
Cheung, Alvin Proc. ACM Program. Lang., vol. 9, issue POPL: "Flo: A Semantic Foundation ..." Article: popl25main-p38-p doi:10.1145/3704845
Cho, Minki Proc. ACM Program. Lang., vol. 9, issue POPL: "Archmage and CompCertCast: ..." Article: popl25main-p147-p doi:10.1145/3704881
Choudhury, Vikraman Proc. ACM Program. Lang., vol. 9, issue POPL: "The Duality of λ-Abstraction ..." Article: popl25main-p43-p doi:10.1145/3704848
Chuang, Cheng-En Proc. ACM Program. Lang., vol. 9, issue POPL: "Semantic Logical Relations ..." Article: popl25main-p210-p doi:10.1145/3704895
Clément, Basile Proc. ACM Program. Lang., vol. 9, issue POPL: "Tail Modulo Cons, OCaml, and ..." Article: popl25main-p318-p doi:10.1145/3704915
Colledan, Andrea Proc. ACM Program. Lang., vol. 9, issue POPL: "Flexible Type-Based Resource ..." Article: popl25main-p153-p doi:10.1145/3704883
Conrado, Giovanna Kobus Proc. ACM Program. Lang., vol. 9, issue POPL: "Program Analysis via Multiple ..." Article: popl25main-p53-p doi:10.1145/3704854
Correnson, Arthur Proc. ACM Program. Lang., vol. 9, issue POPL: "Coinductive Proofs for Temporal ..." Article: popl25main-p191-p doi:10.1145/3704889
Cousot, Patrick Proc. ACM Program. Lang., vol. 9, issue POPL: "Calculational Design of Hyperlogics ..." Article: popl25main-p51-p doi:10.1145/3704852
Cui, Chen Proc. ACM Program. Lang., vol. 9, issue POPL: "Bidirectional Higher-Rank ..." Article: popl25main-p283-p doi:10.1145/3704907
Dal Lago, Ugo Proc. ACM Program. Lang., vol. 9, issue POPL: "Flexible Type-Based Resource ..." Article: popl25main-p153-p doi:10.1145/3704883
Dardinier, Thibault Proc. ACM Program. Lang., vol. 9, issue POPL: "Formal Foundations for Translational ..." Article: popl25main-p62-p doi:10.1145/3704856
Davoli, Davide Proc. ACM Program. Lang., vol. 9, issue POPL: "A Quantitative Probabilistic ..." Article: popl25main-p135-p doi:10.1145/3704876
Devriese, Dominique Proc. ACM Program. Lang., vol. 9, issue POPL: "BiSikkel: A Multimode Logical ..." Article: popl25main-p37-p doi:10.1145/3704844
Dimitrova, Rayna Proc. ACM Program. Lang., vol. 9, issue POPL: "Translation of Temporal Logic ..." Article: popl25main-p187-p doi:10.1145/3704888
Ding, Tingting Proc. ACM Program. Lang., vol. 9, issue POPL: "Denotational Semantics of ..." Article: popl25main-p83-p doi:10.1145/3704863
Dolan, Stephen Proc. ACM Program. Lang., vol. 9, issue POPL: "Data Race Freedom à la Mode ..." Article: popl25main-p68-p doi:10.1145/3704859
Dong, Jin Song Proc. ACM Program. Lang., vol. 9, issue POPL: "Automated Program Refinement: ..." Article: popl25main-p279-p doi:10.1145/3704905
D'Osualdo, Emanuele Proc. ACM Program. Lang., vol. 9, issue POPL: "Bluebell: An Alliance of Relational ..." Article: popl25main-p206-p doi:10.1145/3704894
Dreyer, Derek Proc. ACM Program. Lang., vol. 9, issue POPL: "Data Race Freedom à la Mode ..." Article: popl25main-p68-p doi:10.1145/3704859
Ebner, Gabriel Proc. ACM Program. Lang., vol. 9, issue POPL: "Symbolic Automata: Omega-Regularity ..." Article: popl25main-p11-p doi:10.1145/3704838
Eisenberg, Richard A. Proc. ACM Program. Lang., vol. 9, issue POPL: "Data Race Freedom à la Mode ..." Article: popl25main-p68-p doi:10.1145/3704859
Elad, Neta Proc. ACM Program. Lang., vol. 9, issue POPL: "Axe ’Em: Eliminating Spurious ..." Article: popl25main-p52-p doi:10.1145/3704853
Elbeheiry, Laila Proc. ACM Program. Lang., vol. 9, issue POPL: "Data Race Freedom à la Mode ..." Article: popl25main-p68-p doi:10.1145/3704859
Ernits, Juhan Proc. ACM Program. Lang., vol. 9, issue POPL: "RE#: High Performance Derivative-Based ..." Article: popl25main-p2-p doi:10.1145/3704837
Fabian, Xaver Proc. ACM Program. Lang., vol. 9, issue POPL: "Do You Even Lift? Strengthening ..." Article: popl25main-p98-p doi:10.1145/3704867
Fang, Yuzhou Proc. ACM Program. Lang., vol. 9, issue POPL: "An Incremental Algorithm for ..." Article: popl25main-p250-p doi:10.1145/3704901
Farzan, Azadeh Proc. ACM Program. Lang., vol. 9, issue POPL: "Bluebell: An Alliance of Relational ..." Article: popl25main-p206-p doi:10.1145/3704894
Finkbeiner, Bernd Proc. ACM Program. Lang., vol. 9, issue POPL: "Coinductive Proofs for Temporal ..." Article: popl25main-p191-p doi:10.1145/3704889
Fu, Zhoulai Proc. ACM Program. Lang., vol. 9, issue POPL: "On Extending Incorrectness ..." Article: popl25main-p46-p doi:10.1145/3704850
Gardner, Philippa Proc. ACM Program. Lang., vol. 9, issue POPL: "Progressful Interpreters for ..." Article: popl25main-p67-p doi:10.1145/3704858
Gay, Simon J. Proc. ACM Program. Lang., vol. 9, issue POPL: "The Duality of λ-Abstraction ..." Article: popl25main-p43-p doi:10.1145/3704848
Georges, Aïna Linn Proc. ACM Program. Lang., vol. 9, issue POPL: "Data Race Freedom à la Mode ..." Article: popl25main-p68-p doi:10.1145/3704859
Giacobazzi, Roberto Proc. ACM Program. Lang., vol. 9, issue POPL: "The Best of Abstract Interpretations ..." Article: popl25main-p149-p doi:10.1145/3704882
Gilbert, Gaëtan Proc. ACM Program. Lang., vol. 9, issue POPL: "All Your Base Are Belong to ..." Article: popl25main-p305-p doi:10.1145/3704912
Giovannini, Eric Proc. ACM Program. Lang., vol. 9, issue POPL: "Denotational Semantics of ..." Article: popl25main-p83-p doi:10.1145/3704863
Golovin, Pavel Proc. ACM Program. Lang., vol. 9, issue POPL: "RELINCHE: Automatically Checking ..." Article: popl25main-p280-p doi:10.1145/3704906
Goncharov, Sergey Proc. ACM Program. Lang., vol. 9, issue POPL: "Abstract Operational Methods ..." Article: popl25main-p115-p doi:10.1145/3704871
Gratzer, Daniel Proc. ACM Program. Lang., vol. 9, issue POPL: "A Modal Deconstruction of ..." Article: popl25main-p95-p doi:10.1145/3704866
Gregersen, Simon Oddershede Proc. ACM Program. Lang., vol. 9, issue POPL: "Approximate Relational Reasoning ..." Article: popl25main-p139-p doi:10.1145/3704877
Grégoire, Benjamin Proc. ACM Program. Lang., vol. 9, issue POPL: "A Quantitative Probabilistic ..." Article: popl25main-p135-p doi:10.1145/3704876 Proc. ACM Program. Lang., vol. 9, issue POPL: "Preservation of Speculative ..." Article: popl25main-p144-p doi:10.1145/3704880
Griffis, Eric Proc. ACM Program. Lang., vol. 9, issue POPL: "Grove: A Bidirectionally Typed ..." Article: popl25main-p293-p doi:10.1145/3704909
Guarnieri, Marco Proc. ACM Program. Lang., vol. 9, issue POPL: "Do You Even Lift? Strengthening ..." Article: popl25main-p98-p doi:10.1145/3704867
Hack, Sebastian Proc. ACM Program. Lang., vol. 9, issue POPL: "MimIR: An Extensible and Type-Safe ..." Article: popl25main-p20-p doi:10.1145/3704840
Haselwarter, Philipp G. Proc. ACM Program. Lang., vol. 9, issue POPL: "Approximate Relational Reasoning ..." Article: popl25main-p139-p doi:10.1145/3704877
Heim, Philippe Proc. ACM Program. Lang., vol. 9, issue POPL: "Translation of Temporal Logic ..." Article: popl25main-p187-p doi:10.1145/3704888
Hellerstein, Joseph M. Proc. ACM Program. Lang., vol. 9, issue POPL: "Flo: A Semantic Foundation ..." Article: popl25main-p38-p doi:10.1145/3704845
Heunen, Chris Proc. ACM Program. Lang., vol. 9, issue POPL: "Qurts: Automatic Quantum Uncomputation ..." Article: popl25main-p27-p doi:10.1145/3704842
Hirata, Kengo Proc. ACM Program. Lang., vol. 9, issue POPL: "Qurts: Automatic Quantum Uncomputation ..." Article: popl25main-p27-p doi:10.1145/3704842
Holík, Lukáš Proc. ACM Program. Lang., vol. 9, issue POPL: "Verifying Quantum Circuits ..." Article: popl25main-p100-p doi:10.1145/3704868
Hou, Zhe Proc. ACM Program. Lang., vol. 9, issue POPL: "Generically Automating Separation ..." Article: popl25main-p255-p doi:10.1145/3704903 Proc. ACM Program. Lang., vol. 9, issue POPL: "Automated Program Refinement: ..." Article: popl25main-p279-p doi:10.1145/3704905
Houshmand, Farzin Proc. ACM Program. Lang., vol. 9, issue POPL: "TensorRight: Automated Verification ..." Article: popl25main-p85-p doi:10.1145/3704865
Hu, Jason Z. S. Proc. ACM Program. Lang., vol. 9, issue POPL: "A Dependent Type Theory for ..." Article: popl25main-p47-p doi:10.1145/3704851
Hu, Zhenjiang Proc. ACM Program. Lang., vol. 9, issue POPL: "Biparsers: Exact Printing ..." Article: popl25main-p300-p doi:10.1145/3704910
Hur, Chung-Kil Proc. ACM Program. Lang., vol. 9, issue POPL: "Archmage and CompCertCast: ..." Article: popl25main-p147-p doi:10.1145/3704881 Proc. ACM Program. Lang., vol. 9, issue POPL: "VeriRT: An End-to-End Verification ..." Article: popl25main-p224-p doi:10.1145/3704897
Iraci, Grant Proc. ACM Program. Lang., vol. 9, issue POPL: "Semantic Logical Relations ..." Article: popl25main-p210-p doi:10.1145/3704895
Jagannathan, Suresh Proc. ACM Program. Lang., vol. 9, issue POPL: "Derivative-Guided Symbolic ..." Article: popl25main-p184-p doi:10.1145/3704886
Jain, Devansh Proc. ACM Program. Lang., vol. 9, issue POPL: "TensorRight: Automated Verification ..." Article: popl25main-p85-p doi:10.1145/3704865
Jhala, Ranjit Proc. ACM Program. Lang., vol. 9, issue POPL: "Generic Refinement Types ..." Article: popl25main-p176-p doi:10.1145/3704885
Jiang, Shengyi Proc. ACM Program. Lang., vol. 9, issue POPL: "Bidirectional Higher-Rank ..." Article: popl25main-p283-p doi:10.1145/3704907
Jung, Ralf Proc. ACM Program. Lang., vol. 9, issue POPL: "Program Logics à la Carte ..." Article: popl25main-p42-p doi:10.1145/3704847
Kabashnyi, Ivan Proc. ACM Program. Lang., vol. 9, issue POPL: "Relaxed Memory Concurrency ..." Article: popl25main-p291-p doi:10.1145/3704908
Kaminski, Benjamin Lucien Proc. ACM Program. Lang., vol. 9, issue POPL: "A Taxonomy of Hoare-Like Logics: ..." Article: popl25main-p219-p doi:10.1145/3704896
Kappé, Tobias Proc. ACM Program. Lang., vol. 9, issue POPL: "CF-GKAT: Efficient Validation ..." Article: popl25main-p65-p doi:10.1145/3704857 Proc. ACM Program. Lang., vol. 9, issue POPL: "Algebras for Deterministic ..." Article: popl25main-p71-p doi:10.1145/3704861
Kenison, George Proc. ACM Program. Lang., vol. 9, issue POPL: "Simple Linear Loops: Algebraic ..." Article: popl25main-p81-p doi:10.1145/3704862
Kidney, Donnacha Oisín Proc. ACM Program. Lang., vol. 9, issue POPL: "Formalising Graph Algorithms ..." Article: popl25main-p203-p doi:10.1145/3704892
Kim, Jinwoo Proc. ACM Program. Lang., vol. 9, issue POPL: "Archmage and CompCertCast: ..." Article: popl25main-p147-p doi:10.1145/3704881
Kim, Yonghyun Proc. ACM Program. Lang., vol. 9, issue POPL: "Archmage and CompCertCast: ..." Article: popl25main-p147-p doi:10.1145/3704881 Proc. ACM Program. Lang., vol. 9, issue POPL: "VeriRT: An End-to-End Verification ..." Article: popl25main-p224-p doi:10.1145/3704897
Kim, Yoonseung Proc. ACM Program. Lang., vol. 9, issue POPL: "VeriRT: An End-to-End Verification ..." Article: popl25main-p224-p doi:10.1145/3704897
Kjelstrøm, Adam Husted Proc. ACM Program. Lang., vol. 9, issue POPL: "Program Analysis via Multiple ..." Article: popl25main-p53-p doi:10.1145/3704854
Kobayashi, Naoki Proc. ACM Program. Lang., vol. 9, issue POPL: "On Decidable and Undecidable ..." Article: popl25main-p134-p doi:10.1145/3704875
Koenig, Jérémie Proc. ACM Program. Lang., vol. 9, issue POPL: "Unifying Compositional Verification ..." Article: popl25main-p239-p doi:10.1145/3704900
Kokologiannakis, Michalis Proc. ACM Program. Lang., vol. 9, issue POPL: "RELINCHE: Automatically Checking ..." Article: popl25main-p280-p doi:10.1145/3704906 Proc. ACM Program. Lang., vol. 9, issue POPL: "Model Checking C/C++ with ..." Article: popl25main-p301-p doi:10.1145/3704911
Korkut, Joomy Proc. ACM Program. Lang., vol. 9, issue POPL: "A Verified Foreign Function ..." Article: popl25main-p69-p doi:10.1145/3704860
Kozen, Dexter Proc. ACM Program. Lang., vol. 9, issue POPL: "A Demonic Outcome Logic for ..." Article: popl25main-p56-p doi:10.1145/3704855
Krebbers, Robbert Proc. ACM Program. Lang., vol. 9, issue POPL: "Affect: An Affine Type and ..." Article: popl25main-p22-p doi:10.1145/3704841
Krishnakumar, Niroop Proc. ACM Program. Lang., vol. 9, issue POPL: "Generic Refinement Types ..." Article: popl25main-p176-p doi:10.1145/3704885
Krishnaswami, Neel Proc. ACM Program. Lang., vol. 9, issue POPL: "Fulminate: Testing CN Separation-Logic ..." Article: popl25main-p143-p doi:10.1145/3704879
Kurashige, Cole Proc. ACM Program. Lang., vol. 9, issue POPL: "Generic Refinement Types ..." Article: popl25main-p176-p doi:10.1145/3704885
Laddad, Shadaj Proc. ACM Program. Lang., vol. 9, issue POPL: "Flo: A Semantic Foundation ..." Article: popl25main-p38-p doi:10.1145/3704845
Lampropoulos, Leonidas Proc. ACM Program. Lang., vol. 9, issue POPL: "Pantograph: A Fluid and Typed ..." Article: popl25main-p84-p doi:10.1145/3704864
Lancelot, Adrienne Proc. ACM Program. Lang., vol. 9, issue POPL: "Interaction Equivalence ..." Article: popl25main-p200-p doi:10.1145/3704891
Laporte, Vincent Proc. ACM Program. Lang., vol. 9, issue POPL: "Preservation of Speculative ..." Article: popl25main-p144-p doi:10.1145/3704880
Lee, Jaehyung Proc. ACM Program. Lang., vol. 9, issue POPL: "Archmage and CompCertCast: ..." Article: popl25main-p147-p doi:10.1145/3704881
Lee, Sung-Hwan Proc. ACM Program. Lang., vol. 9, issue POPL: "VeriRT: An End-to-End Verification ..." Article: popl25main-p224-p doi:10.1145/3704897
Lehmann, Nico Proc. ACM Program. Lang., vol. 9, issue POPL: "Generic Refinement Types ..." Article: popl25main-p176-p doi:10.1145/3704885
Leißa, Roland Proc. ACM Program. Lang., vol. 9, issue POPL: "MimIR: An Extensible and Type-Safe ..." Article: popl25main-p20-p doi:10.1145/3704840
Lengál, Ondřej Proc. ACM Program. Lang., vol. 9, issue POPL: "Verifying Quantum Circuits ..." Article: popl25main-p100-p doi:10.1145/3704868
Lesani, Mohsen Proc. ACM Program. Lang., vol. 9, issue POPL: "TensorRight: Automated Verification ..." Article: popl25main-p85-p doi:10.1145/3704865
Li, Kwing Hei Proc. ACM Program. Lang., vol. 9, issue POPL: "Approximate Relational Reasoning ..." Article: popl25main-p139-p doi:10.1145/3704877
Liell-Cock, Jack Proc. ACM Program. Lang., vol. 9, issue POPL: "Compositional Imprecise Probability: ..." Article: popl25main-p199-p doi:10.1145/3704890
Lin, Jyun-Ao Proc. ACM Program. Lang., vol. 9, issue POPL: "Verifying Quantum Circuits ..." Article: popl25main-p100-p doi:10.1145/3704868
Lin, Yun Proc. ACM Program. Lang., vol. 9, issue POPL: "Automated Program Refinement: ..." Article: popl25main-p279-p doi:10.1145/3704905
Liu, Si Proc. ACM Program. Lang., vol. 9, issue POPL: "Reachability Analysis of the ..." Article: popl25main-p226-p doi:10.1145/3704898
Liu, Yang Proc. ACM Program. Lang., vol. 9, issue POPL: "Generically Automating Separation ..." Article: popl25main-p255-p doi:10.1145/3704903
Liu, Yiyun Proc. ACM Program. Lang., vol. 9, issue POPL: "Consistency of a Dependent ..." Article: popl25main-p33-p doi:10.1145/3704843
Lo, Fang-Yi Proc. ACM Program. Lang., vol. 9, issue POPL: "Verifying Quantum Circuits ..." Article: popl25main-p100-p doi:10.1145/3704868
Lu, Sirui Proc. ACM Program. Lang., vol. 9, issue POPL: "TensorRight: Automated Verification ..." Article: popl25main-p85-p doi:10.1145/3704865
Luan, Xiaokun Proc. ACM Program. Lang., vol. 9, issue POPL: "Generically Automating Separation ..." Article: popl25main-p255-p doi:10.1145/3704903 Proc. ACM Program. Lang., vol. 9, issue POPL: "Automated Program Refinement: ..." Article: popl25main-p279-p doi:10.1145/3704905
Lunderville, Joseph Proc. ACM Program. Lang., vol. 9, issue POPL: "Linear and Non-linear Relational ..." Article: popl25main-p119-p doi:10.1145/3704873
Maillard, Kenji Proc. ACM Program. Lang., vol. 9, issue POPL: "All Your Base Are Belong to ..." Article: popl25main-p305-p doi:10.1145/3704912
Majumdar, Rupak Proc. ACM Program. Lang., vol. 9, issue POPL: "Sound and Complete Proof Rules ..." Article: popl25main-p235-p doi:10.1145/3704899
Makwana, Dhruv Proc. ACM Program. Lang., vol. 9, issue POPL: "Fulminate: Testing CN Separation-Logic ..." Article: popl25main-p143-p doi:10.1145/3704879
Mandel, Louis Proc. ACM Program. Lang., vol. 9, issue POPL: "Inference Plans for Hybrid ..." Article: popl25main-p40-p doi:10.1145/3704846
Manzonetto, Giulio Proc. ACM Program. Lang., vol. 9, issue POPL: "Interaction Equivalence ..." Article: popl25main-p200-p doi:10.1145/3704891
Marmanis, Iason Proc. ACM Program. Lang., vol. 9, issue POPL: "Model Checking C/C++ with ..." Article: popl25main-p301-p doi:10.1145/3704911
Martens, Chris Proc. ACM Program. Lang., vol. 9, issue POPL: "Finite-Choice Logic Programming ..." Article: popl25main-p44-p doi:10.1145/3704849
Mathur, Umang Proc. ACM Program. Lang., vol. 9, issue POPL: "The Decision Problem for Regular ..." Article: popl25main-p114-p doi:10.1145/3704870
McKinna, James Proc. ACM Program. Lang., vol. 9, issue POPL: "Barendregt Convenes with Knaster ..." Article: popl25main-p205-p doi:10.1145/3704893
Meleshchenko, Innokentii Proc. ACM Program. Lang., vol. 9, issue POPL: "Relaxed Memory Concurrency ..." Article: popl25main-p291-p doi:10.1145/3704908
Meluzzi, Matteo Proc. ACM Program. Lang., vol. 9, issue POPL: "Relaxed Memory Concurrency ..." Article: popl25main-p291-p doi:10.1145/3704908
Memarian, Kayvan Proc. ACM Program. Lang., vol. 9, issue POPL: "Fulminate: Testing CN Separation-Logic ..." Article: popl25main-p143-p doi:10.1145/3704879
Mendis, Charith Proc. ACM Program. Lang., vol. 9, issue POPL: "TensorRight: Automated Verification ..." Article: popl25main-p85-p doi:10.1145/3704865
Mestel, David Proc. ACM Program. Lang., vol. 9, issue POPL: "The Decision Problem for Regular ..." Article: popl25main-p114-p doi:10.1145/3704870
Meyer, Joachim Proc. ACM Program. Lang., vol. 9, issue POPL: "MimIR: An Extensible and Type-Safe ..." Article: popl25main-p20-p doi:10.1145/3704840
Meyer, Roland Proc. ACM Program. Lang., vol. 9, issue POPL: "SNIP: Speculative Execution ..." Article: popl25main-p185-p doi:10.1145/3704887
Milano, Mae Proc. ACM Program. Lang., vol. 9, issue POPL: "Flo: A Semantic Foundation ..." Article: popl25main-p38-p doi:10.1145/3704845
Møgelberg, Rasmus Ejlers Proc. ACM Program. Lang., vol. 9, issue POPL: "Modelling Recursion and Probabilistic ..." Article: popl25main-p155-p doi:10.1145/3704884
Moiseenko, Evgenii Proc. ACM Program. Lang., vol. 9, issue POPL: "Relaxed Memory Concurrency ..." Article: popl25main-p291-p doi:10.1145/3704908
Müller, Peter Proc. ACM Program. Lang., vol. 9, issue POPL: "Formal Foundations for Translational ..." Article: popl25main-p62-p doi:10.1145/3704856
Murawski, Andrzej S. Proc. ACM Program. Lang., vol. 9, issue POPL: "Guaranteed Bounds on Posterior ..." Article: popl25main-p126-p doi:10.1145/3704874
Murthy, Karthik Srinivasa Proc. ACM Program. Lang., vol. 9, issue POPL: "TensorRight: Automated Verification ..." Article: popl25main-p85-p doi:10.1145/3704865
Narayanan, Praveen Proc. ACM Program. Lang., vol. 9, issue POPL: "TensorRight: Automated Verification ..." Article: popl25main-p85-p doi:10.1145/3704865
Narmour, Louis Proc. ACM Program. Lang., vol. 9, issue POPL: "Maximal Simplification of ..." Article: popl25main-p13-p doi:10.1145/3704839
Narváez, David E. Proc. ACM Program. Lang., vol. 9, issue POPL: "CF-GKAT: Efficient Validation ..." Article: popl25main-p65-p doi:10.1145/3704857
Naus, Nico Proc. ACM Program. Lang., vol. 9, issue POPL: "CF-GKAT: Efficient Validation ..." Article: popl25main-p65-p doi:10.1145/3704857
Nevatia, Dhruv Proc. ACM Program. Lang., vol. 9, issue POPL: "Reachability Analysis of the ..." Article: popl25main-p226-p doi:10.1145/3704898
New, Max S. Proc. ACM Program. Lang., vol. 9, issue POPL: "Denotational Semantics of ..." Article: popl25main-p83-p doi:10.1145/3704863
Nuyts, Andreas Proc. ACM Program. Lang., vol. 9, issue POPL: "BiSikkel: A Multimode Logical ..." Article: popl25main-p37-p doi:10.1145/3704844
Oliveira, Bruno C. d. S. Proc. ACM Program. Lang., vol. 9, issue POPL: "QuickSub: Efficient Iso-Recursive ..." Article: popl25main-p102-p doi:10.1145/3704869 Proc. ACM Program. Lang., vol. 9, issue POPL: "Bidirectional Higher-Rank ..." Article: popl25main-p283-p doi:10.1145/3704907
Omar, Cyrus Proc. ACM Program. Lang., vol. 9, issue POPL: "Grove: A Bidirectionally Typed ..." Article: popl25main-p293-p doi:10.1145/3704909
Ong, C.-H. Luke Proc. ACM Program. Lang., vol. 9, issue POPL: "Guaranteed Bounds on Posterior ..." Article: popl25main-p126-p doi:10.1145/3704874
Padon, Oded Proc. ACM Program. Lang., vol. 9, issue POPL: "A Primal-Dual Perspective ..." Article: popl25main-p261-p doi:10.1145/3704904
Parthasarathy, Gaurav Proc. ACM Program. Lang., vol. 9, issue POPL: "Formal Foundations for Translational ..." Article: popl25main-p62-p doi:10.1145/3704856
Patrignani, Marco Proc. ACM Program. Lang., vol. 9, issue POPL: "Do You Even Lift? Strengthening ..." Article: popl25main-p98-p doi:10.1145/3704867
Pavlogiannis, Andreas Proc. ACM Program. Lang., vol. 9, issue POPL: "Program Analysis via Multiple ..." Article: popl25main-p53-p doi:10.1145/3704854
Pédrot, Pierre-Marie Proc. ACM Program. Lang., vol. 9, issue POPL: "All Your Base Are Belong to ..." Article: popl25main-p305-p doi:10.1145/3704912
Peters, Benjamin Proc. ACM Program. Lang., vol. 9, issue POPL: "Data Race Freedom à la Mode ..." Article: popl25main-p68-p doi:10.1145/3704859
Phothilimthana, Phitchaya Mangpo Proc. ACM Program. Lang., vol. 9, issue POPL: "TensorRight: Automated Verification ..." Article: popl25main-p85-p doi:10.1145/3704865
Pientka, Brigitte Proc. ACM Program. Lang., vol. 9, issue POPL: "A Dependent Type Theory for ..." Article: popl25main-p47-p doi:10.1145/3704851
Podkopaev, Anton Proc. ACM Program. Lang., vol. 9, issue POPL: "Relaxed Memory Concurrency ..." Article: popl25main-p291-p doi:10.1145/3704908
Poiret, Josselin Proc. ACM Program. Lang., vol. 9, issue POPL: "All Your Base Are Belong to ..." Article: popl25main-p305-p doi:10.1145/3704912
Popescu, Andrei Proc. ACM Program. Lang., vol. 9, issue POPL: "Barendregt Convenes with Knaster ..." Article: popl25main-p205-p doi:10.1145/3704893
Porter, Thomas J. Proc. ACM Program. Lang., vol. 9, issue POPL: "Grove: A Bidirectionally Typed ..." Article: popl25main-p293-p doi:10.1145/3704909
Pottier, François Proc. ACM Program. Lang., vol. 9, issue POPL: "Data Race Freedom à la Mode ..." Article: popl25main-p68-p doi:10.1145/3704859 Proc. ACM Program. Lang., vol. 9, issue POPL: "Tail Modulo Cons, OCaml, and ..." Article: popl25main-p318-p doi:10.1145/3704915
Prinz, Jacob Proc. ACM Program. Lang., vol. 9, issue POPL: "Pantograph: A Fluid and Typed ..." Article: popl25main-p84-p doi:10.1145/3704864
Pulte, Christopher Proc. ACM Program. Lang., vol. 9, issue POPL: "Fulminate: Testing CN Separation-Logic ..." Article: popl25main-p143-p doi:10.1145/3704879
Radanne, Gabriel Proc. ACM Program. Lang., vol. 9, issue POPL: "Avoiding Signature Avoidance ..." Article: popl25main-p252-p doi:10.1145/3704902
Radziuk, Stefan Proc. ACM Program. Lang., vol. 9, issue POPL: "Progressful Interpreters for ..." Article: popl25main-p67-p doi:10.1145/3704858
Rajopadhye, Sanjay Proc. ACM Program. Lang., vol. 9, issue POPL: "Maximal Simplification of ..." Article: popl25main-p13-p doi:10.1145/3704839
Ranzato, Francesco Proc. ACM Program. Lang., vol. 9, issue POPL: "The Best of Abstract Interpretations ..." Article: popl25main-p149-p doi:10.1145/3704882
Rao, Xiaojia Proc. ACM Program. Lang., vol. 9, issue POPL: "Progressful Interpreters for ..." Article: popl25main-p67-p doi:10.1145/3704858
Ravindran, Binoy Proc. ACM Program. Lang., vol. 9, issue POPL: "On Extending Incorrectness ..." Article: popl25main-p46-p doi:10.1145/3704850
Rémy, Didier Proc. ACM Program. Lang., vol. 9, issue POPL: "Avoiding Signature Avoidance ..." Article: popl25main-p252-p doi:10.1145/3704902
Sabne, Amit Proc. ACM Program. Lang., vol. 9, issue POPL: "TensorRight: Automated Verification ..." Article: popl25main-p85-p doi:10.1145/3704865
Salvaneschi, Guido Proc. ACM Program. Lang., vol. 9, issue POPL: "Dis/Equality Graphs ..." Article: popl25main-p309-p doi:10.1145/3704913
Sammler, Michael Proc. ACM Program. Lang., vol. 9, issue POPL: "Program Logics à la Carte ..." Article: popl25main-p42-p doi:10.1145/3704847 Proc. ACM Program. Lang., vol. 9, issue POPL: "Formal Foundations for Translational ..." Article: popl25main-p62-p doi:10.1145/3704856
Sanan, David Proc. ACM Program. Lang., vol. 9, issue POPL: "Generically Automating Separation ..." Article: popl25main-p255-p doi:10.1145/3704903 Proc. ACM Program. Lang., vol. 9, issue POPL: "Automated Program Refinement: ..." Article: popl25main-p279-p doi:10.1145/3704905
Sathiyanarayana, V.R. Proc. ACM Program. Lang., vol. 9, issue POPL: "Sound and Complete Proof Rules ..." Article: popl25main-p235-p doi:10.1145/3704899
Satish, Sundara Vishnu Proc. ACM Program. Lang., vol. 9, issue POPL: "Grove: A Bidirectionally Typed ..." Article: popl25main-p293-p doi:10.1145/3704909
Scherer, Gabriel Proc. ACM Program. Lang., vol. 9, issue POPL: "Tail Modulo Cons, OCaml, and ..." Article: popl25main-p318-p doi:10.1145/3704915
Schrijvers, Tom Proc. ACM Program. Lang., vol. 9, issue POPL: "Biparsers: Exact Printing ..." Article: popl25main-p300-p doi:10.1145/3704910
Sefat, Md Syadus Proc. ACM Program. Lang., vol. 9, issue POPL: "On Extending Incorrectness ..." Article: popl25main-p46-p doi:10.1145/3704850
Sekiyama, Taro Proc. ACM Program. Lang., vol. 9, issue POPL: "Algebraic Temporal Effects: ..." Article: popl25main-p316-p doi:10.1145/3704914
Sewell, Peter Proc. ACM Program. Lang., vol. 9, issue POPL: "Fulminate: Testing CN Separation-Logic ..." Article: popl25main-p143-p doi:10.1145/3704879
Shao, Zhong Proc. ACM Program. Lang., vol. 9, issue POPL: "Unifying Compositional Verification ..." Article: popl25main-p239-p doi:10.1145/3704900
Shirmohammadi, Mahsa Proc. ACM Program. Lang., vol. 9, issue POPL: "Simple Linear Loops: Algebraic ..." Article: popl25main-p81-p doi:10.1145/3704862
Shoham, Sharon Proc. ACM Program. Lang., vol. 9, issue POPL: "Axe ’Em: Eliminating Spurious ..." Article: popl25main-p52-p doi:10.1145/3704853 Proc. ACM Program. Lang., vol. 9, issue POPL: "A Primal-Dual Perspective ..." Article: popl25main-p261-p doi:10.1145/3704904
Silva, Alexandra Proc. ACM Program. Lang., vol. 9, issue POPL: "A Demonic Outcome Logic for ..." Article: popl25main-p56-p doi:10.1145/3704855
Simmons, Robert J. Proc. ACM Program. Lang., vol. 9, issue POPL: "Finite-Choice Logic Programming ..." Article: popl25main-p44-p doi:10.1145/3704849
Song, Youngju Proc. ACM Program. Lang., vol. 9, issue POPL: "Archmage and CompCertCast: ..." Article: popl25main-p147-p doi:10.1145/3704881
Sozeau, Matthieu Proc. ACM Program. Lang., vol. 9, issue POPL: "All Your Base Are Belong to ..." Article: popl25main-p305-p doi:10.1145/3704912
Stark, Kathrin Proc. ACM Program. Lang., vol. 9, issue POPL: "A Verified Foreign Function ..." Article: popl25main-p69-p doi:10.1145/3704860
Stassen, Philipp Proc. ACM Program. Lang., vol. 9, issue POPL: "Modelling Recursion and Probabilistic ..." Article: popl25main-p155-p doi:10.1145/3704884
Staton, Sam Proc. ACM Program. Lang., vol. 9, issue POPL: "Compositional Imprecise Probability: ..." Article: popl25main-p199-p doi:10.1145/3704890
Summers, Alexander J. Proc. ACM Program. Lang., vol. 9, issue POPL: "Formal Foundations for Translational ..." Article: popl25main-p62-p doi:10.1145/3704856
Sun, Jun Proc. ACM Program. Lang., vol. 9, issue POPL: "Automated Program Refinement: ..." Article: popl25main-p279-p doi:10.1145/3704905
Tabareau, Nicolas Proc. ACM Program. Lang., vol. 9, issue POPL: "All Your Base Are Belong to ..." Article: popl25main-p305-p doi:10.1145/3704912
Tanter, Éric Proc. ACM Program. Lang., vol. 9, issue POPL: "All Your Base Are Belong to ..." Article: popl25main-p305-p doi:10.1145/3704912
Tassarotti, Joseph Proc. ACM Program. Lang., vol. 9, issue POPL: "A Demonic Outcome Logic for ..." Article: popl25main-p56-p doi:10.1145/3704855 Proc. ACM Program. Lang., vol. 9, issue POPL: "Approximate Relational Reasoning ..." Article: popl25main-p139-p doi:10.1145/3704877
Ten Cate, Balder Proc. ACM Program. Lang., vol. 9, issue POPL: "Algebras for Deterministic ..." Article: popl25main-p71-p doi:10.1145/3704861
Traytel, Dmitriy Proc. ACM Program. Lang., vol. 9, issue POPL: "Barendregt Convenes with Knaster ..." Article: popl25main-p205-p doi:10.1145/3704893
Tsai, Wei-Lun Proc. ACM Program. Lang., vol. 9, issue POPL: "Verifying Quantum Circuits ..." Article: popl25main-p100-p doi:10.1145/3704868
Tsampas, Stelios Proc. ACM Program. Lang., vol. 9, issue POPL: "Abstract Operational Methods ..." Article: popl25main-p115-p doi:10.1145/3704871
Tsukada, Takeshi Proc. ACM Program. Lang., vol. 9, issue POPL: "A Primal-Dual Perspective ..." Article: popl25main-p261-p doi:10.1145/3704904
Udomsrirungruang, Thien Proc. ACM Program. Lang., vol. 9, issue POPL: "Top-Down or Bottom-Up? Complexity ..." Article: popl25main-p118-p doi:10.1145/3704872
Ullrich, Marcel Proc. ACM Program. Lang., vol. 9, issue POPL: "MimIR: An Extensible and Type-Safe ..." Article: popl25main-p20-p doi:10.1145/3704840
Unno, Hiroshi Proc. ACM Program. Lang., vol. 9, issue POPL: "A Primal-Dual Perspective ..." Article: popl25main-p261-p doi:10.1145/3704904 Proc. ACM Program. Lang., vol. 9, issue POPL: "Algebraic Temporal Effects: ..." Article: popl25main-p316-p doi:10.1145/3704914
Urbat, Henning Proc. ACM Program. Lang., vol. 9, issue POPL: "Abstract Operational Methods ..." Article: popl25main-p115-p doi:10.1145/3704871
Vafeiadis, Viktor Proc. ACM Program. Lang., vol. 9, issue POPL: "RELINCHE: Automatically Checking ..." Article: popl25main-p280-p doi:10.1145/3704906 Proc. ACM Program. Lang., vol. 9, issue POPL: "Model Checking C/C++ with ..." Article: popl25main-p301-p doi:10.1145/3704911
Van Brügge, Jan Proc. ACM Program. Lang., vol. 9, issue POPL: "Barendregt Convenes with Knaster ..." Article: popl25main-p205-p doi:10.1145/3704893
Van de Pol, Jaco Proc. ACM Program. Lang., vol. 9, issue POPL: "Program Analysis via Multiple ..." Article: popl25main-p53-p doi:10.1145/3704854
Van der Wall, Sören Proc. ACM Program. Lang., vol. 9, issue POPL: "SNIP: Speculative Execution ..." Article: popl25main-p185-p doi:10.1145/3704887
Vanoni, Gabriele Proc. ACM Program. Lang., vol. 9, issue POPL: "Interaction Equivalence ..." Article: popl25main-p200-p doi:10.1145/3704891
Van Rooij, Orpheas Proc. ACM Program. Lang., vol. 9, issue POPL: "Affect: An Affine Type and ..." Article: popl25main-p22-p doi:10.1145/3704841
Varatalu, Ian Erik Proc. ACM Program. Lang., vol. 9, issue POPL: "RE#: High Performance Derivative-Based ..." Article: popl25main-p2-p doi:10.1145/3704837
Varonka, Anton Proc. ACM Program. Lang., vol. 9, issue POPL: "Simple Linear Loops: Algebraic ..." Article: popl25main-p81-p doi:10.1145/3704862
Veanes, Margus Proc. ACM Program. Lang., vol. 9, issue POPL: "RE#: High Performance Derivative-Based ..." Article: popl25main-p2-p doi:10.1145/3704837 Proc. ACM Program. Lang., vol. 9, issue POPL: "Symbolic Automata: Omega-Regularity ..." Article: popl25main-p11-p doi:10.1145/3704838
Verbeek, Freek Proc. ACM Program. Lang., vol. 9, issue POPL: "On Extending Incorrectness ..." Article: popl25main-p46-p doi:10.1145/3704850
Verscht, Lena Proc. ACM Program. Lang., vol. 9, issue POPL: "A Taxonomy of Hoare-Like Logics: ..." Article: popl25main-p219-p doi:10.1145/3704896
Vistrup, Max Proc. ACM Program. Lang., vol. 9, issue POPL: "Program Logics à la Carte ..." Article: popl25main-p42-p doi:10.1145/3704847
Viswanathan, Mahesh Proc. ACM Program. Lang., vol. 9, issue POPL: "The Decision Problem for Regular ..." Article: popl25main-p114-p doi:10.1145/3704870
Wang, Chao Proc. ACM Program. Lang., vol. 9, issue POPL: "An Incremental Algorithm for ..." Article: popl25main-p250-p doi:10.1145/3704901
Wang, Jeffery Proc. ACM Program. Lang., vol. 9, issue POPL: "Calculational Design of Hyperlogics ..." Article: popl25main-p51-p doi:10.1145/3704852
Wang, Jingbo Proc. ACM Program. Lang., vol. 9, issue POPL: "An Incremental Algorithm for ..." Article: popl25main-p250-p doi:10.1145/3704901
Wang, Yuting Proc. ACM Program. Lang., vol. 9, issue POPL: "Unifying Compositional Verification ..." Article: popl25main-p239-p doi:10.1145/3704900
Watt, Conrad Proc. ACM Program. Lang., vol. 9, issue POPL: "Progressful Interpreters for ..." Article: popl25main-p67-p doi:10.1145/3704858 Proc. ACM Program. Lang., vol. 9, issue POPL: "Generically Automating Separation ..." Article: popl25main-p255-p doi:10.1145/3704903
Weirich, Stephanie Proc. ACM Program. Lang., vol. 9, issue POPL: "Consistency of a Dependent ..." Article: popl25main-p33-p doi:10.1145/3704843
Weisenburger, Pascal Proc. ACM Program. Lang., vol. 9, issue POPL: "Dis/Equality Graphs ..." Article: popl25main-p309-p doi:10.1145/3704913
White, Leo Proc. ACM Program. Lang., vol. 9, issue POPL: "Data Race Freedom à la Mode ..." Article: popl25main-p68-p doi:10.1145/3704859
Wu, Nicolas Proc. ACM Program. Lang., vol. 9, issue POPL: "Formalising Graph Algorithms ..." Article: popl25main-p203-p doi:10.1145/3704892
Xie, Ruifeng Proc. ACM Program. Lang., vol. 9, issue POPL: "Biparsers: Exact Printing ..." Article: popl25main-p300-p doi:10.1145/3704910
Xu, Qiyuan Proc. ACM Program. Lang., vol. 9, issue POPL: "Generically Automating Separation ..." Article: popl25main-p255-p doi:10.1145/3704903
Xu, Tianfan Proc. ACM Program. Lang., vol. 9, issue POPL: "TensorRight: Automated Verification ..." Article: popl25main-p85-p doi:10.1145/3704865
Xu, Yingte Proc. ACM Program. Lang., vol. 9, issue POPL: "Automating Equational Proofs ..." Article: popl25main-p140-p doi:10.1145/3704878
Yao, Yue Proc. ACM Program. Lang., vol. 9, issue POPL: "Semantic Logical Relations ..." Article: popl25main-p210-p doi:10.1145/3704895
Yoon, Taeyoung Proc. ACM Program. Lang., vol. 9, issue POPL: "Archmage and CompCertCast: ..." Article: popl25main-p147-p doi:10.1145/3704881
Yoshida, Nobuko Proc. ACM Program. Lang., vol. 9, issue POPL: "Top-Down or Bottom-Up? Complexity ..." Article: popl25main-p118-p doi:10.1145/3704872
Yuan, Yongwei Proc. ACM Program. Lang., vol. 9, issue POPL: "Derivative-Guided Symbolic ..." Article: popl25main-p184-p doi:10.1145/3704886
Yuki, Tomofumi Proc. ACM Program. Lang., vol. 9, issue POPL: "Maximal Simplification of ..." Article: popl25main-p13-p doi:10.1145/3704839
Zaiser, Fabian Proc. ACM Program. Lang., vol. 9, issue POPL: "Guaranteed Bounds on Posterior ..." Article: popl25main-p126-p doi:10.1145/3704874
Zakhour, George Proc. ACM Program. Lang., vol. 9, issue POPL: "Dis/Equality Graphs ..." Article: popl25main-p309-p doi:10.1145/3704913
Zhang, Cheng Proc. ACM Program. Lang., vol. 9, issue POPL: "CF-GKAT: Efficient Validation ..." Article: popl25main-p65-p doi:10.1145/3704857
Zhang, Yu Proc. ACM Program. Lang., vol. 9, issue POPL: "Unifying Compositional Verification ..." Article: popl25main-p239-p doi:10.1145/3704900
Zhao, Eric Proc. ACM Program. Lang., vol. 9, issue POPL: "Grove: A Bidirectionally Typed ..." Article: popl25main-p293-p doi:10.1145/3704909
Zhou, Chenyu Proc. ACM Program. Lang., vol. 9, issue POPL: "An Incremental Algorithm for ..." Article: popl25main-p250-p doi:10.1145/3704901
Zhou, Li Proc. ACM Program. Lang., vol. 9, issue POPL: "Automating Equational Proofs ..." Article: popl25main-p140-p doi:10.1145/3704878
Zhou, Litao Proc. ACM Program. Lang., vol. 9, issue POPL: "QuickSub: Efficient Iso-Recursive ..." Article: popl25main-p102-p doi:10.1145/3704869
Zhou, Zhe Proc. ACM Program. Lang., vol. 9, issue POPL: "Derivative-Guided Symbolic ..." Article: popl25main-p184-p doi:10.1145/3704886
Zhuchko, Ekaterina Proc. ACM Program. Lang., vol. 9, issue POPL: "Symbolic Automata: Omega-Regularity ..." Article: popl25main-p11-p doi:10.1145/3704838
Ziarek, Lukasz Proc. ACM Program. Lang., vol. 9, issue POPL: "Semantic Logical Relations ..." Article: popl25main-p210-p doi:10.1145/3704895
Zilberstein, Noam Proc. ACM Program. Lang., vol. 9, issue POPL: "A Demonic Outcome Logic for ..." Article: popl25main-p56-p doi:10.1145/3704855
Zwart, Maaike Annebet Proc. ACM Program. Lang., vol. 9, issue POPL: "Modelling Recursion and Probabilistic ..." Article: popl25main-p155-p doi:10.1145/3704884

293 authors

proc time: 8.35