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

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

POPL 2023 – Author Index

Contents - Abstracts - Authors

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

Abreu, Pedro Proc. ACM Program. Lang., vol. 7, issue POPL: "A Type-Based Approach to Divide-and-Conquer ..."
Aguirre, Alejandro Proc. ACM Program. Lang., vol. 7, issue POPL: "Step-Indexed Logical Relations ..."
Alur, Rajeev Proc. ACM Program. Lang., vol. 7, issue POPL: "Executing Microservice Applications ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "A Robust Theory of Series ..."
Angel, Sebastian Proc. ACM Program. Lang., vol. 7, issue POPL: "Executing Microservice Applications ..."
Angiuli, Carlo Proc. ACM Program. Lang., vol. 7, issue POPL: "An Order-Theoretic Analysis ..."
Antonopoulos, Timos Proc. ACM Program. Lang., vol. 7, issue POPL: "An Algebra of Alignment for ..."
Arrial, Victor Proc. ACM Program. Lang., vol. 7, issue POPL: "Quantitative Inhabitation ..."
Bach Poulsen, Casper Proc. ACM Program. Lang., vol. 7, issue POPL: "Hefty Algebras: Modular Elaboration ..."
Baker, Alan Proc. ACM Program. Lang., vol. 7, issue POPL: "Taking Back Control in an ..."
Balzer, Stephanie Proc. ACM Program. Lang., vol. 7, issue POPL: "Higher-Order Leak and Deadlock ..."
Barrière, Aurèle Proc. ACM Program. Lang., vol. 7, issue POPL: "Formally Verified Native Code ..."
Barthe, Gilles Proc. ACM Program. Lang., vol. 7, issue POPL: "CoqQ: Foundational Verification ..."
Batz, Kevin Proc. ACM Program. Lang., vol. 7, issue POPL: "A Calculus for Amortized Expected ..."
Baumann, Pascal Proc. ACM Program. Lang., vol. 7, issue POPL: "Context-Bounded Verification ..."
Bembenek, Aaron Proc. ACM Program. Lang., vol. 7, issue POPL: "From SMT to ASP: Solver-Based ..."
Birkedal, Lars Proc. ACM Program. Lang., vol. 7, issue POPL: "Step-Indexed Logical Relations ..."
Blazy, Sandrine Proc. ACM Program. Lang., vol. 7, issue POPL: "Formally Verified Native Code ..."
Bodík, Rastislav Proc. ACM Program. Lang., vol. 7, issue POPL: "Grisette: Symbolic Compilation ..."
Bonchi, Filippo Proc. ACM Program. Lang., vol. 7, issue POPL: "Deconstructing the Calculus ..."
Bosamiya, Jay Proc. ACM Program. Lang., vol. 7, issue POPL: "MSWasm: Soundly Enforcing ..."
Bowers, Matthew Proc. ACM Program. Lang., vol. 7, issue POPL: "Top-Down Synthesis for Library ..."
Broman, David Proc. ACM Program. Lang., vol. 7, issue POPL: "Statically Resolvable Ambiguity ..."
Cambronero, José Proc. ACM Program. Lang., vol. 7, issue POPL: "FlashFill++: Scaling Programming ..."
Cao, David Proc. ACM Program. Lang., vol. 7, issue POPL: "babble: Learning Better Abstractions ..."
Castegren, Elias Proc. ACM Program. Lang., vol. 7, issue POPL: "Statically Resolvable Ambiguity ..."
Castellan, Simon Proc. ACM Program. Lang., vol. 7, issue POPL: "The Geometry of Causality: ..."
Chappe, Nicolas Proc. ACM Program. Lang., vol. 7, issue POPL: "Choice Trees: Representing ..."
Charguéraud, Arthur Proc. ACM Program. Lang., vol. 7, issue POPL: "A High-Level Separation Logic ..."
Chen, Yixuan Proc. ACM Program. Lang., vol. 7, issue POPL: "A Compositional Theory of ..."
Chen, Zilin Proc. ACM Program. Lang., vol. 7, issue POPL: "Dargent: A Silver Bullet for ..."
Cho, Hangyeol Proc. ACM Program. Lang., vol. 7, issue POPL: "Inductive Synthesis of Structurally ..."
Cho, Minki Proc. ACM Program. Lang., vol. 7, issue POPL: "Conditional Contextual Refinement ..."
Chong, Stephen Proc. ACM Program. Lang., vol. 7, issue POPL: "From SMT to ASP: Solver-Based ..."
Clairambault, Pierre Proc. ACM Program. Lang., vol. 7, issue POPL: "The Geometry of Causality: ..."
Clark, Jack Proc. ACM Program. Lang., vol. 7, issue POPL: "Taking Back Control in an ..."
D'Antoni, Loris Proc. ACM Program. Lang., vol. 7, issue POPL: "Unrealizability Logic ..."
Das, Ankush Proc. ACM Program. Lang., vol. 7, issue POPL: "Probabilistic Resource-Aware ..."
Das, Ria Proc. ACM Program. Lang., vol. 7, issue POPL: "Combining Functional and Automata ..."
Dash, Swaraj Proc. ACM Program. Lang., vol. 7, issue POPL: "Affine Monads and Lazy Structures ..."
Day, Joel D. Proc. ACM Program. Lang., vol. 7, issue POPL: "On the Expressive Power of ..."
Deep, Shaleen Proc. ACM Program. Lang., vol. 7, issue POPL: "The Fine-Grained Complexity ..."
Delaware, Benjamin Proc. ACM Program. Lang., vol. 7, issue POPL: "A Type-Based Approach to Divide-and-Conquer ..."
Denlinger, Aidan Proc. ACM Program. Lang., vol. 7, issue POPL: "MSWasm: Soundly Enforcing ..."
Di Florio, Cecilia Proc. ACM Program. Lang., vol. 7, issue POPL: "Elements of Quantitative Rewriting ..."
Di Giorgio, Alessandro Proc. ACM Program. Lang., vol. 7, issue POPL: "Deconstructing the Calculus ..."
Di Giusto, Cinzia Proc. ACM Program. Lang., vol. 7, issue POPL: "A Partial Order View of Message-Passing ..."
Ding, Shuo Proc. ACM Program. Lang., vol. 7, issue POPL: "Witnessability of Undecidable ..."
Disselkoen, Craig Proc. ACM Program. Lang., vol. 7, issue POPL: "MSWasm: Soundly Enforcing ..."
Donaldson, Alastair F. Proc. ACM Program. Lang., vol. 7, issue POPL: "Taking Back Control in an ..."
D'Osualdo, Emanuele Proc. ACM Program. Lang., vol. 7, issue POPL: "The Path to Durable Linearizability ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "DimSum: A Decentralized Approach ..."
Dreyer, Derek Proc. ACM Program. Lang., vol. 7, issue POPL: "DimSum: A Decentralized Approach ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Conditional Contextual Refinement ..."
Ellis, Kevin Proc. ACM Program. Lang., vol. 7, issue POPL: "Top-Down Synthesis for Library ..."
Fan, Xiong Proc. ACM Program. Lang., vol. 7, issue POPL: "A Core Calculus for Equational ..."
Farzan, Azadeh Proc. ACM Program. Lang., vol. 7, issue POPL: "Stratified Commutativity in ..."
Ferré, Davide Proc. ACM Program. Lang., vol. 7, issue POPL: "A Partial Order View of Message-Passing ..."
Frostig, Roy Proc. ACM Program. Lang., vol. 7, issue POPL: "You Only Linearize Once: Tangents ..."
Fu, Peng Proc. ACM Program. Lang., vol. 7, issue POPL: "Proto-Quipper with Dynamic ..."
Ganardi, Moses Proc. ACM Program. Lang., vol. 7, issue POPL: "Context-Bounded Verification ..."
Gancher, Joshua Proc. ACM Program. Lang., vol. 7, issue POPL: "A Core Calculus for Equational ..."
Ganesh, Vijay Proc. ACM Program. Lang., vol. 7, issue POPL: "On the Expressive Power of ..."
Garg, Deepak Proc. ACM Program. Lang., vol. 7, issue POPL: "DimSum: A Decentralized Approach ..."
Gavazzo, Francesco Proc. ACM Program. Lang., vol. 7, issue POPL: "Elements of Quantitative Rewriting ..."
Gollamudi, Anitha Proc. ACM Program. Lang., vol. 7, issue POPL: "MSWasm: Soundly Enforcing ..."
Goncharov, Sergey Proc. ACM Program. Lang., vol. 7, issue POPL: "Towards a Higher-Order Mathematical ..."
Grand, Gabriel Proc. ACM Program. Lang., vol. 7, issue POPL: "Top-Down Synthesis for Library ..."
Greenberg, Michael Proc. ACM Program. Lang., vol. 7, issue POPL: "From SMT to ASP: Solver-Based ..."
Grewal, Nathan Proc. ACM Program. Lang., vol. 7, issue POPL: "On the Expressive Power of ..."
Gu, Yu Proc. ACM Program. Lang., vol. 7, issue POPL: "Optimal CHC Solving via Termination ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Modular Primal-Dual Fixpoint ..."
Guerrieri, Giulio Proc. ACM Program. Lang., vol. 7, issue POPL: "Quantitative Inhabitation ..."
Gulwani, Sumit Proc. ACM Program. Lang., vol. 7, issue POPL: "FlashFill++: Scaling Programming ..."
Hainry, Emmanuel Proc. ACM Program. Lang., vol. 7, issue POPL: "A General Noninterference ..."
Haller, Philipp Proc. ACM Program. Lang., vol. 7, issue POPL: "Statically Resolvable Ambiguity ..."
He, Paul Proc. ACM Program. Lang., vol. 7, issue POPL: "Choice Trees: Representing ..."
Henrio, Ludovic Proc. ACM Program. Lang., vol. 7, issue POPL: "Choice Trees: Representing ..."
Hicks, Michael Proc. ACM Program. Lang., vol. 7, issue POPL: "Qunity: A Unified Language ..."
Hoffmann, Jan Proc. ACM Program. Lang., vol. 7, issue POPL: "Probabilistic Resource-Aware ..."
Hou (Favonia), Kuen-Bang Proc. ACM Program. Lang., vol. 7, issue POPL: "An Order-Theoretic Analysis ..."
Huang, Xuejing Proc. ACM Program. Lang., vol. 7, issue POPL: "A Bowtie for a Beast: Overloading, ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Making a Type Difference: ..."
Hubers, Alex Proc. ACM Program. Lang., vol. 7, issue POPL: "A Type-Based Approach to Divide-and-Conquer ..."
Hunt, Sebastian Proc. ACM Program. Lang., vol. 7, issue POPL: "Reconciling Shannon and Scott ..."
Huot, Mathieu Proc. ACM Program. Lang., vol. 7, issue POPL: "ADEV: Sound Automatic Differentiation ..."
Hur, Chung-Kil Proc. ACM Program. Lang., vol. 7, issue POPL: "Conditional Contextual Refinement ..."
Jackson, Vincent Proc. ACM Program. Lang., vol. 7, issue POPL: "Dargent: A Silver Bullet for ..."
Jacobs, Jules Proc. ACM Program. Lang., vol. 7, issue POPL: "Higher-Order Leak and Deadlock ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Fast Coalgebraic Bisimilarity ..."
Jenkins, Christa Proc. ACM Program. Lang., vol. 7, issue POPL: "A Type-Based Approach to Divide-and-Conquer ..."
Jiang, Chuan Proc. ACM Program. Lang., vol. 7, issue POPL: "Comparative Synthesis: Learning ..."
Jochems, Jerome Proc. ACM Program. Lang., vol. 7, issue POPL: "Higher-Order MSL Horn Constraints ..."
Johnson, Evan Proc. ACM Program. Lang., vol. 7, issue POPL: "MSWasm: Soundly Enforcing ..."
Johnson, Matthew J. Proc. ACM Program. Lang., vol. 7, issue POPL: "You Only Linearize Once: Tangents ..."
Jones, Eddie Proc. ACM Program. Lang., vol. 7, issue POPL: "Higher-Order MSL Horn Constraints ..."
Kaddar, Younesse Proc. ACM Program. Lang., vol. 7, issue POPL: "Affine Monads and Lazy Structures ..."
Kallas, Konstantinos Proc. ACM Program. Lang., vol. 7, issue POPL: "Executing Microservice Applications ..."
Kaminski, Benjamin Lucien Proc. ACM Program. Lang., vol. 7, issue POPL: "A Calculus for Amortized Expected ..."
Katoen, Joost-Pieter Proc. ACM Program. Lang., vol. 7, issue POPL: "A Calculus for Amortized Expected ..."
Keller, Gabriele Proc. ACM Program. Lang., vol. 7, issue POPL: "Dargent: A Silver Bullet for ..."
Kerinec, Axel Proc. ACM Program. Lang., vol. 7, issue POPL: "Why Are Proofs Relevant in ..."
Kesner, Delia Proc. ACM Program. Lang., vol. 7, issue POPL: "Quantitative Inhabitation ..."
Kim, Jinwoo Proc. ACM Program. Lang., vol. 7, issue POPL: "Unrealizability Logic ..."
Kincaid, Zachary Proc. ACM Program. Lang., vol. 7, issue POPL: "When Less Is More: Consequence-Finding ..."
Kishida, Kohei Proc. ACM Program. Lang., vol. 7, issue POPL: "Proto-Quipper with Dynamic ..."
Klimis, Vasileios Proc. ACM Program. Lang., vol. 7, issue POPL: "Taking Back Control in an ..."
Klumpp, Dominik Proc. ACM Program. Lang., vol. 7, issue POPL: "Stratified Commutativity in ..."
Kobayashi, Naoki Proc. ACM Program. Lang., vol. 7, issue POPL: "HFL(Z) Validity Checking for ..."
Koh, Nicolas Proc. ACM Program. Lang., vol. 7, issue POPL: "When Less Is More: Consequence-Finding ..."
Kokologiannakis, Michalis Proc. ACM Program. Lang., vol. 7, issue POPL: "Kater: Automating Weak Memory ..."
Koskinen, Eric Proc. ACM Program. Lang., vol. 7, issue POPL: "An Algebra of Alignment for ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Modular Primal-Dual Fixpoint ..."
Koutris, Paraschos Proc. ACM Program. Lang., vol. 7, issue POPL: "The Fine-Grained Complexity ..."
Krebbers, Robbert Proc. ACM Program. Lang., vol. 7, issue POPL: "DimSum: A Decentralized Approach ..."
Krishnaswami, Neel Proc. ACM Program. Lang., vol. 7, issue POPL: "CN: Verifying Systems C Code ..."
Kunkel, Rose Proc. ACM Program. Lang., vol. 7, issue POPL: "babble: Learning Better Abstractions ..."
Lafont, Ambroise Proc. ACM Program. Lang., vol. 7, issue POPL: "Dargent: A Silver Bullet for ..."
Lahav, Ori Proc. ACM Program. Lang., vol. 7, issue POPL: "Kater: Automating Weak Memory ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "An Operational Approach to ..."
Laversa, Laetitia Proc. ACM Program. Lang., vol. 7, issue POPL: "A Partial Order View of Message-Passing ..."
Le, Ton Chanh Proc. ACM Program. Lang., vol. 7, issue POPL: "An Algebra of Alignment for ..."
Le, Vu Proc. ACM Program. Lang., vol. 7, issue POPL: "FlashFill++: Scaling Programming ..."
Lee, Dongjae Proc. ACM Program. Lang., vol. 7, issue POPL: "Conditional Contextual Refinement ..."
Lee, Wonyeol Proc. ACM Program. Lang., vol. 7, issue POPL: "Smoothness Analysis for Probabilistic ..."
Lee, Woosuk Proc. ACM Program. Lang., vol. 7, issue POPL: "Inductive Synthesis of Structurally ..."
Leijen, Daan Proc. ACM Program. Lang., vol. 7, issue POPL: "Tail Recursion Modulo Context: ..."
Lemerre, Matthieu Proc. ACM Program. Lang., vol. 7, issue POPL: "SSA Translation Is an Abstract ..."
Lew, Alexander K. Proc. ACM Program. Lang., vol. 7, issue POPL: "ADEV: Sound Automatic Differentiation ..."
Li, Jianlin Proc. ACM Program. Lang., vol. 7, issue POPL: "Type-Preserving, Dependence-Aware ..."
Li, Liyi Proc. ACM Program. Lang., vol. 7, issue POPL: "Qunity: A Unified Language ..."
Li, Yuanbo Proc. ACM Program. Lang., vol. 7, issue POPL: "Single-Source-Single-Target ..."
Li, Zixuan Proc. ACM Program. Lang., vol. 7, issue POPL: "Comparative Synthesis: Learning ..."
Liu, Junyi Proc. ACM Program. Lang., vol. 7, issue POPL: "CoqQ: Foundational Verification ..."
Liu, Vincent Proc. ACM Program. Lang., vol. 7, issue POPL: "Executing Microservice Applications ..."
Lorenzen, Anton Proc. ACM Program. Lang., vol. 7, issue POPL: "Tail Recursion Modulo Context: ..."
Lozes, Etienne Proc. ACM Program. Lang., vol. 7, issue POPL: "A Partial Order View of Message-Passing ..."
Lu, Sirui Proc. ACM Program. Lang., vol. 7, issue POPL: "Grisette: Symbolic Compilation ..."
Maclaurin, Dougal Proc. ACM Program. Lang., vol. 7, issue POPL: "You Only Linearize Once: Tangents ..."
Majumdar, Rupak Proc. ACM Program. Lang., vol. 7, issue POPL: "Context-Bounded Verification ..."
Makwana, Dhruv C. Proc. ACM Program. Lang., vol. 7, issue POPL: "CN: Verifying Systems C Code ..."
Manea, Florin Proc. ACM Program. Lang., vol. 7, issue POPL: "On the Expressive Power of ..."
Mansinghka, Vikash K. Proc. ACM Program. Lang., vol. 7, issue POPL: "ADEV: Sound Automatic Differentiation ..."
Manzonetto, Giulio Proc. ACM Program. Lang., vol. 7, issue POPL: "Why Are Proofs Relevant in ..."
Matheja, Christoph Proc. ACM Program. Lang., vol. 7, issue POPL: "A Calculus for Amortized Expected ..."
Mathur, Umang Proc. ACM Program. Lang., vol. 7, issue POPL: "Dynamic Race Detection with ..."
McLaughlin, Craig Proc. ACM Program. Lang., vol. 7, issue POPL: "Dargent: A Silver Bullet for ..."
Memarian, Kayvan Proc. ACM Program. Lang., vol. 7, issue POPL: "CN: Verifying Systems C Code ..."
Michael, Alexandra E. Proc. ACM Program. Lang., vol. 7, issue POPL: "MSWasm: Soundly Enforcing ..."
Milius, Stefan Proc. ACM Program. Lang., vol. 7, issue POPL: "Towards a Higher-Order Mathematical ..."
Moine, Alexandre Proc. ACM Program. Lang., vol. 7, issue POPL: "A High-Level Separation Logic ..."
Morris, J. Garrett Proc. ACM Program. Lang., vol. 7, issue POPL: "A Type-Based Approach to Divide-and-Conquer ..."
Morrisett, Greg Proc. ACM Program. Lang., vol. 7, issue POPL: "A Core Calculus for Equational ..."
Mullanix, Reed Proc. ACM Program. Lang., vol. 7, issue POPL: "An Order-Theoretic Analysis ..."
Nagasamudram, Ramana Proc. ACM Program. Lang., vol. 7, issue POPL: "An Algebra of Alignment for ..."
Nandi, Chandrakana Proc. ACM Program. Lang., vol. 7, issue POPL: "babble: Learning Better Abstractions ..."
Naumann, David A. Proc. ACM Program. Lang., vol. 7, issue POPL: "An Algebra of Alignment for ..."
Neto, David Proc. ACM Program. Lang., vol. 7, issue POPL: "Taking Back Control in an ..."
Ngo, Minh Proc. ACM Program. Lang., vol. 7, issue POPL: "An Algebra of Alignment for ..."
O'Connor, Liam Proc. ACM Program. Lang., vol. 7, issue POPL: "Dargent: A Silver Bullet for ..."
Olausson, Theo X. Proc. ACM Program. Lang., vol. 7, issue POPL: "Top-Down Synthesis for Library ..."
Olimpieri, Federico Proc. ACM Program. Lang., vol. 7, issue POPL: "Why Are Proofs Relevant in ..."
Oliveira, Bruno C. d. S. Proc. ACM Program. Lang., vol. 7, issue POPL: "A Bowtie for a Beast: Overloading, ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Making a Type Difference: ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Recursive Subtyping for All ..."
Oliveira Vale, Arthur Proc. ACM Program. Lang., vol. 7, issue POPL: "A Compositional Theory of ..."
Palmkvist, Viktor Proc. ACM Program. Lang., vol. 7, issue POPL: "Statically Resolvable Ambiguity ..."
Paquet, Hugo Proc. ACM Program. Lang., vol. 7, issue POPL: "Affine Monads and Lazy Structures ..."
Parno, Bryan Proc. ACM Program. Lang., vol. 7, issue POPL: "MSWasm: Soundly Enforcing ..."
Paszke, Adam Proc. ACM Program. Lang., vol. 7, issue POPL: "You Only Linearize Once: Tangents ..."
Patrignani, Marco Proc. ACM Program. Lang., vol. 7, issue POPL: "MSWasm: Soundly Enforcing ..."
Péchoux, Romain Proc. ACM Program. Lang., vol. 7, issue POPL: "A General Noninterference ..."
Perelman, Daniel Proc. ACM Program. Lang., vol. 7, issue POPL: "FlashFill++: Scaling Programming ..."
Pichardie, David Proc. ACM Program. Lang., vol. 7, issue POPL: "Formally Verified Native Code ..."
Pitts, Andrew M. Proc. ACM Program. Lang., vol. 7, issue POPL: "Locally Nameless Sets ..."
Podelski, Andreas Proc. ACM Program. Lang., vol. 7, issue POPL: "Stratified Commutativity in ..."
Polikarpova, Nadia Proc. ACM Program. Lang., vol. 7, issue POPL: "babble: Learning Better Abstractions ..."
Popescu, Andrei Proc. ACM Program. Lang., vol. 7, issue POPL: "Admissible Types-to-PERs Relativization ..."
Pottier, François Proc. ACM Program. Lang., vol. 7, issue POPL: "A High-Level Separation Logic ..."
Pujet, Loïc Proc. ACM Program. Lang., vol. 7, issue POPL: "Impredicative Observational ..."
Pulte, Christopher Proc. ACM Program. Lang., vol. 7, issue POPL: "CN: Verifying Systems C Code ..."
Qiu, Xiaokang Proc. ACM Program. Lang., vol. 7, issue POPL: "Comparative Synthesis: Learning ..."
Raad, Azalea Proc. ACM Program. Lang., vol. 7, issue POPL: "The Path to Durable Linearizability ..."
Radhakrishna, Arjun Proc. ACM Program. Lang., vol. 7, issue POPL: "FlashFill++: Scaling Programming ..."
Radul, Alexey Proc. ACM Program. Lang., vol. 7, issue POPL: "You Only Linearize Once: Tangents ..."
Ramsay, Steven Proc. ACM Program. Lang., vol. 7, issue POPL: "Higher-Order MSL Horn Constraints ..."
Rand, Robert Proc. ACM Program. Lang., vol. 7, issue POPL: "Qunity: A Unified Language ..."
Rao, Sanjay Proc. ACM Program. Lang., vol. 7, issue POPL: "Comparative Synthesis: Learning ..."
Reps, Thomas Proc. ACM Program. Lang., vol. 7, issue POPL: "Unrealizability Logic ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Single-Source-Single-Target ..."
Rioux, Nick Proc. ACM Program. Lang., vol. 7, issue POPL: "A Bowtie for a Beast: Overloading, ..."
Rival, Xavier Proc. ACM Program. Lang., vol. 7, issue POPL: "Smoothness Analysis for Probabilistic ..."
Rizkallah, Christine Proc. ACM Program. Lang., vol. 7, issue POPL: "Dargent: A Silver Bullet for ..."
Ross, Neil J. Proc. ACM Program. Lang., vol. 7, issue POPL: "Proto-Quipper with Dynamic ..."
Sammler, Michael Proc. ACM Program. Lang., vol. 7, issue POPL: "DimSum: A Decentralized Approach ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Conditional Contextual Refinement ..."
Sands, David Proc. ACM Program. Lang., vol. 7, issue POPL: "Reconciling Shannon and Scott ..."
Santamaria, Alessio Proc. ACM Program. Lang., vol. 7, issue POPL: "Deconstructing the Calculus ..."
Sato, Ryosuke Proc. ACM Program. Lang., vol. 7, issue POPL: "HFL(Z) Validity Checking for ..."
Schröder, Lutz Proc. ACM Program. Lang., vol. 7, issue POPL: "Towards a Higher-Order Mathematical ..."
Sekiyama, Taro Proc. ACM Program. Lang., vol. 7, issue POPL: "Temporal Verification with ..."
Selinger, Peter Proc. ACM Program. Lang., vol. 7, issue POPL: "Proto-Quipper with Dynamic ..."
Sewell, Peter Proc. ACM Program. Lang., vol. 7, issue POPL: "CN: Verifying Systems C Code ..."
Sewell, Thomas Proc. ACM Program. Lang., vol. 7, issue POPL: "CN: Verifying Systems C Code ..."
Shao, Zhong Proc. ACM Program. Lang., vol. 7, issue POPL: "A Compositional Theory of ..."
Shi, Elaine Proc. ACM Program. Lang., vol. 7, issue POPL: "A Core Calculus for Equational ..."
Shi, Pengyuan Proc. ACM Program. Lang., vol. 7, issue POPL: "Type-Preserving, Dependence-Aware ..."
Simon, Clint Proc. ACM Program. Lang., vol. 7, issue POPL: "FlashFill++: Scaling Programming ..."
Singh, Abhishek Kr Proc. ACM Program. Lang., vol. 7, issue POPL: "An Operational Approach to ..."
Smeding, Tom J. Proc. ACM Program. Lang., vol. 7, issue POPL: "Efficient Dual-Numbers Reverse ..."
Sojakova, Kristina Proc. ACM Program. Lang., vol. 7, issue POPL: "A Core Calculus for Equational ..."
Solar-Lezama, Armando Proc. ACM Program. Lang., vol. 7, issue POPL: "Top-Down Synthesis for Library ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Combining Functional and Automata ..."
Song, Youngju Proc. ACM Program. Lang., vol. 7, issue POPL: "DimSum: A Decentralized Approach ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Conditional Contextual Refinement ..."
Spies, Simon Proc. ACM Program. Lang., vol. 7, issue POPL: "DimSum: A Decentralized Approach ..."
Stanford, Caleb Proc. ACM Program. Lang., vol. 7, issue POPL: "A Robust Theory of Series ..."
Staton, Sam Proc. ACM Program. Lang., vol. 7, issue POPL: "Affine Monads and Lazy Structures ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "ADEV: Sound Automatic Differentiation ..."
Stefan, Deian Proc. ACM Program. Lang., vol. 7, issue POPL: "MSWasm: Soundly Enforcing ..."
Strub, Pierre-Yves Proc. ACM Program. Lang., vol. 7, issue POPL: "CoqQ: Foundational Verification ..."
Stucki, Sandro Proc. ACM Program. Lang., vol. 7, issue POPL: "Reconciling Shannon and Scott ..."
Stump, Aaron Proc. ACM Program. Lang., vol. 7, issue POPL: "A Type-Based Approach to Divide-and-Conquer ..."
Tabareau, Nicolas Proc. ACM Program. Lang., vol. 7, issue POPL: "Impredicative Observational ..."
Tanahashi, Kento Proc. ACM Program. Lang., vol. 7, issue POPL: "HFL(Z) Validity Checking for ..."
Tatlock, Zachary Proc. ACM Program. Lang., vol. 7, issue POPL: "babble: Learning Better Abstractions ..."
Tavares, Zenna Proc. ACM Program. Lang., vol. 7, issue POPL: "Combining Functional and Automata ..."
Tenenbaum, Joshua B. Proc. ACM Program. Lang., vol. 7, issue POPL: "Top-Down Synthesis for Library ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Combining Functional and Automata ..."
Terauchi, Tachio Proc. ACM Program. Lang., vol. 7, issue POPL: "Modular Primal-Dual Fixpoint ..."
Thinniyam, Ramanathan S. Proc. ACM Program. Lang., vol. 7, issue POPL: "Context-Bounded Verification ..."
Thokair, Mosaad Al Proc. ACM Program. Lang., vol. 7, issue POPL: "Dynamic Race Detection with ..."
Tiwari, Ashish Proc. ACM Program. Lang., vol. 7, issue POPL: "FlashFill++: Scaling Programming ..."
Traytel, Dmitriy Proc. ACM Program. Lang., vol. 7, issue POPL: "Admissible Types-to-PERs Relativization ..."
Tsampas, Stelios Proc. ACM Program. Lang., vol. 7, issue POPL: "Towards a Higher-Order Mathematical ..."
Tsukada, Takeshi Proc. ACM Program. Lang., vol. 7, issue POPL: "Optimal CHC Solving via Termination ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "HFL(Z) Validity Checking for ..."
Unno, Hiroshi Proc. ACM Program. Lang., vol. 7, issue POPL: "Optimal CHC Solving via Termination ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Temporal Verification with ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Modular Primal-Dual Fixpoint ..."
Urbat, Henning Proc. ACM Program. Lang., vol. 7, issue POPL: "Towards a Higher-Order Mathematical ..."
Vafeiadis, Viktor Proc. ACM Program. Lang., vol. 7, issue POPL: "Kater: Automating Weak Memory ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "The Path to Durable Linearizability ..."
Vákár, Matthijs I. L. Proc. ACM Program. Lang., vol. 7, issue POPL: "Efficient Dual-Numbers Reverse ..."
Van der Rest, Cas Proc. ACM Program. Lang., vol. 7, issue POPL: "Hefty Algebras: Modular Elaboration ..."
Vassena, Marco Proc. ACM Program. Lang., vol. 7, issue POPL: "MSWasm: Soundly Enforcing ..."
Ven, Leni Proc. ACM Program. Lang., vol. 7, issue POPL: "Type-Preserving, Dependence-Aware ..."
Verscht, Lena Proc. ACM Program. Lang., vol. 7, issue POPL: "A Calculus for Amortized Expected ..."
Viswanathan, Mahesh Proc. ACM Program. Lang., vol. 7, issue POPL: "Dynamic Race Detection with ..."
Voichick, Finn Proc. ACM Program. Lang., vol. 7, issue POPL: "Qunity: A Unified Language ..."
Wang, Di Proc. ACM Program. Lang., vol. 7, issue POPL: "Probabilistic Resource-Aware ..."
Wang, Yanjun Proc. ACM Program. Lang., vol. 7, issue POPL: "Comparative Synthesis: Learning ..."
Watson, Christopher Proc. ACM Program. Lang., vol. 7, issue POPL: "A Robust Theory of Series ..."
Watt, Conrad Proc. ACM Program. Lang., vol. 7, issue POPL: "MSWasm: Soundly Enforcing ..."
Wickerson, John Proc. ACM Program. Lang., vol. 7, issue POPL: "Taking Back Control in an ..."
Willsey, Max Proc. ACM Program. Lang., vol. 7, issue POPL: "babble: Learning Better Abstractions ..."
Wißmann, Thorsten Proc. ACM Program. Lang., vol. 7, issue POPL: "Fast Coalgebraic Bisimilarity ..."
Wong, Lionel Proc. ACM Program. Lang., vol. 7, issue POPL: "Top-Down Synthesis for Library ..."
Xu, Han Proc. ACM Program. Lang., vol. 7, issue POPL: "Making a Type Difference: ..."
Yang, Hongseok Proc. ACM Program. Lang., vol. 7, issue POPL: "Smoothness Analysis for Probabilistic ..."
Ying, Mingsheng Proc. ACM Program. Lang., vol. 7, issue POPL: "CoqQ: Foundational Verification ..."
Zakowski, Yannick Proc. ACM Program. Lang., vol. 7, issue POPL: "Choice Trees: Representing ..."
Zdancewic, Steve Proc. ACM Program. Lang., vol. 7, issue POPL: "A Bowtie for a Beast: Overloading, ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Choice Trees: Representing ..."
Zetzsche, Georg Proc. ACM Program. Lang., vol. 7, issue POPL: "Context-Bounded Verification ..."
Zhang, Haoran Proc. ACM Program. Lang., vol. 7, issue POPL: "Executing Microservice Applications ..."
Zhang, Minjian Proc. ACM Program. Lang., vol. 7, issue POPL: "Dynamic Race Detection with ..."
Zhang, Qirun Proc. ACM Program. Lang., vol. 7, issue POPL: "Witnessability of Undecidable ..." Proc. ACM Program. Lang., vol. 7, issue POPL: "Single-Source-Single-Target ..."
Zhang, Yizhou Proc. ACM Program. Lang., vol. 7, issue POPL: "Type-Preserving, Dependence-Aware ..."
Zhou, Li Proc. ACM Program. Lang., vol. 7, issue POPL: "CoqQ: Foundational Verification ..."
Zhou, Litao Proc. ACM Program. Lang., vol. 7, issue POPL: "Recursive Subtyping for All ..."
Zhou, Yaoda Proc. ACM Program. Lang., vol. 7, issue POPL: "Recursive Subtyping for All ..."
Zhu, Shaowei Proc. ACM Program. Lang., vol. 7, issue POPL: "When Less Is More: Consequence-Finding ..."

274 authors

proc time: 10.29