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

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

POPL 2019 – 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 Y Z

Aceto, Luca Proc. ACM Program. Lang., vol. 3, issue POPL: "Adventures in Monitorability: ..."
Achilleos, Antonis Proc. ACM Program. Lang., vol. 3, issue POPL: "Adventures in Monitorability: ..."
Aguirre, Alejandro Proc. ACM Program. Lang., vol. 3, issue POPL: "Formal Verification of Higher-Order ..."
Ahmed, Amal Proc. ACM Program. Lang., vol. 3, issue POPL: "Gradual Type Theory ..."
Albarghouthi, Aws Proc. ACM Program. Lang., vol. 3, issue POPL: "Trace Abstraction Modulo Probability ..."
Ali, Karim Proc. ACM Program. Lang., vol. 3, issue POPL: "Context-, Flow-, and Field-Sensitive ..."
Alon, Uri Proc. ACM Program. Lang., vol. 3, issue POPL: "code2vec: Learning Distributed ..."
Altenkirch, Thorsten Proc. ACM Program. Lang., vol. 3, issue POPL: "Constructing Quotient Inductive-Inductive ..."
Alur, Rajeev Proc. ACM Program. Lang., vol. 3, issue POPL: "Modular Quantitative Monitoring ..."
Andreescu, Oana F. Proc. ACM Program. Lang., vol. 3, issue POPL: "Inferring Frame Conditions ..."
Armstrong, Alasdair Proc. ACM Program. Lang., vol. 3, issue POPL: "ISA Semantics for ARMv8-A, ..."
Bae, Kyungmin Proc. ACM Program. Lang., vol. 3, issue POPL: "Bounded Model Checking of ..."
Bakst, Alexander Proc. ACM Program. Lang., vol. 3, issue POPL: "Pretend Synchrony: Synchronous ..."
Baldan, Paolo Proc. ACM Program. Lang., vol. 3, issue POPL: "Fixpoint Games on Continuous ..."
Barthe, Gilles Proc. ACM Program. Lang., vol. 3, issue POPL: "Formal Verification of Higher-Order ..."
Batz, Kevin Proc. ACM Program. Lang., vol. 3, issue POPL: "Quantitative Separation Logic: ..."
Bauereiss, Thomas Proc. ACM Program. Lang., vol. 3, issue POPL: "ISA Semantics for ARMv8-A, ..."
Biernacki, Dariusz Proc. ACM Program. Lang., vol. 3, issue POPL: "Abstracting Algebraic Effects ..."
Birkedal, Lars Proc. ACM Program. Lang., vol. 3, issue POPL: "StkTokens: Enforcing Well-Bracketed ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "Iron: Managing Obligations ..."
Bizjak, Aleš Proc. ACM Program. Lang., vol. 3, issue POPL: "Iron: Managing Obligations ..."
Blanchette, Jasmin Christian Proc. ACM Program. Lang., vol. 3, issue POPL: "Bindings as Bounded Natural ..."
Bodden, Eric Proc. ACM Program. Lang., vol. 3, issue POPL: "Context-, Flow-, and Field-Sensitive ..."
Bodin, Martin Proc. ACM Program. Lang., vol. 3, issue POPL: "Skeletal Semantics and Their ..."
Bonchi, Filippo Proc. ACM Program. Lang., vol. 3, issue POPL: "Diagrammatic Algebra: From ..."
Breck, Jason Proc. ACM Program. Lang., vol. 3, issue POPL: "Refinement of Path Expressions ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "Closed Forms for Numerical ..."
Campbell, Brian Proc. ACM Program. Lang., vol. 3, issue POPL: "ISA Semantics for ARMv8-A, ..."
Castagna, Giuseppe Proc. ACM Program. Lang., vol. 3, issue POPL: "Gradual Typing: A New Perspective ..."
Castellan, Simon Proc. ACM Program. Lang., vol. 3, issue POPL: "Two Sides of the Same Coin: ..."
Castro, David Proc. ACM Program. Lang., vol. 3, issue POPL: "Distributed Programming using ..."
Cauligi, Sunjay Proc. ACM Program. Lang., vol. 3, issue POPL: "CT-Wasm: Type-Driven Secure ..."
Cavallo, Evan Proc. ACM Program. Lang., vol. 3, issue POPL: "Higher Inductive Types in ..."
Chakraborty, Soham Proc. ACM Program. Lang., vol. 3, issue POPL: "Grounding Thin-Air Reads with ..."
Chatterjee, Krishnendu Proc. ACM Program. Lang., vol. 3, issue POPL: "Efficient Parameterized Algorithms ..."
Chen, Liqian Proc. ACM Program. Lang., vol. 3, issue POPL: "Efficient Automated Repair ..."
Chen, Taolue Proc. ACM Program. Lang., vol. 3, issue POPL: "Decision Procedures for Path ..."
Chugh, Ravi Proc. ACM Program. Lang., vol. 3, issue POPL: "Live Functional Programming ..."
Clairambault, Pierre Proc. ACM Program. Lang., vol. 3, issue POPL: "Game Semantics for Quantum ..."
Cockx, Jesper Proc. ACM Program. Lang., vol. 3, issue POPL: "Definitional Proof-Irrelevance ..."
Cousot, Patrick Proc. ACM Program. Lang., vol. 3, issue POPL: "A²I: Abstract² Interpretation ..."
Crary, Karl Proc. ACM Program. Lang., vol. 3, issue POPL: "Fully Abstract Module Compilation ..."
Cusumano-Towner, Marco F. Proc. ACM Program. Lang., vol. 3, issue POPL: "Bayesian Synthesis of Probabilistic ..."
Cyphert, John Proc. ACM Program. Lang., vol. 3, issue POPL: "Refinement of Path Expressions ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "Closed Forms for Numerical ..."
Dal Lago, Ugo Proc. ACM Program. Lang., vol. 3, issue POPL: "Intersection Types and Runtime ..."
Davis, Brooks Proc. ACM Program. Lang., vol. 3, issue POPL: "Exploring C Semantics and ..."
Decova, Sára Proc. ACM Program. Lang., vol. 3, issue POPL: "Exceptional Asynchronous Session ..."
De Visme, Marc Proc. ACM Program. Lang., vol. 3, issue POPL: "Game Semantics for Quantum ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "Intersection Types and Runtime ..."
Devriese, Dominique Proc. ACM Program. Lang., vol. 3, issue POPL: "StkTokens: Enforcing Well-Bracketed ..."
Doko, Marko Proc. ACM Program. Lang., vol. 3, issue POPL: "On Library Correctness under ..."
Dudenhefner, Andrej Proc. ACM Program. Lang., vol. 3, issue POPL: "Principality and Approximation ..."
Dunfield, Joshua Proc. ACM Program. Lang., vol. 3, issue POPL: "Sound and Complete Bidirectional ..."
Emmi, Michael Proc. ACM Program. Lang., vol. 3, issue POPL: "Weak-Consistency Specification ..."
Enea, Constantin Proc. ACM Program. Lang., vol. 3, issue POPL: "Weak-Consistency Specification ..."
Findler, Robert Bruce Proc. ACM Program. Lang., vol. 3, issue POPL: "A Calculus for Esterel: If ..."
Florence, Spencer P. Proc. ACM Program. Lang., vol. 3, issue POPL: "A Calculus for Esterel: If ..."
Flur, Shaked Proc. ACM Program. Lang., vol. 3, issue POPL: "ISA Semantics for ARMv8-A, ..."
Fowler, Simon Proc. ACM Program. Lang., vol. 3, issue POPL: "Exceptional Asynchronous Session ..."
Fragoso Santos, José Proc. ACM Program. Lang., vol. 3, issue POPL: "JaVerT 2.0: Compositional ..."
Francalanza, Adrian Proc. ACM Program. Lang., vol. 3, issue POPL: "Adventures in Monitorability: ..."
French, Jon Proc. ACM Program. Lang., vol. 3, issue POPL: "ISA Semantics for ARMv8-A, ..."
Fromherz, Aymeric Proc. ACM Program. Lang., vol. 3, issue POPL: "A Verified, Efficient Embedding ..."
Gaboardi, Marco Proc. ACM Program. Lang., vol. 3, issue POPL: "Formal Verification of Higher-Order ..."
Gardner, Philippa Proc. ACM Program. Lang., vol. 3, issue POPL: "Skeletal Semantics and Their ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "JaVerT 2.0: Compositional ..."
Garg, Deepak Proc. ACM Program. Lang., vol. 3, issue POPL: "Formal Verification of Higher-Order ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "From Fine- to Coarse-Grained ..."
Gehr, Timon Proc. ACM Program. Lang., vol. 3, issue POPL: "An Abstract Domain for Certifying ..."
Gheri, Lorenzo Proc. ACM Program. Lang., vol. 3, issue POPL: "Bindings as Bounded Natural ..."
Giacobazzi, Roberto Proc. ACM Program. Lang., vol. 3, issue POPL: "A²I: Abstract² Interpretation ..."
Giannarakis, Nick Proc. ACM Program. Lang., vol. 3, issue POPL: "A Verified, Efficient Embedding ..."
Gilbert, Gaëtan Proc. ACM Program. Lang., vol. 3, issue POPL: "Definitional Proof-Irrelevance ..."
Goharshady, Amir Kafshdar Proc. ACM Program. Lang., vol. 3, issue POPL: "Efficient Parameterized Algorithms ..."
Gomes, Victor B. F. Proc. ACM Program. Lang., vol. 3, issue POPL: "Exploring C Semantics and ..."
Gordon, Andrew D. Proc. ACM Program. Lang., vol. 3, issue POPL: "Probabilistic Programming ..."
Gorinova, Maria I. Proc. ACM Program. Lang., vol. 3, issue POPL: "Probabilistic Programming ..."
Gorogiannis, Nikos Proc. ACM Program. Lang., vol. 3, issue POPL: "A True Positives Theorem for ..."
Gratzer, Daniel Proc. ACM Program. Lang., vol. 3, issue POPL: "Iron: Managing Obligations ..."
Gray, Kathryn E. Proc. ACM Program. Lang., vol. 3, issue POPL: "ISA Semantics for ARMv8-A, ..."
Grossman, Dan Proc. ACM Program. Lang., vol. 3, issue POPL: "Concerto: A Framework for ..."
Hague, Matthew Proc. ACM Program. Lang., vol. 3, issue POPL: "Decision Procedures for Path ..."
Hammer, Matthew A. Proc. ACM Program. Lang., vol. 3, issue POPL: "Live Functional Programming ..."
Harper, Robert Proc. ACM Program. Lang., vol. 3, issue POPL: "Higher Inductive Types in ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "A Separation Logic for Concurrent ..."
Hawblitzel, Chris Proc. ACM Program. Lang., vol. 3, issue POPL: "A Verified, Efficient Embedding ..."
Hicks, Michael Proc. ACM Program. Lang., vol. 3, issue POPL: "Quantitative Robustness Analysis ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "LWeb: Information Flow Security ..."
Hietala, Kesha Proc. ACM Program. Lang., vol. 3, issue POPL: "Quantitative Robustness Analysis ..."
Hirschowitz, Tom Proc. ACM Program. Lang., vol. 3, issue POPL: "Familial Monads and Structural ..."
Hoffmann, Jan Proc. ACM Program. Lang., vol. 3, issue POPL: "Type-Guided Worst-Case Input ..."
Holland, Joshua Proc. ACM Program. Lang., vol. 3, issue POPL: "Diagrammatic Algebra: From ..."
Hong, Jaemin Proc. ACM Program. Lang., vol. 3, issue POPL: "Polymorphic Symmetric Multiple ..."
Houshmand, Farzin Proc. ACM Program. Lang., vol. 3, issue POPL: "Hamsaz: Replication Coordination ..."
Hsu, Justin Proc. ACM Program. Lang., vol. 3, issue POPL: "Formal Verification of Higher-Order ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "Trace Abstraction Modulo Probability ..."
Hu, Raymond Proc. ACM Program. Lang., vol. 3, issue POPL: "Distributed Programming using ..."
Hung, Shih-Han Proc. ACM Program. Lang., vol. 3, issue POPL: "Quantitative Robustness Analysis ..."
Igarashi, Atsushi Proc. ACM Program. Lang., vol. 3, issue POPL: "Dynamic Type Inference for ..."
Ingólfsdóttir, Anna Proc. ACM Program. Lang., vol. 3, issue POPL: "Adventures in Monitorability: ..."
Jensen, Thomas Proc. ACM Program. Lang., vol. 3, issue POPL: "Skeletal Semantics and Their ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "Inferring Frame Conditions ..."
Jhala, Ranjit Proc. ACM Program. Lang., vol. 3, issue POPL: "Pretend Synchrony: Synchronous ..."
Ji, Tao Proc. ACM Program. Lang., vol. 3, issue POPL: "Efficient Automated Repair ..."
Jongmans, Sung-Shik Proc. ACM Program. Lang., vol. 3, issue POPL: "Distributed Programming using ..."
Kaminski, Benjamin Lucien Proc. ACM Program. Lang., vol. 3, issue POPL: "Quantitative Separation Logic: ..."
Kammar, Ohad Proc. ACM Program. Lang., vol. 3, issue POPL: "A Domain Theory for Statistical ..."
Kaposi, Ambrus Proc. ACM Program. Lang., vol. 3, issue POPL: "Constructing Quotient Inductive-Inductive ..."
Katoen, Joost-Pieter Proc. ACM Program. Lang., vol. 3, issue POPL: "Quantitative Separation Logic: ..."
Kavvos, G. A. Proc. ACM Program. Lang., vol. 3, issue POPL: "Modalities, Cohesion, and ..."
Kell, Stephen Proc. ACM Program. Lang., vol. 3, issue POPL: "Exploring C Semantics and ..."
Kıcı, Rami Gökhan Proc. ACM Program. Lang., vol. 3, issue POPL: "Pretend Synchrony: Synchronous ..."
Kincaid, Zachary Proc. ACM Program. Lang., vol. 3, issue POPL: "Refinement of Path Expressions ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "Closed Forms for Numerical ..."
Kokke, Wen Proc. ACM Program. Lang., vol. 3, issue POPL: "Better Late Than Never: A ..."
König, Barbara Proc. ACM Program. Lang., vol. 3, issue POPL: "Fixpoint Games on Continuous ..."
Kovács, András Proc. ACM Program. Lang., vol. 3, issue POPL: "Constructing Quotient Inductive-Inductive ..."
Krebbers, Robbert Proc. ACM Program. Lang., vol. 3, issue POPL: "Iron: Managing Obligations ..."
Krishnaswami, Neel Proc. ACM Program. Lang., vol. 3, issue POPL: "ISA Semantics for ARMv8-A, ..."
Krishnaswami, Neelakantan R. Proc. ACM Program. Lang., vol. 3, issue POPL: "Sound and Complete Bidirectional ..."
Labrada, Elizabeth Proc. ACM Program. Lang., vol. 3, issue POPL: "Gradual Parametricity, Revisited ..."
Lahav, Ori Proc. ACM Program. Lang., vol. 3, issue POPL: "On Library Correctness under ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "Bridging the Gap between Programming ..."
Lanvin, Victor Proc. ACM Program. Lang., vol. 3, issue POPL: "Gradual Typing: A New Perspective ..."
Lee, Jia Proc. ACM Program. Lang., vol. 3, issue POPL: "Bounded Model Checking of ..."
Lehtinen, Karoliina Proc. ACM Program. Lang., vol. 3, issue POPL: "Adventures in Monitorability: ..."
Lesani, Mohsen Proc. ACM Program. Lang., vol. 3, issue POPL: "Hamsaz: Replication Coordination ..."
Lescuyer, Stéphane Proc. ACM Program. Lang., vol. 3, issue POPL: "Inferring Frame Conditions ..."
Levy, Omer Proc. ACM Program. Lang., vol. 3, issue POPL: "code2vec: Learning Distributed ..."
Liang, Percy Proc. ACM Program. Lang., vol. 3, issue POPL: "FrAngel: Component-Based Synthesis ..."
Licata, Daniel R. Proc. ACM Program. Lang., vol. 3, issue POPL: "Gradual Type Theory ..."
Lin, Anthony W. Proc. ACM Program. Lang., vol. 3, issue POPL: "Decision Procedures for Path ..."
Lindley, Sam Proc. ACM Program. Lang., vol. 3, issue POPL: "Exceptional Asynchronous Session ..."
Madhusudan, P. Proc. ACM Program. Lang., vol. 3, issue POPL: "Decidable Verification of ..."
Maïza, Claire Proc. ACM Program. Lang., vol. 3, issue POPL: "Fast and Exact Analysis for ..."
Maksimović, Petar Proc. ACM Program. Lang., vol. 3, issue POPL: "JaVerT 2.0: Compositional ..."
Mamouras, Konstantinos Proc. ACM Program. Lang., vol. 3, issue POPL: "Modular Quantitative Monitoring ..."
Mansinghka, Vikash K. Proc. ACM Program. Lang., vol. 3, issue POPL: "Bayesian Synthesis of Probabilistic ..."
Mao, Xiaoguang Proc. ACM Program. Lang., vol. 3, issue POPL: "Efficient Automated Repair ..."
Matheja, Christoph Proc. ACM Program. Lang., vol. 3, issue POPL: "Quantitative Separation Logic: ..."
Mathur, Umang Proc. ACM Program. Lang., vol. 3, issue POPL: "Decidable Verification of ..."
Mazza, Damiano Proc. ACM Program. Lang., vol. 3, issue POPL: "Intersection Types and Runtime ..."
McKinna, James Proc. ACM Program. Lang., vol. 3, issue POPL: "Abstracting Extensible Data ..."
Mellies, Paul-André Proc. ACM Program. Lang., vol. 3, issue POPL: "Categorical Combinatorics ..."
Memarian, Kayvan Proc. ACM Program. Lang., vol. 3, issue POPL: "Exploring C Semantics and ..."
Meyer, Roland Proc. ACM Program. Lang., vol. 3, issue POPL: "Decoupling Lock-Free Data ..."
Mika-Michalski, Christina Proc. ACM Program. Lang., vol. 3, issue POPL: "Fixpoint Games on Continuous ..."
Miyazaki, Yusuke Proc. ACM Program. Lang., vol. 3, issue POPL: "Dynamic Type Inference for ..."
Møgelberg, Rasmus Ejlers Proc. ACM Program. Lang., vol. 3, issue POPL: "Bisimulation as Path Type ..."
Monniaux, David Proc. ACM Program. Lang., vol. 3, issue POPL: "Fast and Exact Analysis for ..."
Montagu, Benoît Proc. ACM Program. Lang., vol. 3, issue POPL: "Inferring Frame Conditions ..."
Montesi, Fabrizio Proc. ACM Program. Lang., vol. 3, issue POPL: "Better Late Than Never: A ..."
Morris, J. Garrett Proc. ACM Program. Lang., vol. 3, issue POPL: "Abstracting Extensible Data ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "Exceptional Asynchronous Session ..."
Mundkur, Prashanth Proc. ACM Program. Lang., vol. 3, issue POPL: "ISA Semantics for ARMv8-A, ..."
Myers, Andrew C. Proc. ACM Program. Lang., vol. 3, issue POPL: "Abstraction-Safe Effect Handlers ..."
New, Max S. Proc. ACM Program. Lang., vol. 3, issue POPL: "Gradual Type Theory ..."
Ng, Nicholas Proc. ACM Program. Lang., vol. 3, issue POPL: "Distributed Programming using ..."
Noll, Thomas Proc. ACM Program. Lang., vol. 3, issue POPL: "Quantitative Separation Logic: ..."
Norton, Robert M. Proc. ACM Program. Lang., vol. 3, issue POPL: "ISA Semantics for ARMv8-A, ..."
O'Hearn, Peter W. Proc. ACM Program. Lang., vol. 3, issue POPL: "A True Positives Theorem for ..."
Okati, Nastaran Proc. ACM Program. Lang., vol. 3, issue POPL: "Efficient Parameterized Algorithms ..."
Omar, Cyrus Proc. ACM Program. Lang., vol. 3, issue POPL: "Live Functional Programming ..."
Padoan, Tommaso Proc. ACM Program. Lang., vol. 3, issue POPL: "Fixpoint Games on Continuous ..."
Park, Gyunghee Proc. ACM Program. Lang., vol. 3, issue POPL: "Polymorphic Symmetric Multiple ..."
Parker, James Proc. ACM Program. Lang., vol. 3, issue POPL: "LWeb: Information Flow Security ..."
Parno, Bryan Proc. ACM Program. Lang., vol. 3, issue POPL: "A Verified, Efficient Embedding ..."
Pavlogiannis, Andreas Proc. ACM Program. Lang., vol. 3, issue POPL: "Efficient Parameterized Algorithms ..."
Peressotti, Marco Proc. ACM Program. Lang., vol. 3, issue POPL: "Better Late Than Never: A ..."
Petrucciani, Tommaso Proc. ACM Program. Lang., vol. 3, issue POPL: "Gradual Typing: A New Perspective ..."
Piedeleu, Robin Proc. ACM Program. Lang., vol. 3, issue POPL: "Diagrammatic Algebra: From ..."
Piróg, Maciej Proc. ACM Program. Lang., vol. 3, issue POPL: "Abstracting Algebraic Effects ..."
Podkopaev, Anton Proc. ACM Program. Lang., vol. 3, issue POPL: "Bridging the Gap between Programming ..."
Polesiuk, Piotr Proc. ACM Program. Lang., vol. 3, issue POPL: "Abstracting Algebraic Effects ..."
Polikarpova, Nadia Proc. ACM Program. Lang., vol. 3, issue POPL: "Structuring the Synthesis ..."
Popescu, Andrei Proc. ACM Program. Lang., vol. 3, issue POPL: "Bindings as Bounded Natural ..."
Popescu, Natalie Proc. ACM Program. Lang., vol. 3, issue POPL: "CT-Wasm: Type-Driven Secure ..."
Pulte, Christopher Proc. ACM Program. Lang., vol. 3, issue POPL: "ISA Semantics for ARMv8-A, ..."
Püschel, Markus Proc. ACM Program. Lang., vol. 3, issue POPL: "An Abstract Domain for Certifying ..."
Raad, Azalea Proc. ACM Program. Lang., vol. 3, issue POPL: "On Library Correctness under ..."
Rajani, Vineet Proc. ACM Program. Lang., vol. 3, issue POPL: "From Fine- to Coarse-Grained ..."
Ranzato, Francesco Proc. ACM Program. Lang., vol. 3, issue POPL: "A²I: Abstract² Interpretation ..."
Rastogi, Aseem Proc. ACM Program. Lang., vol. 3, issue POPL: "A Verified, Efficient Embedding ..."
Rehof, Jakob Proc. ACM Program. Lang., vol. 3, issue POPL: "Principality and Approximation ..."
Reid, Alastair Proc. ACM Program. Lang., vol. 3, issue POPL: "ISA Semantics for ARMv8-A, ..."
Reineke, Jan Proc. ACM Program. Lang., vol. 3, issue POPL: "Fast and Exact Analysis for ..."
Renner, John Proc. ACM Program. Lang., vol. 3, issue POPL: "CT-Wasm: Type-Driven Secure ..."
Reps, Thomas Proc. ACM Program. Lang., vol. 3, issue POPL: "Refinement of Path Expressions ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "Closed Forms for Numerical ..."
Richardson, Alexander Proc. ACM Program. Lang., vol. 3, issue POPL: "Exploring C Semantics and ..."
Rinard, Martin C. Proc. ACM Program. Lang., vol. 3, issue POPL: "Bayesian Synthesis of Probabilistic ..."
Rožić, Lovro Proc. ACM Program. Lang., vol. 3, issue POPL: "On Library Correctness under ..."
Rümmer, Philipp Proc. ACM Program. Lang., vol. 3, issue POPL: "Decision Procedures for Path ..."
Russo, Alejandro Proc. ACM Program. Lang., vol. 3, issue POPL: "From Fine- to Coarse-Grained ..."
Ryu, Sukyoung Proc. ACM Program. Lang., vol. 3, issue POPL: "Polymorphic Symmetric Multiple ..."
Saad, Feras A. Proc. ACM Program. Lang., vol. 3, issue POPL: "Bayesian Synthesis of Probabilistic ..."
Sampaio, Gabriela Proc. ACM Program. Lang., vol. 3, issue POPL: "JaVerT 2.0: Compositional ..."
Sato, Tetsuya Proc. ACM Program. Lang., vol. 3, issue POPL: "Formal Verification of Higher-Order ..."
Scalas, Alceste Proc. ACM Program. Lang., vol. 3, issue POPL: "Less Is More: Multiparty Session ..."
Schaechtle, Ulrich Proc. ACM Program. Lang., vol. 3, issue POPL: "Bayesian Synthesis of Probabilistic ..."
Schmitt, Alan Proc. ACM Program. Lang., vol. 3, issue POPL: "Skeletal Semantics and Their ..."
Sekiyama, Taro Proc. ACM Program. Lang., vol. 3, issue POPL: "Dynamic Type Inference for ..."
Sergey, Ilya Proc. ACM Program. Lang., vol. 3, issue POPL: "A True Positives Theorem for ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "Structuring the Synthesis ..."
Sewell, Peter Proc. ACM Program. Lang., vol. 3, issue POPL: "Exploring C Semantics and ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "ISA Semantics for ARMv8-A, ..."
Shao, Zhong Proc. ACM Program. Lang., vol. 3, issue POPL: "An Abstract Stack Based Approach ..."
Shi, Kensen Proc. ACM Program. Lang., vol. 3, issue POPL: "FrAngel: Component-Based Synthesis ..."
Sieczkowski, Filip Proc. ACM Program. Lang., vol. 3, issue POPL: "Abstracting Algebraic Effects ..."
Siek, Jeremy G. Proc. ACM Program. Lang., vol. 3, issue POPL: "Gradual Typing: A New Perspective ..."
Singh, Gagandeep Proc. ACM Program. Lang., vol. 3, issue POPL: "An Abstract Domain for Certifying ..."
Skorstengaard, Lau Proc. ACM Program. Lang., vol. 3, issue POPL: "StkTokens: Enforcing Well-Bracketed ..."
Smith, Calvin Proc. ACM Program. Lang., vol. 3, issue POPL: "Trace Abstraction Modulo Probability ..."
Sobociński, Paweł Proc. ACM Program. Lang., vol. 3, issue POPL: "Diagrammatic Algebra: From ..."
Sozeau, Matthieu Proc. ACM Program. Lang., vol. 3, issue POPL: "Definitional Proof-Irrelevance ..."
Späth, Johannes Proc. ACM Program. Lang., vol. 3, issue POPL: "Context-, Flow-, and Field-Sensitive ..."
Stanford, Caleb Proc. ACM Program. Lang., vol. 3, issue POPL: "Modular Quantitative Monitoring ..."
Stark, Ian Proc. ACM Program. Lang., vol. 3, issue POPL: "ISA Semantics for ARMv8-A, ..."
Staton, Sam Proc. ACM Program. Lang., vol. 3, issue POPL: "A Domain Theory for Statistical ..."
Steele Jr., Guy L. Proc. ACM Program. Lang., vol. 3, issue POPL: "Polymorphic Symmetric Multiple ..."
Stefan, Deian Proc. ACM Program. Lang., vol. 3, issue POPL: "Pretend Synchrony: Synchronous ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "From Fine- to Coarse-Grained ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "CT-Wasm: Type-Driven Secure ..."
Steinhardt, Jacob Proc. ACM Program. Lang., vol. 3, issue POPL: "FrAngel: Component-Based Synthesis ..."
Sutton, Charles Proc. ACM Program. Lang., vol. 3, issue POPL: "Probabilistic Programming ..."
Swamy, Nikhil Proc. ACM Program. Lang., vol. 3, issue POPL: "A Verified, Efficient Embedding ..."
Tabareau, Nicolas Proc. ACM Program. Lang., vol. 3, issue POPL: "Definitional Proof-Irrelevance ..."
Tanter, Éric Proc. ACM Program. Lang., vol. 3, issue POPL: "Gradual Parametricity, Revisited ..."
Tassarotti, Joseph Proc. ACM Program. Lang., vol. 3, issue POPL: "A Separation Logic for Concurrent ..."
Toman, John Proc. ACM Program. Lang., vol. 3, issue POPL: "Concerto: A Framework for ..."
Toro, Matías Proc. ACM Program. Lang., vol. 3, issue POPL: "Gradual Parametricity, Revisited ..."
Touzeau, Valentin Proc. ACM Program. Lang., vol. 3, issue POPL: "Fast and Exact Analysis for ..."
Tov, Jesse A. Proc. ACM Program. Lang., vol. 3, issue POPL: "A Calculus for Esterel: If ..."
Traytel, Dmitriy Proc. ACM Program. Lang., vol. 3, issue POPL: "Bindings as Bounded Natural ..."
Unruh, Dominique Proc. ACM Program. Lang., vol. 3, issue POPL: "Quantum Relational Hoare Logic ..."
Vafeiadis, Viktor Proc. ACM Program. Lang., vol. 3, issue POPL: "On Library Correctness under ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "Bridging the Gap between Programming ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "Grounding Thin-Air Reads with ..."
Vákár, Matthijs Proc. ACM Program. Lang., vol. 3, issue POPL: "A Domain Theory for Statistical ..."
Vassena, Marco Proc. ACM Program. Lang., vol. 3, issue POPL: "From Fine- to Coarse-Grained ..."
Vazou, Niki Proc. ACM Program. Lang., vol. 3, issue POPL: "LWeb: Information Flow Security ..."
Vechev, Martin Proc. ACM Program. Lang., vol. 3, issue POPL: "An Abstract Domain for Certifying ..."
Veltri, Niccolò Proc. ACM Program. Lang., vol. 3, issue POPL: "Bisimulation as Path Type ..."
V. Gleissenthall, Klaus Proc. ACM Program. Lang., vol. 3, issue POPL: "Pretend Synchrony: Synchronous ..."
Viswanathan, Mahesh Proc. ACM Program. Lang., vol. 3, issue POPL: "Decidable Verification of ..."
Voysey, Ian Proc. ACM Program. Lang., vol. 3, issue POPL: "Live Functional Programming ..."
Wang, Di Proc. ACM Program. Lang., vol. 3, issue POPL: "Type-Guided Worst-Case Input ..."
Wang, Yuting Proc. ACM Program. Lang., vol. 3, issue POPL: "An Abstract Stack Based Approach ..."
Wassell, Mark Proc. ACM Program. Lang., vol. 3, issue POPL: "ISA Semantics for ARMv8-A, ..."
Watson, Robert N. M. Proc. ACM Program. Lang., vol. 3, issue POPL: "Exploring C Semantics and ..."
Watt, Conrad Proc. ACM Program. Lang., vol. 3, issue POPL: "CT-Wasm: Type-Driven Secure ..."
Wilke, Pierre Proc. ACM Program. Lang., vol. 3, issue POPL: "An Abstract Stack Based Approach ..."
Winskel, Glynn Proc. ACM Program. Lang., vol. 3, issue POPL: "Game Semantics for Quantum ..."
Wolff, Sebastian Proc. ACM Program. Lang., vol. 3, issue POPL: "Decoupling Lock-Free Data ..."
Wu, Xiaodi Proc. ACM Program. Lang., vol. 3, issue POPL: "Quantitative Robustness Analysis ..."
Wu, Zhilin Proc. ACM Program. Lang., vol. 3, issue POPL: "Decision Procedures for Path ..."
Yahav, Eran Proc. ACM Program. Lang., vol. 3, issue POPL: "code2vec: Learning Distributed ..."
Yi, Xin Proc. ACM Program. Lang., vol. 3, issue POPL: "Efficient Automated Repair ..."
Ying, Mingsheng Proc. ACM Program. Lang., vol. 3, issue POPL: "Quantitative Robustness Analysis ..."
Yoshida, Nobuko Proc. ACM Program. Lang., vol. 3, issue POPL: "Two Sides of the Same Coin: ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "Distributed Programming using ..." Proc. ACM Program. Lang., vol. 3, issue POPL: "Less Is More: Multiparty Session ..."
Yoshimizu, Akira Proc. ACM Program. Lang., vol. 3, issue POPL: "Intersection Types and Runtime ..."
You, Shu-Hung Proc. ACM Program. Lang., vol. 3, issue POPL: "A Calculus for Esterel: If ..."
Zanasi, Fabio Proc. ACM Program. Lang., vol. 3, issue POPL: "Diagrammatic Algebra: From ..."
Zhang, Yizhou Proc. ACM Program. Lang., vol. 3, issue POPL: "Abstraction-Safe Effect Handlers ..."
Zhu, Shaopeng Proc. ACM Program. Lang., vol. 3, issue POPL: "Quantitative Robustness Analysis ..."
Zilberstein, Meital Proc. ACM Program. Lang., vol. 3, issue POPL: "code2vec: Learning Distributed ..."

269 authors

proc time: 7.41