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

293 authors

proc time: 34.73