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, January 19–25, 2025, Denver, CO, USA

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

272 authors

proc time: 19.94