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

334 authors

proc time: 10.13