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

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

POPL 2026 – 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. 10, issue POPL: "Parametrised Verification ..." Article: popl26main-p218-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Parameterized Verification ..." Article: popl26main-p586-p
Adjedj, Arthur Proc. ACM Program. Lang., vol. 10, issue POPL: "AdapTT: Functoriality for ..." Article: popl26main-p126-p
Ahmed, Amal Proc. ACM Program. Lang., vol. 10, issue POPL: "Cryptis: Cryptographic Reasoning ..." Article: popl26main-p899-p
Ahrens, Benedikt Proc. ACM Program. Lang., vol. 10, issue POPL: "From Semantics to Syntax: ..." Article: popl26main-p855-p
Aiswarya, C. Proc. ACM Program. Lang., vol. 10, issue POPL: "Bounded Treewidth, Multiple ..." Article: popl26main-p646-p
Albarghouthi, Aws Proc. ACM Program. Lang., vol. 10, issue POPL: "Generating Compilers for Qubit ..." Article: popl26main-p740-p
Aldrich, Jonathan Proc. ACM Program. Lang., vol. 10, issue POPL: "Security Reasoning via Substructural ..." Article: popl26main-p157-p
Allain, Clément Proc. ACM Program. Lang., vol. 10, issue POPL: "Zoo: A Framework for the Verification ..." Article: popl26main-p427-p
Ambal, Guillaume Proc. ACM Program. Lang., vol. 10, issue POPL: "A Verified High-Performance ..." Article: popl26main-p595-p
Amin, Nada Proc. ACM Program. Lang., vol. 10, issue POPL: "Compiling to Linear Neurons ..." Article: popl26main-p199-p
Armstrong, Alasdair Proc. ACM Program. Lang., vol. 10, issue POPL: "ArchSem: Reusable Rigorous ..." Article: popl26main-p44-p
Ascari, Flavio Proc. ACM Program. Lang., vol. 10, issue POPL: "U-Turn: Enhancing Incorrectness ..." Article: popl26main-p283-p
Atig, Mohamed Faouzi Proc. ACM Program. Lang., vol. 10, issue POPL: "Parametrised Verification ..." Article: popl26main-p218-p
Attiya, Hagit Proc. ACM Program. Lang., vol. 10, issue POPL: "Arbitration-Free Consistency ..." Article: popl26main-p232-p
Azevedo de Amorim, Arthur Proc. ACM Program. Lang., vol. 10, issue POPL: "Cryptis: Cryptographic Reasoning ..." Article: popl26main-p899-p
Baillot, Patrick Proc. ACM Program. Lang., vol. 10, issue POPL: "Dependent Coeffects for Local ..." Article: popl26main-p162-p
Balasubramanian, A. R. Proc. ACM Program. Lang., vol. 10, issue POPL: "General Decidability Results ..." Article: popl26main-p113-p
Balzer, Stephanie Proc. ACM Program. Lang., vol. 10, issue POPL: "TypeDis: A Type System for ..." Article: popl26main-p80-p
Barbarossa, Davide Proc. ACM Program. Lang., vol. 10, issue POPL: "Tropical Mathematics and the ..." Article: popl26main-p189-p
Barrière, Aurèle Proc. ACM Program. Lang., vol. 10, issue POPL: "Formal Verification for JavaScript ..." Article: popl26main-p570-p
Bauereiss, Thomas Proc. ACM Program. Lang., vol. 10, issue POPL: "ArchSem: Reusable Rigorous ..." Article: popl26main-p44-p
Baumann, Pascal Proc. ACM Program. Lang., vol. 10, issue POPL: "Bounded Treewidth, Multiple ..." Article: popl26main-p646-p
Becker, McCoy R. Proc. ACM Program. Lang., vol. 10, issue POPL: "Probabilistic Programming ..." Article: popl26main-p898-p
Benjamin, Thibaut Proc. ACM Program. Lang., vol. 10, issue POPL: "AdapTT: Functoriality for ..." Article: popl26main-p126-p
Blike, Gregory Proc. ACM Program. Lang., vol. 10, issue POPL: "A Modular Static Cost Analysis ..." Article: popl26main-p387-p
Bloem, Roderick Proc. ACM Program. Lang., vol. 10, issue POPL: "Parameterized Infinite-State ..." Article: popl26main-p857-p
Bouajjani, Ahmed Proc. ACM Program. Lang., vol. 10, issue POPL: "Parametrised Verification ..." Article: popl26main-p218-p
Bruni, Roberto Proc. ACM Program. Lang., vol. 10, issue POPL: "U-Turn: Enhancing Incorrectness ..." Article: popl26main-p283-p
Campbell, Brian Proc. ACM Program. Lang., vol. 10, issue POPL: "ArchSem: Reusable Rigorous ..." Article: popl26main-p44-p
Campion, Marco Proc. ACM Program. Lang., vol. 10, issue POPL: "A Logic for the Imprecision ..." Article: popl26main-p518-p
Castro-Perez, David Proc. ACM Program. Lang., vol. 10, issue POPL: "A Synthetic Reconstruction ..." Article: popl26main-p386-p
Cecchetti, Ethan Proc. ACM Program. Lang., vol. 10, issue POPL: "Generating Compilers for Qubit ..." Article: popl26main-p740-p
Chait-Roth, Devora Proc. ACM Program. Lang., vol. 10, issue POPL: "Consistent Updates for Scalable ..." Article: popl26main-p423-p
Chappe, Nicolas Proc. ACM Program. Lang., vol. 10, issue POPL: "A Family of Sims with Diverging ..." Article: popl26main-p610-p
Chau, Chun Yin Proc. ACM Program. Lang., vol. 10, issue POPL: "The Simple Essence of Boolean-Algebraic ..." Article: popl26main-p285-p
Chen, Qinlin Proc. ACM Program. Lang., vol. 10, issue POPL: "ChiSA: Static Analysis for ..." Article: popl26main-p104-p
Chen, Yanning Proc. ACM Program. Lang., vol. 10, issue POPL: "Extensible Data Types with ..." Article: popl26main-p116-p
Chen, Yu-Fang Proc. ACM Program. Lang., vol. 10, issue POPL: "Parameterized Verification ..." Article: popl26main-p586-p
Chockler, Gregory Proc. ACM Program. Lang., vol. 10, issue POPL: "A Verified High-Performance ..." Article: popl26main-p595-p
Chung, Karen Proc. ACM Program. Lang., vol. 10, issue POPL: "Probabilistic Programming ..." Article: popl26main-p898-p
Cogumbreiro, Tiago Proc. ACM Program. Lang., vol. 10, issue POPL: "A Modular Static Cost Analysis ..." Article: popl26main-p387-p
Colledan, Andrea Proc. ACM Program. Lang., vol. 10, issue POPL: "On Circuit Description Languages, ..." Article: popl26main-p140-p
Courant, Nathanaëlle Proc. ACM Program. Lang., vol. 10, issue POPL: "A Lazy, Concurrent Convertibility ..." Article: popl26main-p392-p
Cui, Chen Proc. ACM Program. Lang., vol. 10, issue POPL: "Local Contextual Type Inference ..." Article: popl26main-p73-p
Cui, Jiacai Proc. ACM Program. Lang., vol. 10, issue POPL: "ChiSA: Static Analysis for ..." Article: popl26main-p104-p
Cutler, Joseph W. Proc. ACM Program. Lang., vol. 10, issue POPL: "Typing Strictness ..." Article: popl26main-p89-p
Dal Lago, Ugo Proc. ACM Program. Lang., vol. 10, issue POPL: "On Circuit Description Languages, ..." Article: popl26main-p140-p
Dalla Preda, Mila Proc. ACM Program. Lang., vol. 10, issue POPL: "A Logic for the Imprecision ..." Article: popl26main-p518-p
Danielsson, Nils Anders Proc. ACM Program. Lang., vol. 10, issue POPL: "Normalisation for First-Class ..." Article: popl26main-p26-p
D'Antoni, Loris Proc. ACM Program. Lang., vol. 10, issue POPL: "Corrigendum: Unrealizability ..." Article: popl23main-p120-p-CR Proc. ACM Program. Lang., vol. 10, issue POPL: "ChopChop: A Programmable Framework ..." Article: popl26main-p532-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Nice to Meet You: Synthesizing ..." Article: popl26main-p814-p
De Colnet, Alexis Proc. ACM Program. Lang., vol. 10, issue POPL: "Counting and Sampling Traces ..." Article: popl26main-p828-p
Deng, Victor Proc. ACM Program. Lang., vol. 10, issue POPL: "Formal Verification for JavaScript ..." Article: popl26main-p570-p
De Vilhena, Paulo Emílio Proc. ACM Program. Lang., vol. 10, issue POPL: "A Relational Separation Logic ..." Article: popl26main-p190-p
Díaz, Tomás Proc. ACM Program. Lang., vol. 10, issue POPL: "Bounded Sort Polymorphism ..." Article: popl26main-p1025-p
Dongol, Brijesh Proc. ACM Program. Lang., vol. 10, issue POPL: "A Verified High-Performance ..." Article: popl26main-p595-p
D'Osualdo, Emanuele Proc. ACM Program. Lang., vol. 10, issue POPL: "RapunSL: Untangling Quantum ..." Article: popl26main-p35-p
Dreyer, Derek Proc. ACM Program. Lang., vol. 10, issue POPL: "Endangered by the Language ..." Article: popl26main-p226-p
Elad, Neta Proc. ACM Program. Lang., vol. 10, issue POPL: "Separating the Wheat from ..." Article: popl26main-p167-p
El Manssour, Rida Ait Proc. ACM Program. Lang., vol. 10, issue POPL: "Determination Problems for ..." Article: popl26main-p419-p
Enea, Constantin Proc. ACM Program. Lang., vol. 10, issue POPL: "Arbitration-Free Consistency ..." Article: popl26main-p232-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Verifying Almost-Sure Termination ..." Article: popl26main-p365-p
Erdweg, Sebastian Proc. ACM Program. Lang., vol. 10, issue POPL: "Stateful Differential Operators ..." Article: popl26main-p889-p
Fan, Yuyou Proc. ACM Program. Lang., vol. 10, issue POPL: "Nice to Meet You: Synthesizing ..." Article: popl26main-p814-p
Fang, Wang Proc. ACM Program. Lang., vol. 10, issue POPL: "Hadamard-Pi: Equational Quantum ..." Article: popl26main-p32-p
Favier, Naïm Camille Proc. ACM Program. Lang., vol. 10, issue POPL: "Normalisation for First-Class ..." Article: popl26main-p26-p
Fedchin, Aleksandr Proc. ACM Program. Lang., vol. 10, issue POPL: "DafnyMPI: A Dafny Library ..." Article: popl26main-p495-p
Feng, Shenghua Proc. ACM Program. Lang., vol. 10, issue POPL: "Piecewise Analysis of Probabilistic ..." Article: popl26main-p560-p
Feng, Yuan Proc. ACM Program. Lang., vol. 10, issue POPL: "An Expressive Assertion Language ..." Article: popl26main-p95-p
Ferreira, Francisco Proc. ACM Program. Lang., vol. 10, issue POPL: "A Synthetic Reconstruction ..." Article: popl26main-p386-p
Foster, Jeffrey S. Proc. ACM Program. Lang., vol. 10, issue POPL: "DafnyMPI: A Dafny Library ..." Article: popl26main-p495-p
Fu, Hongfei Proc. ACM Program. Lang., vol. 10, issue POPL: "Piecewise Analysis of Probabilistic ..." Article: popl26main-p560-p
Gaboardi, Marco Proc. ACM Program. Lang., vol. 10, issue POPL: "Cryptis: Cryptographic Reasoning ..." Article: popl26main-p899-p
Garg, Deepak Proc. ACM Program. Lang., vol. 10, issue POPL: "Endangered by the Language ..." Article: popl26main-p226-p
Georges, Aïna Linn Proc. ACM Program. Lang., vol. 10, issue POPL: "Endangered by the Language ..." Article: popl26main-p226-p
Giacobazzi, Roberto Proc. ACM Program. Lang., vol. 10, issue POPL: "A Logic for the Imprecision ..." Article: popl26main-p518-p
Giusti, Giulia Proc. ACM Program. Lang., vol. 10, issue POPL: "JAX Autodiff from a Linear ..." Article: popl26main-p79-p
Gladshtein, Vladimir Proc. ACM Program. Lang., vol. 10, issue POPL: "Foundational Multi-Modal Program ..." Article: popl26main-p695-p
Goens, Andrés Proc. ACM Program. Lang., vol. 10, issue POPL: "Towards Pen-and-Paper-Style ..." Article: popl26main-p142-p
Gori, Roberta Proc. ACM Program. Lang., vol. 10, issue POPL: "U-Turn: Enhancing Incorrectness ..." Article: popl26main-p283-p
Gouni, Hemant Proc. ACM Program. Lang., vol. 10, issue POPL: "Security Reasoning via Substructural ..." Article: popl26main-p157-p
Greenman, Ben Proc. ACM Program. Lang., vol. 10, issue POPL: "Nice to Meet You: Synthesizing ..." Article: popl26main-p814-p
Griesemer, Robert Proc. ACM Program. Lang., vol. 10, issue POPL: "Welterweight Go: Boxing, Structural ..." Article: popl26main-p779-p
Grodin, Harrison Proc. ACM Program. Lang., vol. 10, issue POPL: "Abstraction Functions as Types ..." Article: popl26main-p185-p
Haas, Thomas Proc. ACM Program. Lang., vol. 10, issue POPL: "Recurrence Sets for Proving ..." Article: popl26main-p280-p
Hague, Matthew Proc. ACM Program. Lang., vol. 10, issue POPL: "General Decidability Results ..." Article: popl26main-p113-p
Harper, Robert Proc. ACM Program. Lang., vol. 10, issue POPL: "Abstraction Functions as Types ..." Article: popl26main-p185-p
Hečko, Michal Proc. ACM Program. Lang., vol. 10, issue POPL: "Parameterized Verification ..." Article: popl26main-p586-p
Heunen, Chris Proc. ACM Program. Lang., vol. 10, issue POPL: "Hadamard-Pi: Equational Quantum ..." Article: popl26main-p32-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Quantum Circuits Are Just ..." Article: popl26main-p956-p
Hewer, Brandon Proc. ACM Program. Lang., vol. 10, issue POPL: "Quotient Polymorphism ..." Article: popl26main-p137-p
Hirata, Kengo Proc. ACM Program. Lang., vol. 10, issue POPL: "RapunSL: Untangling Quantum ..." Article: popl26main-p35-p
Ho, Shing Hin Proc. ACM Program. Lang., vol. 10, issue POPL: "Bayesian Separation Logic ..." Article: popl26main-p397-p
Hodgkins, George Proc. ACM Program. Lang., vol. 10, issue POPL: "A Verified High-Performance ..." Article: popl26main-p595-p
Hoffmann, Jan Proc. ACM Program. Lang., vol. 10, issue POPL: "Big-Stop Semantics: Small-Step ..." Article: popl26main-p661-p
Holík, Lukáš Proc. ACM Program. Lang., vol. 10, issue POPL: "Parameterized Verification ..." Article: popl26main-p586-p
Hu, Raymond Proc. ACM Program. Lang., vol. 10, issue POPL: "Welterweight Go: Boxing, Structural ..." Article: popl26main-p779-p
Huot, Mathieu Proc. ACM Program. Lang., vol. 10, issue POPL: "Probabilistic Programming ..." Article: popl26main-p898-p
Hur, Chung-Kil Proc. ACM Program. Lang., vol. 10, issue POPL: "Coco: Corecursion with Compositional ..." Article: popl26main-p1100-p
Hutton, Graham Proc. ACM Program. Lang., vol. 10, issue POPL: "Quotient Polymorphism ..." Article: popl26main-p137-p
Izraelevitz, Joseph Proc. ACM Program. Lang., vol. 10, issue POPL: "A Verified High-Performance ..." Article: popl26main-p595-p
Jamalzadeh, Ara Proc. ACM Program. Lang., vol. 10, issue POPL: "Extensible Data Types with ..." Article: popl26main-p116-p
Ji, Ruyi Proc. ACM Program. Lang., vol. 10, issue POPL: "Accelerating Syntax-Guided ..." Article: popl26main-p213-p
Jiang, Shengyi Proc. ACM Program. Lang., vol. 10, issue POPL: "Local Contextual Type Inference ..." Article: popl26main-p73-p
Jones, Eddie Proc. ACM Program. Lang., vol. 10, issue POPL: "Domain-Theoretic Semantics ..." Article: popl26main-p421-p
Jongmans, Sung-Shik Proc. ACM Program. Lang., vol. 10, issue POPL: "A Synthetic Reconstruction ..." Article: popl26main-p386-p
Jung, Ralf Proc. ACM Program. Lang., vol. 10, issue POPL: "Miri: Practical Undefined ..." Article: popl26main-p347-p
Kaarsgaard, Robin Proc. ACM Program. Lang., vol. 10, issue POPL: "Hadamard-Pi: Equational Quantum ..." Article: popl26main-p32-p
Kahn, David M. Proc. ACM Program. Lang., vol. 10, issue POPL: "Big-Stop Semantics: Small-Step ..." Article: popl26main-p661-p
Kammar, Ohad Proc. ACM Program. Lang., vol. 10, issue POPL: "An Equational Axiomatization ..." Article: popl26main-p512-p
Kavvos, G. A. Proc. ACM Program. Lang., vol. 10, issue POPL: "Domain-Theoretic Semantics ..." Article: popl26main-p421-p
Ke, Jingyu Proc. ACM Program. Lang., vol. 10, issue POPL: "Piecewise Analysis of Probabilistic ..." Article: popl26main-p560-p
Kenison, George Proc. ACM Program. Lang., vol. 10, issue POPL: "Determination Problems for ..." Article: popl26main-p419-p
Kennedy, Dominic Proc. ACM Program. Lang., vol. 10, issue POPL: "Nice to Meet You: Synthesizing ..." Article: popl26main-p814-p
Kidney, Donnacha Oisín Proc. ACM Program. Lang., vol. 10, issue POPL: "Hyperfunctions: Communicating ..." Article: popl26main-p42-p
Kim, Jaewoo Proc. ACM Program. Lang., vol. 10, issue POPL: "Coco: Corecursion with Compositional ..." Article: popl26main-p1100-p
Kim, Jinwoo Proc. ACM Program. Lang., vol. 10, issue POPL: "Corrigendum: Unrealizability ..." Article: popl23main-p120-p-CR
Kimock, Benjamin Proc. ACM Program. Lang., vol. 10, issue POPL: "Miri: Practical Undefined ..." Article: popl26main-p347-p
Kincaid, Zachary Proc. ACM Program. Lang., vol. 10, issue POPL: "Network Change Validation ..." Article: popl26main-p84-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Context-Free-Language Reachability ..." Article: popl26main-p274-p
Kiselyov, Oleg Proc. ACM Program. Lang., vol. 10, issue POPL: "Handling Scope Checks: A Comparative ..." Article: popl26main-p221-p
Klumpp, Dominik Proc. ACM Program. Lang., vol. 10, issue POPL: "The Ghosts of Empires: Extracting ..." Article: popl26main-p235-p
Kœhler, Thomas Proc. ACM Program. Lang., vol. 10, issue POPL: "Towards Pen-and-Paper-Style ..." Article: popl26main-p142-p
Kording, Konrad Proc. ACM Program. Lang., vol. 10, issue POPL: "Compiling to Linear Neurons ..." Article: popl26main-p199-p
Kovács, András Proc. ACM Program. Lang., vol. 10, issue POPL: "Canonicity for Indexed Inductive-Recursive ..." Article: popl26main-p255-p
Krebbers, Robbert Proc. ACM Program. Lang., vol. 10, issue POPL: "A Relational Separation Logic ..." Article: popl26main-p190-p
Kubánek, Ondřej Proc. ACM Program. Lang., vol. 10, issue POPL: "Normalisation for First-Class ..." Article: popl26main-p26-p
Kumar, K. Narayan Proc. ACM Program. Lang., vol. 10, issue POPL: "Parametrised Verification ..." Article: popl26main-p218-p
Kurin, Vitaly Proc. ACM Program. Lang., vol. 10, issue POPL: "Foundational Multi-Modal Program ..." Article: popl26main-p695-p
Lagunes-Rochin, Miriam Proc. ACM Program. Lang., vol. 10, issue POPL: "The Ghosts of Empires: Extracting ..." Article: popl26main-p235-p
Lange, Julien Proc. ACM Program. Lang., vol. 10, issue POPL: "A Modular Static Cost Analysis ..." Article: popl26main-p387-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Welterweight Go: Boxing, Structural ..." Article: popl26main-p779-p
Laretto, Andrea Proc. ACM Program. Lang., vol. 10, issue POPL: "Di- is for Directed: First-Order ..." Article: popl26main-p447-p
Lauermann, Nils Proc. ACM Program. Lang., vol. 10, issue POPL: "ArchSem: Reusable Rigorous ..." Article: popl26main-p44-p
Lee, Doyoon Proc. ACM Program. Lang., vol. 10, issue POPL: "Inductive Program Synthesis ..." Article: popl26main-p390-p
Lee, Michael Proc. ACM Program. Lang., vol. 10, issue POPL: "Handling Scope Checks: A Comparative ..." Article: popl26main-p221-p
Lee, Wonyeol Proc. ACM Program. Lang., vol. 10, issue POPL: "Optimising Density Computations ..." Article: popl26main-p121-p
Lee, Woosuk Proc. ACM Program. Lang., vol. 10, issue POPL: "Inductive Program Synthesis ..." Article: popl26main-p390-p
Lemonnier, Louis Proc. ACM Program. Lang., vol. 10, issue POPL: "Quantum Circuits Are Just ..." Article: popl26main-p956-p
Lengál, Ondřej Proc. ACM Program. Lang., vol. 10, issue POPL: "Parameterized Verification ..." Article: popl26main-p586-p
Lennon-Bertrand, Meven Proc. ACM Program. Lang., vol. 10, issue POPL: "AdapTT: Functoriality for ..." Article: popl26main-p126-p
Leray, Yann Proc. ACM Program. Lang., vol. 10, issue POPL: "Encode the Cake and Eat It ..." Article: popl26main-p455-p
Leroy, Xavier Proc. ACM Program. Lang., vol. 10, issue POPL: "A Lazy, Concurrent Convertibility ..." Article: popl26main-p392-p
Levy, Paul Blain Proc. ACM Program. Lang., vol. 10, issue POPL: "What Is a Monoid? ..." Article: popl26main-p859-p
Lew, Alexander K. Proc. ACM Program. Lang., vol. 10, issue POPL: "Probabilistic Programming ..." Article: popl26main-p898-p
Li, Celia Mengyue Proc. ACM Program. Lang., vol. 10, issue POPL: "Domain-Theoretic Semantics ..." Article: popl26main-p421-p Proc. ACM Program. Lang., vol. 10, issue POPL: "A Complementary Approach to ..." Article: popl26main-p831-p
Li, Runming Proc. ACM Program. Lang., vol. 10, issue POPL: "Abstraction Functions as Types ..." Article: popl26main-p185-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Big-Stop Semantics: Small-Step ..." Article: popl26main-p661-p
Li, Yue Proc. ACM Program. Lang., vol. 10, issue POPL: "ChiSA: Static Analysis for ..." Article: popl26main-p104-p
Liell-Cock, Jack Proc. ACM Program. Lang., vol. 10, issue POPL: "The Relative Monadic Metalanguage ..." Article: popl26main-p429-p Proc. ACM Program. Lang., vol. 10, issue POPL: "An Equational Axiomatization ..." Article: popl26main-p512-p
Lim, Hyoungjin Proc. ACM Program. Lang., vol. 10, issue POPL: "Optimising Density Computations ..." Article: popl26main-p121-p
Lim, Sangho Proc. ACM Program. Lang., vol. 10, issue POPL: "Optimising Density Computations ..." Article: popl26main-p121-p
Lin, Jyun-Ao Proc. ACM Program. Lang., vol. 10, issue POPL: "Parameterized Verification ..." Article: popl26main-p586-p
Lindley, Sam Proc. ACM Program. Lang., vol. 10, issue POPL: "Rows and Capabilities as Modal ..." Article: popl26main-p187-p Proc. ACM Program. Lang., vol. 10, issue POPL: "An Equational Axiomatization ..." Article: popl26main-p512-p
Liu, Yiyun Proc. ACM Program. Lang., vol. 10, issue POPL: "Algorithmic Conversion with ..." Article: popl26main-p176-p
Liu, Zongyuan Proc. ACM Program. Lang., vol. 10, issue POPL: "ArchSem: Reusable Rigorous ..." Article: popl26main-p44-p
Lomelí Garduño, Andrés Proc. ACM Program. Lang., vol. 10, issue POPL: "Recurrence Sets for Proving ..." Article: popl26main-p280-p
Loregian, Fosco Proc. ACM Program. Lang., vol. 10, issue POPL: "Di- is for Directed: First-Order ..." Article: popl26main-p447-p
Maderbacher, Benedikt Proc. ACM Program. Lang., vol. 10, issue POPL: "Parameterized Infinite-State ..." Article: popl26main-p857-p
Madler, Mark Proc. ACM Program. Lang., vol. 10, issue POPL: "A Verified High-Performance ..." Article: popl26main-p595-p
Mahajan, Ratul Proc. ACM Program. Lang., vol. 10, issue POPL: "Network Change Validation ..." Article: popl26main-p84-p
Maillard, Kenji Proc. ACM Program. Lang., vol. 10, issue POPL: "AdapTT: Functoriality for ..." Article: popl26main-p126-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Bounded Sort Polymorphism ..." Article: popl26main-p1025-p
Main, Samson Proc. ACM Program. Lang., vol. 10, issue POPL: "Domain-Theoretic Semantics ..." Article: popl26main-p421-p
Majumdar, Rupak Proc. ACM Program. Lang., vol. 10, issue POPL: "General Decidability Results ..." Article: popl26main-p113-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Verifying Almost-Sure Termination ..." Article: popl26main-p365-p
Mangel, Éléonore Proc. ACM Program. Lang., vol. 10, issue POPL: "Classical Notions of Computation ..." Article: popl26main-p640-p
Mansinghka, Vikash K. Proc. ACM Program. Lang., vol. 10, issue POPL: "Probabilistic Programming ..." Article: popl26main-p898-p
Marriott, Jonathan Proc. ACM Program. Lang., vol. 10, issue POPL: "Domain-Theoretic Semantics ..." Article: popl26main-p421-p
Matache, Cristina Proc. ACM Program. Lang., vol. 10, issue POPL: "An Equational Axiomatization ..." Article: popl26main-p512-p
Matheos, George Proc. ACM Program. Lang., vol. 10, issue POPL: "Probabilistic Programming ..." Article: popl26main-p898-p
Mathur, Umang Proc. ACM Program. Lang., vol. 10, issue POPL: "The Complexity of Testing ..." Article: popl26main-p14-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Counting and Sampling Traces ..." Article: popl26main-p828-p
Matsushita, Yusuke Proc. ACM Program. Lang., vol. 10, issue POPL: "RapunSL: Untangling Quantum ..." Article: popl26main-p35-p
McNally, Christopher Proc. ACM Program. Lang., vol. 10, issue POPL: "Quantum Circuits Are Just ..." Article: popl26main-p956-p
Meel, Kuldeep S. Proc. ACM Program. Lang., vol. 10, issue POPL: "Counting and Sampling Traces ..." Article: popl26main-p828-p
Mejr, Antero Proc. ACM Program. Lang., vol. 10, issue POPL: "DafnyMPI: A Dafny Library ..." Article: popl26main-p495-p
Melliès, Paul-André Proc. ACM Program. Lang., vol. 10, issue POPL: "Classical Notions of Computation ..." Article: popl26main-p640-p
Mesquita, Rodrigo Proc. ACM Program. Lang., vol. 10, issue POPL: "Lazy Linearity for a Core ..." Article: popl26main-p572-p
Meyer, Roland Proc. ACM Program. Lang., vol. 10, issue POPL: "Recurrence Sets for Proving ..." Article: popl26main-p280-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Oriented Metrics for Bottom-Up ..." Article: popl26main-p649-p
Møldrup, Lasse Proc. ACM Program. Lang., vol. 10, issue POPL: "The Complexity of Testing ..." Article: popl26main-p14-p
Moine, Alexandre Proc. ACM Program. Lang., vol. 10, issue POPL: "TypeDis: A Type System for ..." Article: popl26main-p80-p Proc. ACM Program. Lang., vol. 10, issue POPL: "All for One and One for All: ..." Article: popl26main-p156-p
Molavi, Abtin Proc. ACM Program. Lang., vol. 10, issue POPL: "Generating Compilers for Qubit ..." Article: popl26main-p740-p
Motwani, Harshit Jitendra Proc. ACM Program. Lang., vol. 10, issue POPL: "Verifying Almost-Sure Termination ..." Article: popl26main-p365-p
Mück, Niklas Proc. ACM Program. Lang., vol. 10, issue POPL: "Endangered by the Language ..." Article: popl26main-p226-p
Munch-Maccagnoni, Guillaume Proc. ACM Program. Lang., vol. 10, issue POPL: "Classical Notions of Computation ..." Article: popl26main-p640-p
Muñoz, Eduardo Sánchez Proc. ACM Program. Lang., vol. 10, issue POPL: "Miri: Practical Undefined ..." Article: popl26main-p347-p
Murali, Adithya Proc. ACM Program. Lang., vol. 10, issue POPL: "Separating the Wheat from ..." Article: popl26main-p167-p
Nagy, Shaan Proc. ACM Program. Lang., vol. 10, issue POPL: "ChopChop: A Programmable Framework ..." Article: popl26main-p532-p
Najmaei, Niyousha Proc. ACM Program. Lang., vol. 10, issue POPL: "From Semantics to Syntax: ..." Article: popl26main-p855-p
Nam, Yeonwoo Proc. ACM Program. Lang., vol. 10, issue POPL: "Coco: Corecursion with Compositional ..." Article: popl26main-p1100-p
Namjoshi, Kedar S. Proc. ACM Program. Lang., vol. 10, issue POPL: "Consistent Updates for Scalable ..." Article: popl26main-p423-p
North, Paige Randall Proc. ACM Program. Lang., vol. 10, issue POPL: "From Semantics to Syntax: ..." Article: popl26main-p855-p
Oliveira, Bruno C. d. S. Proc. ACM Program. Lang., vol. 10, issue POPL: "Local Contextual Type Inference ..." Article: popl26main-p73-p
Pagani, Michele Proc. ACM Program. Lang., vol. 10, issue POPL: "JAX Autodiff from a Linear ..." Article: popl26main-p79-p
Parreaux, Lionel Proc. ACM Program. Lang., vol. 10, issue POPL: "The Simple Essence of Boolean-Algebraic ..." Article: popl26main-p285-p
Pavlogiannis, Andreas Proc. ACM Program. Lang., vol. 10, issue POPL: "The Complexity of Testing ..." Article: popl26main-p14-p
Paykin, Jennifer Proc. ACM Program. Lang., vol. 10, issue POPL: "Qudit Quantum Programming ..." Article: popl26main-p28-p
Peng, Xuanyu Proc. ACM Program. Lang., vol. 10, issue POPL: "Nice to Meet You: Synthesizing ..." Article: popl26main-p814-p
Pérami, Thibaut Proc. ACM Program. Lang., vol. 10, issue POPL: "ArchSem: Reusable Rigorous ..." Article: popl26main-p44-p
Pfenning, Frank Proc. ACM Program. Lang., vol. 10, issue POPL: "Security Reasoning via Substructural ..." Article: popl26main-p157-p
Pierce, Benjamin C. Proc. ACM Program. Lang., vol. 10, issue POPL: "Typing Strictness ..." Article: popl26main-p89-p
Pimpalkhare, Nikhil Proc. ACM Program. Lang., vol. 10, issue POPL: "Context-Free-Language Reachability ..." Article: popl26main-p274-p
Pîrlea, George Proc. ACM Program. Lang., vol. 10, issue POPL: "Foundational Multi-Modal Program ..." Article: popl26main-p695-p
Pistone, Paolo Proc. ACM Program. Lang., vol. 10, issue POPL: "Tropical Mathematics and the ..." Article: popl26main-p189-p
Pit-Claudel, Clément Proc. ACM Program. Lang., vol. 10, issue POPL: "Formal Verification for JavaScript ..." Article: popl26main-p570-p
Polikarpova, Nadia Proc. ACM Program. Lang., vol. 10, issue POPL: "ChopChop: A Programmable Framework ..." Article: popl26main-p532-p
Ponce de León, Hernán Proc. ACM Program. Lang., vol. 10, issue POPL: "Recurrence Sets for Proving ..." Article: popl26main-p280-p
Poveda, Christian Proc. ACM Program. Lang., vol. 10, issue POPL: "Miri: Practical Undefined ..." Article: popl26main-p347-p
Przybocki, Benjamin Proc. ACM Program. Lang., vol. 10, issue POPL: "Characterizing Sets of Theories ..." Article: popl26main-p71-p
Pull, Sophie Proc. ACM Program. Lang., vol. 10, issue POPL: "A Complementary Approach to ..." Article: popl26main-p831-p
Raad, Azalea Proc. ACM Program. Lang., vol. 10, issue POPL: "U-Turn: Enhancing Incorrectness ..." Article: popl26main-p283-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Bayesian Separation Logic ..." Article: popl26main-p397-p Proc. ACM Program. Lang., vol. 10, issue POPL: "A Verified High-Performance ..." Article: popl26main-p595-p
Ramsay, Steven Proc. ACM Program. Lang., vol. 10, issue POPL: "A Complementary Approach to ..." Article: popl26main-p831-p
Randall, Keith Proc. ACM Program. Lang., vol. 10, issue POPL: "Welterweight Go: Boxing, Structural ..." Article: popl26main-p779-p
Regehr, John Proc. ACM Program. Lang., vol. 10, issue POPL: "Nice to Meet You: Synthesizing ..." Article: popl26main-p814-p
Reps, Thomas Proc. ACM Program. Lang., vol. 10, issue POPL: "Corrigendum: Unrealizability ..." Article: popl23main-p120-p-CR Proc. ACM Program. Lang., vol. 10, issue POPL: "Context-Free-Language Reachability ..." Article: popl26main-p274-p
Rice, Alex Proc. ACM Program. Lang., vol. 10, issue POPL: "Quantum Circuits Are Just ..." Article: popl26main-p956-p
Rinard, Martin C. Proc. ACM Program. Lang., vol. 10, issue POPL: "Probabilistic Programming ..." Article: popl26main-p898-p
Ritchie, Sam Proc. ACM Program. Lang., vol. 10, issue POPL: "Probabilistic Programming ..." Article: popl26main-p898-p
Rival, Xavier Proc. ACM Program. Lang., vol. 10, issue POPL: "Optimising Density Computations ..." Article: popl26main-p121-p
Rogers, Morgan Proc. ACM Program. Lang., vol. 10, issue POPL: "What Is a Monoid? ..." Article: popl26main-p859-p
Román-Calvo, Enrique Proc. ACM Program. Lang., vol. 10, issue POPL: "Arbitration-Free Consistency ..." Article: popl26main-p232-p
Rosain, Johann Proc. ACM Program. Lang., vol. 10, issue POPL: "Bounded Sort Polymorphism ..." Article: popl26main-p1025-p
Rossel, Marcus Proc. ACM Program. Lang., vol. 10, issue POPL: "Towards Pen-and-Paper-Style ..." Article: popl26main-p142-p
Sainati, Daniel Proc. ACM Program. Lang., vol. 10, issue POPL: "Typing Strictness ..." Article: popl26main-p89-p
Saivasan, Prakash Proc. ACM Program. Lang., vol. 10, issue POPL: "Parametrised Verification ..." Article: popl26main-p218-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Bounded Treewidth, Multiple ..." Article: popl26main-p646-p
Sakayori, Ken Proc. ACM Program. Lang., vol. 10, issue POPL: "On Circuit Description Languages, ..." Article: popl26main-p140-p
Sammler, Michael Proc. ACM Program. Lang., vol. 10, issue POPL: "Endangered by the Language ..." Article: popl26main-p226-p
Sannier, Victor Proc. ACM Program. Lang., vol. 10, issue POPL: "Dependent Coeffects for Local ..." Article: popl26main-p162-p
Sathiyamoorthy, Udaya Proc. ACM Program. Lang., vol. 10, issue POPL: "A Modular Static Cost Analysis ..." Article: popl26main-p387-p
Sathiyanarayana, V. R. Proc. ACM Program. Lang., vol. 10, issue POPL: "Verifying Almost-Sure Termination ..." Article: popl26main-p365-p
Saurous, Rif A. Proc. ACM Program. Lang., vol. 10, issue POPL: "Probabilistic Programming ..." Article: popl26main-p898-p
Scherer, Gabriel Proc. ACM Program. Lang., vol. 10, issue POPL: "Zoo: A Framework for the Verification ..." Article: popl26main-p427-p
Scherer, Oli Proc. ACM Program. Lang., vol. 10, issue POPL: "Miri: Practical Undefined ..." Article: popl26main-p347-p
Schneider, Rudi Proc. ACM Program. Lang., vol. 10, issue POPL: "Towards Pen-and-Paper-Style ..." Article: popl26main-p142-p
Schüssele, Frank Proc. ACM Program. Lang., vol. 10, issue POPL: "The Ghosts of Empires: Extracting ..." Article: popl26main-p235-p
Schütze, Lia Proc. ACM Program. Lang., vol. 10, issue POPL: "Bounded Treewidth, Multiple ..." Article: popl26main-p646-p
Sergey, Ilya Proc. ACM Program. Lang., vol. 10, issue POPL: "Foundational Multi-Modal Program ..." Article: popl26main-p695-p
Sewell, Peter Proc. ACM Program. Lang., vol. 10, issue POPL: "ArchSem: Reusable Rigorous ..." Article: popl26main-p44-p
Shi, Zheng Proc. ACM Program. Lang., vol. 10, issue POPL: "The Complexity of Testing ..." Article: popl26main-p14-p
Shirazi, Zev Proc. ACM Program. Lang., vol. 10, issue POPL: "The Relative Monadic Metalanguage ..." Article: popl26main-p429-p
Shirmohammadi, Mahsa Proc. ACM Program. Lang., vol. 10, issue POPL: "Determination Problems for ..." Article: popl26main-p419-p
Shoham, Sharon Proc. ACM Program. Lang., vol. 10, issue POPL: "Separating the Wheat from ..." Article: popl26main-p167-p
Silva, Alexandra Proc. ACM Program. Lang., vol. 10, issue POPL: "Probabilistic Concurrent Reasoning ..." Article: popl26main-p57-p
Smith, Colin Proc. ACM Program. Lang., vol. 10, issue POPL: "Probabilistic Programming ..." Article: popl26main-p898-p
Sozeau, Matthieu Proc. ACM Program. Lang., vol. 10, issue POPL: "Bounded Sort Polymorphism ..." Article: popl26main-p1025-p
Srinivasan, Ramanathan Thinniyam Proc. ACM Program. Lang., vol. 10, issue POPL: "Parameterized Verification ..." Article: popl26main-p586-p
Staton, Sam Proc. ACM Program. Lang., vol. 10, issue POPL: "The Relative Monadic Metalanguage ..." Article: popl26main-p429-p Proc. ACM Program. Lang., vol. 10, issue POPL: "An Equational Axiomatization ..." Article: popl26main-p512-p
Steuwer, Michel Proc. ACM Program. Lang., vol. 10, issue POPL: "Towards Pen-and-Paper-Style ..." Article: popl26main-p142-p
Su, Bonan Proc. ACM Program. Lang., vol. 10, issue POPL: "An Expressive Assertion Language ..." Article: popl26main-p95-p
Sundar, Hari Proc. ACM Program. Lang., vol. 10, issue POPL: "DafnyMPI: A Dafny Library ..." Article: popl26main-p495-p
Tabareau, Nicolas Proc. ACM Program. Lang., vol. 10, issue POPL: "Bounded Sort Polymorphism ..." Article: popl26main-p1025-p
Tan, Tian Proc. ACM Program. Lang., vol. 10, issue POPL: "ChiSA: Static Analysis for ..." Article: popl26main-p104-p
Tang, Wenhao Proc. ACM Program. Lang., vol. 10, issue POPL: "Rows and Capabilities as Modal ..." Article: popl26main-p187-p
Tannu, Swamit Proc. ACM Program. Lang., vol. 10, issue POPL: "Generating Compilers for Qubit ..." Article: popl26main-p740-p
Tanter, Éric Proc. ACM Program. Lang., vol. 10, issue POPL: "Bounded Sort Polymorphism ..." Article: popl26main-p1025-p
Tassarotti, Joseph Proc. ACM Program. Lang., vol. 10, issue POPL: "All for One and One for All: ..." Article: popl26main-p156-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Probabilistic Concurrent Reasoning ..." Article: popl26main-p57-p
Tepe, Jakob Proc. ACM Program. Lang., vol. 10, issue POPL: "Oriented Metrics for Bottom-Up ..." Article: popl26main-p649-p
Thinniyam, Ramanathan S. Proc. ACM Program. Lang., vol. 10, issue POPL: "General Decidability Results ..." Article: popl26main-p113-p
Toledo, Guilherme V. Proc. ACM Program. Lang., vol. 10, issue POPL: "Characterizing Sets of Theories ..." Article: popl26main-p71-p
Toninho, Bernardo Proc. ACM Program. Lang., vol. 10, issue POPL: "Lazy Linearity for a Core ..." Article: popl26main-p572-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Welterweight Go: Boxing, Structural ..." Article: popl26main-p779-p
Toohey, Matthew Proc. ACM Program. Lang., vol. 10, issue POPL: "Extensible Data Types with ..." Article: popl26main-p116-p
Urban, Caterina Proc. ACM Program. Lang., vol. 10, issue POPL: "A Logic for the Imprecision ..." Article: popl26main-p518-p
Urbat, Henning Proc. ACM Program. Lang., vol. 10, issue POPL: "Higher-Order Behavioural Conformances ..." Article: popl26main-p408-p
Vafeiadis, Viktor Proc. ACM Program. Lang., vol. 10, issue POPL: "A Verified High-Performance ..." Article: popl26main-p595-p
Van Collem, Simcha Proc. ACM Program. Lang., vol. 10, issue POPL: "A Relational Separation Logic ..." Article: popl26main-p190-p
Van der Weide, Niels Proc. ACM Program. Lang., vol. 10, issue POPL: "From Semantics to Syntax: ..." Article: popl26main-p855-p
Varonka, Anton Proc. ACM Program. Lang., vol. 10, issue POPL: "Determination Problems for ..." Article: popl26main-p419-p
Velez-Ginorio, Joey Proc. ACM Program. Lang., vol. 10, issue POPL: "Compiling to Linear Neurons ..." Article: popl26main-p199-p
Veltri, Niccolò Proc. ACM Program. Lang., vol. 10, issue POPL: "Di- is for Directed: First-Order ..." Article: popl26main-p447-p
Wadler, Philip Proc. ACM Program. Lang., vol. 10, issue POPL: "Welterweight Go: Boxing, Structural ..." Article: popl26main-p779-p
Wakizaka, Ryo Proc. ACM Program. Lang., vol. 10, issue POPL: "RapunSL: Untangling Quantum ..." Article: popl26main-p35-p
Walker, David Proc. ACM Program. Lang., vol. 10, issue POPL: "Network Change Validation ..." Article: popl26main-p84-p
Wang, Qian Proc. ACM Program. Lang., vol. 10, issue POPL: "Miri: Practical Undefined ..." Article: popl26main-p347-p
Wang, Xiaoyan Proc. ACM Program. Lang., vol. 10, issue POPL: "Probabilistic Programming ..." Article: popl26main-p898-p
Weirich, Stephanie Proc. ACM Program. Lang., vol. 10, issue POPL: "Typing Strictness ..." Article: popl26main-p89-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Algorithmic Conversion with ..." Article: popl26main-p176-p
Westrick, Sam Proc. ACM Program. Lang., vol. 10, issue POPL: "TypeDis: A Type System for ..." Article: popl26main-p80-p Proc. ACM Program. Lang., vol. 10, issue POPL: "All for One and One for All: ..." Article: popl26main-p156-p
Wies, Thomas Proc. ACM Program. Lang., vol. 10, issue POPL: "Consistent Updates for Scalable ..." Article: popl26main-p423-p
Winnick, Sam Proc. ACM Program. Lang., vol. 10, issue POPL: "Qudit Quantum Programming ..." Article: popl26main-p28-p
Winterhalter, Théo Proc. ACM Program. Lang., vol. 10, issue POPL: "Encode the Cake and Eat It ..." Article: popl26main-p455-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Bounded Sort Polymorphism ..." Article: popl26main-p1025-p
Worrell, James Proc. ACM Program. Lang., vol. 10, issue POPL: "Determination Problems for ..." Article: popl26main-p419-p
Wright, Ines Proc. ACM Program. Lang., vol. 10, issue POPL: "A Relational Separation Logic ..." Article: popl26main-p190-p
Wu, Nicolas Proc. ACM Program. Lang., vol. 10, issue POPL: "Handling Higher-Order Effectful ..." Article: popl26main-p206-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Bayesian Separation Logic ..." Article: popl26main-p397-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Hyperfunctions: Communicating ..." Article: popl26main-p42-p
Wu, Shiyang Proc. ACM Program. Lang., vol. 10, issue POPL: "Piecewise Analysis of Probabilistic ..." Article: popl26main-p560-p
Xie, Ningning Proc. ACM Program. Lang., vol. 10, issue POPL: "Extensible Data Types with ..." Article: popl26main-p116-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Handling Scope Checks: A Comparative ..." Article: popl26main-p221-p
Xiong, Yingfei Proc. ACM Program. Lang., vol. 10, issue POPL: "Accelerating Syntax-Guided ..." Article: popl26main-p213-p
Xu, Alex Proc. ACM Program. Lang., vol. 10, issue POPL: "TypeDis: A Type System for ..." Article: popl26main-p80-p
Xu, Amanda Proc. ACM Program. Lang., vol. 10, issue POPL: "Generating Compilers for Qubit ..." Article: popl26main-p740-p
Xu, Han Proc. ACM Program. Lang., vol. 10, issue POPL: "Network Change Validation ..." Article: popl26main-p84-p
Xu, Runqing Proc. ACM Program. Lang., vol. 10, issue POPL: "Stateful Differential Operators ..." Article: popl26main-p889-p
Xue, Xu Proc. ACM Program. Lang., vol. 10, issue POPL: "Local Contextual Type Inference ..." Article: popl26main-p73-p
Yallop, Jeremy Proc. ACM Program. Lang., vol. 10, issue POPL: "Handling Scope Checks: A Comparative ..." Article: popl26main-p221-p
Yang, Hongseok Proc. ACM Program. Lang., vol. 10, issue POPL: "Optimising Density Computations ..." Article: popl26main-p121-p
Yang, Tengshun Proc. ACM Program. Lang., vol. 10, issue POPL: "Piecewise Analysis of Probabilistic ..." Article: popl26main-p560-p
Yang, Zhixuan Proc. ACM Program. Lang., vol. 10, issue POPL: "Handling Higher-Order Effectful ..." Article: popl26main-p206-p
Ye, Zhentao Proc. ACM Program. Lang., vol. 10, issue POPL: "Accelerating Syntax-Guided ..." Article: popl26main-p213-p
Yi, Kwangkeun Proc. ACM Program. Lang., vol. 10, issue POPL: "Inductive Program Synthesis ..." Article: popl26main-p390-p
Ying, Mingsheng Proc. ACM Program. Lang., vol. 10, issue POPL: "An Expressive Assertion Language ..." Article: popl26main-p95-p
Zdancewic, Steve Proc. ACM Program. Lang., vol. 10, issue POPL: "Compiling to Linear Neurons ..." Article: popl26main-p199-p
Zetzsche, Georg Proc. ACM Program. Lang., vol. 10, issue POPL: "General Decidability Results ..." Article: popl26main-p113-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Bounded Treewidth, Multiple ..." Article: popl26main-p646-p
Zhan, Naijun Proc. ACM Program. Lang., vol. 10, issue POPL: "Piecewise Analysis of Probabilistic ..." Article: popl26main-p560-p
Zhan, Zhongsheng Proc. ACM Program. Lang., vol. 10, issue POPL: "ChiSA: Static Analysis for ..." Article: popl26main-p104-p
Zhang, Xin Proc. ACM Program. Lang., vol. 10, issue POPL: "Fuzzing Guided by Bayesian ..." Article: popl26main-p99-p Proc. ACM Program. Lang., vol. 10, issue POPL: "Accelerating Syntax-Guided ..." Article: popl26main-p213-p
Zhang, Yifan Proc. ACM Program. Lang., vol. 10, issue POPL: "Fuzzing Guided by Bayesian ..." Article: popl26main-p99-p
Zhao, Qiyuan Proc. ACM Program. Lang., vol. 10, issue POPL: "Foundational Multi-Modal Program ..." Article: popl26main-p695-p
Zhou, Li Proc. ACM Program. Lang., vol. 10, issue POPL: "An Expressive Assertion Language ..." Article: popl26main-p95-p
Zhou, Timothy Proc. ACM Program. Lang., vol. 10, issue POPL: "ChopChop: A Programmable Framework ..." Article: popl26main-p532-p
Zicarelli, Hannah Proc. ACM Program. Lang., vol. 10, issue POPL: "A Modular Static Cost Analysis ..." Article: popl26main-p387-p
Zilberstein, Noam Proc. ACM Program. Lang., vol. 10, issue POPL: "Probabilistic Concurrent Reasoning ..." Article: popl26main-p57-p
Zohar, Yoni Proc. ACM Program. Lang., vol. 10, issue POPL: "Characterizing Sets of Theories ..." Article: popl26main-p71-p
Zullo, Joseph A. Proc. ACM Program. Lang., vol. 10, issue POPL: "Let Generalization, Polymorphic ..." Article: popl26main-p20-p
Zumkeller, Matthias Proc. ACM Program. Lang., vol. 10, issue POPL: "The Ghosts of Empires: Extracting ..." Article: popl26main-p235-p

334 authors

proc time: 9.28