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

Proceedings of the ACM on Programming Languages, Volume 4, Number POPL, January 19–25, 2020, New Orleans, LA, USA

POPL 2020 – Author Index

Contents - Abstracts - Authors

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

Abadi, Martín POPL '20: "A Simple Differentiable Programming ..."
Abdulla, Parosh Aziz POPL '20: "Parameterized Verification ..."
Acar, Umut A. POPL '20: "Disentanglement in Nested-Parallel ..."
Ahmed, Amal POPL '20: "Graduality and Parametricity: ..."
Ahrens, Benedikt POPL '20: "Reduction Monads and Their ..."
Aldrich, Jonathan POPL '20: "Decidable Subtyping for Path ..."
An, Shengwei POPL '20: "Augmented Example-Based Synthesis ..."
Arntzenius, Michael POPL '20: "Seminaïve Evaluation for ..."
Aschieri, Federico POPL '20: "Par Means Parallel: Multiplicative ..."
Atig, Mohamed Faouzi POPL '20: "Parameterized Verification ..."
Ballantyne, Michael POPL '20: "Dependent Type Systems as ..."
Bansal, Suguman POPL '20: "Synthesis of Coordination ..."
Barbarossa, Davide POPL '20: "Taylor Subsumes Scott, Berry, ..."
Barthe, Gilles POPL '20: "Relational Proofs for Quantum ..." POPL '20: "A Probabilistic Separation ..." POPL '20: "Formal Verification of a Constant-Time ..."
Beckett, Ryan POPL '20: "Abstract Interpretation of ..."
Bengtson, Jesper POPL '20: "Actris: Session-Type Based ..."
Biernacki, Dariusz POPL '20: "Binders by Day, Labels by ..."
Binder, David POPL '20: "Decomposition Diversity with ..."
Blatt, Austin J. POPL '20: "Executable Formal Semantics ..."
Blazy, Sandrine POPL '20: "Formal Verification of a Constant-Time ..."
Bodik, Rastislav POPL '20: "Visualization by Example ..."
Boulier, Simon POPL '20: "Coq Coq Correct! Verification ..."
Bourke, Timothy POPL '20: "Mechanized Semantics and Verified ..."
Bowman, William J. POPL '20: "Dependent Type Systems as ..."
Brun, Lélio POPL '20: "Mechanized Semantics and Verified ..."
Brunel, Aloïs POPL '20: "Backpropagation in the Simply ..."
Bruni, Roberto POPL '20: "Abstract Extensionality: On ..."
Carbin, Michael POPL '20: "Trace Types and Denotational ..."
Chang, Stephen POPL '20: "Dependent Type Systems as ..."
Chatterjee, Krishnendu POPL '20: "Proving Expected Sensitivity ..."
Cheung, Alvin POPL '20: "Visualization by Example ..."
Cho, Minki POPL '20: "CompCertM: CompCert with C-Assembly ..."
Clairambault, Pierre POPL '20: "Full Abstraction for the Quantum ..."
Clochard, Martin POPL '20: "Deductive Verification with ..."
Costanzo, David POPL '20: "Virtual Timeline: A Formal ..."
Cusumano-Towner, Marco F. POPL '20: "Trace Types and Denotational ..."
Dahlqvist, Fredrik POPL '20: "Semantics of Higher-Order ..."
Dang, Hoang-Hai POPL '20: "Stacked Borrows: An Aliasing ..." POPL '20: "RustBelt Meets Relaxed Memory ..."
Danner, Norman POPL '20: "Recurrence Extraction for ..."
Darais, David POPL '20: "A Language for Probabilistically ..."
Deng, Yuxin POPL '20: "Proving Expected Sensitivity ..."
De Vilhena, Paulo Emílio POPL '20: "Spy Game: Verifying a Local ..."
De Visme, Marc POPL '20: "Full Abstraction for the Quantum ..."
Dillig, Isil POPL '20: "Visualization by Example ..."
Dimoulas, Christos POPL '20: "Does Blame Shifting Work? ..."
Dreyer, Derek POPL '20: "The High-Level Benefits of ..." POPL '20: "The Future is Ours: Prophecy ..." POPL '20: "Stacked Borrows: An Aliasing ..." POPL '20: "RustBelt Meets Relaxed Memory ..."
Eisenberg, Richard A. POPL '20: "Kind Inference for Datatypes ..." POPL '20: "Partial Type Constructors: ..."
Farzan, Azadeh POPL '20: "Reductions for Safety Proofs ..."
Feldman, Yotam M. Y. POPL '20: "Complexity and Information ..."
Feng, Yu POPL '20: "Visualization by Example ..."
Findler, Robert Bruce POPL '20: "Does Blame Shifting Work? ..."
Fluet, Matthew POPL '20: "Disentanglement in Nested-Parallel ..."
Forster, Yannick POPL '20: "Coq Coq Correct! Verification ..." POPL '20: "The Weak Call-by-Value λ-Calculus ..."
Foster, Nate POPL '20: "Guarded Kleene Algebra with ..."
Freer, Cameron E. POPL '20: "Optimal Approximate Sampling ..."
Fu, Hongfei POPL '20: "Proving Expected Sensitivity ..."
Fu, Zhoulai POPL '20: "Detecting Floating-Point Errors ..."
Garcia-Contreras, Isabel POPL '20: "Abstract Extensionality: On ..."
Garg, Deepak POPL '20: "The High-Level Benefits of ..."
Genco, Francesco A. POPL '20: "Par Means Parallel: Multiplicative ..."
Giacobazzi, Roberto POPL '20: "Abstract Extensionality: On ..."
Giesl, Jürgen POPL '20: "Aiming Low Is Harder: Induction ..."
Gori, Roberta POPL '20: "Abstract Extensionality: On ..."
Greenberg, Michael POPL '20: "Executable Formal Semantics ..."
Grégoire, Benjamin POPL '20: "Formal Verification of a Constant-Time ..."
Groves, Lindsay POPL '20: "Decidable Subtyping for Path ..."
Gu, Ronghui POPL '20: "Virtual Timeline: A Formal ..."
Guo, Zheng POPL '20: "Program Synthesis by Type-Guided ..."
Gupta, Aarti POPL '20: "Abstract Interpretation of ..."
Handley, Martin A. T. POPL '20: "Liquidate Your Assets: Reasoning ..."
Hark, Marcel POPL '20: "Aiming Low Is Harder: Induction ..."
He, Paul POPL '20: "Interaction Trees: Representing ..."
Hicks, Michael POPL '20: "A Language for Probabilistically ..."
Hinrichsen, Jonas Kastberg POPL '20: "Actris: Session-Type Based ..."
Hirschowitz, André POPL '20: "Reduction Monads and Their ..."
Hriţcu, Cătălin POPL '20: "The Next 700 Relational Program ..."
Hsu, Justin POPL '20: "Guarded Kleene Algebra with ..." POPL '20: "Relational Proofs for Quantum ..." POPL '20: "A Probabilistic Separation ..."
Hu, Jason Z. S. POPL '20: "Undecidability of D<: ..."
Hur, Chung-Kil POPL '20: "Interaction Trees: Representing ..." POPL '20: "CompCertM: CompCert with C-Assembly ..."
Hutin, Rémi POPL '20: "Formal Verification of a Constant-Time ..."
Hutton, Graham POPL '20: "Liquidate Your Assets: Reasoning ..."
Immerman, Neil POPL '20: "Complexity and Information ..."
Jaber, Guilhem POPL '20: "SyTeCi: Automating Contextual ..."
Jabs, Julian POPL '20: "Decomposition Diversity with ..."
Jacobs, Bart POPL '20: "The Future is Ours: Prophecy ..."
James, Michael POPL '20: "Program Synthesis by Type-Guided ..."
Jamner, Dustin POPL '20: "Graduality and Parametricity: ..."
Jhala, Ranjit POPL '20: "Program Synthesis by Type-Guided ..."
Jones, Mark P. POPL '20: "Partial Type Constructors: ..."
Jourdan, Jacques-Henri POPL '20: "Spy Game: Verifying a Local ..." POPL '20: "RustBelt Meets Relaxed Memory ..."
Jung, Ralf POPL '20: "The Future is Ours: Prophecy ..." POPL '20: "Stacked Borrows: An Aliasing ..."
Justo, David POPL '20: "Program Synthesis by Type-Guided ..."
Kaiser, Jan-Oliver POPL '20: "RustBelt Meets Relaxed Memory ..."
Kaminski, Benjamin Lucien POPL '20: "Aiming Low Is Harder: Induction ..."
Kang, Jeehoon POPL '20: "Stacked Borrows: An Aliasing ..." POPL '20: "CompCertM: CompCert with C-Assembly ..."
Kappé, Tobias POPL '20: "Guarded Kleene Algebra with ..."
Katoen, Joost-Pieter POPL '20: "Aiming Low Is Harder: Induction ..."
Kavvos, G. A. POPL '20: "Recurrence Extraction for ..."
Kim, Deokhwan POPL '20: "Synthesizing Replacement Classes ..."
Kim, Dongjoo POPL '20: "CompCertM: CompCert with C-Assembly ..."
Kim, Jung-Eun POPL '20: "Virtual Timeline: A Formal ..."
Kim, Sung Kook POPL '20: "Deterministic Parallel Fixpoint ..."
Kim, Yonghyun POPL '20: "CompCertM: CompCert with C-Assembly ..."
King, Alexis POPL '20: "Does Blame Shifting Work? ..."
Kozen, Dexter POPL '20: "Semantics of Higher-Order ..." POPL '20: "Guarded Kleene Algebra with ..."
Krebbers, Robbert POPL '20: "Actris: Session-Type Based ..."
Krishnaswami, Neel POPL '20: "Seminaïve Evaluation for ..."
Krogmeier, Paul POPL '20: "Deciding Memory Safety for ..."
Kunze, Fabian POPL '20: "The Weak Call-by-Value λ-Calculus ..."
Lafont, Ambroise POPL '20: "Reduction Monads and Their ..."
Laporte, Vincent POPL '20: "Formal Verification of a Constant-Time ..."
Lazarek, Lukas POPL '20: "Does Blame Shifting Work? ..."
Lee, Wonyeol POPL '20: "Towards Verified Stochastic ..."
Lepigre, Rodolphe POPL '20: "The Future is Ours: Prophecy ..."
Lew, Alexander K. POPL '20: "Trace Types and Denotational ..."
Lhoták, Ondřej POPL '20: "Undecidability of D<: ..."
Liao, Kevin POPL '20: "A Probabilistic Separation ..."
Licata, Daniel R. POPL '20: "Recurrence Extraction for ..."
Litak, Tadeusz POPL '20: "The High-Level Benefits of ..."
Liu, Chang POPL '20: "A Language for Probabilistically ..."
Liu, Mengqi POPL '20: "Virtual Timeline: A Formal ..."
Mackay, Julian POPL '20: "Decidable Subtyping for Path ..."
Madhusudan, P. POPL '20: "Deciding Memory Safety for ..."
Maggesi, Marco POPL '20: "Reduction Monads and Their ..."
Mahajan, Ratul POPL '20: "Abstract Interpretation of ..."
Maillard, Kenji POPL '20: "The Next 700 Relational Program ..."
Malecha, Gregory POPL '20: "Interaction Trees: Representing ..."
Mansinghka, Vikash K. POPL '20: "Optimal Approximate Sampling ..." POPL '20: "Trace Types and Denotational ..."
Manzonetto, Giulio POPL '20: "Taylor Subsumes Scott, Berry, ..."
Marché, Claude POPL '20: "Deductive Verification with ..."
Mathur, Umang POPL '20: "Deciding Memory Safety for ..."
Mazza, Damiano POPL '20: "Backpropagation in the Simply ..."
Mendelson, Jonathan POPL '20: "Provenance-Guided Synthesis ..."
Meyer, Roland POPL '20: "Pointer Life Cycle Types for ..."
Migeed, Zeina POPL '20: "What Is Decidable about Gradual ..."
Misailovic, Sasa POPL '20: "Augmented Example-Based Synthesis ..."
Morehouse, Edward POPL '20: "Recurrence Extraction for ..."
Morris, J. Garrett POPL '20: "Partial Type Constructors: ..."
Murali, Adithya POPL '20: "Deciding Memory Safety for ..."
Naik, Mayur POPL '20: "Provenance-Guided Synthesis ..."
Namjoshi, Kedar S. POPL '20: "Synthesis of Coordination ..."
Neiger, Gil POPL '20: "Persistency Semantics of the ..."
New, Max S. POPL '20: "Graduality and Parametricity: ..."
O'Hearn, Peter W. POPL '20: "Incorrectness Logic ..."
Oliveira, Bruno C. d. S. POPL '20: "Kind Inference for Datatypes ..."
Ostermann, Klaus POPL '20: "Decomposition Diversity with ..."
Pagani, Michele POPL '20: "Backpropagation in the Simply ..."
Palsberg, Jens POPL '20: "What Is Decidable about Gradual ..."
Parthasarathy, Gaurav POPL '20: "The Future is Ours: Prophecy ..."
Paskevich, Andrei POPL '20: "Deductive Verification with ..."
Pavlogiannis, Andreas POPL '20: "Fast, Sound, and Effectively ..."
Pavlovic, Dusko POPL '20: "Abstract Extensionality: On ..."
Pédrot, Pierre-Marie POPL '20: "The Fire Triangle: How to ..."
Pichardie, David POPL '20: "Formal Verification of a Constant-Time ..."
Pierce, Benjamin C. POPL '20: "Interaction Trees: Representing ..."
Piróg, Maciej POPL '20: "Binders by Day, Labels by ..."
Plotkin, Gordon D. POPL '20: "A Simple Differentiable Programming ..."
Polesiuk, Piotr POPL '20: "Binders by Day, Labels by ..."
Polikarpova, Nadia POPL '20: "Program Synthesis by Type-Guided ..."
Potanin, Alex POPL '20: "Decidable Subtyping for Path ..."
Pottier, François POPL '20: "Spy Game: Verifying a Local ..."
Pouzet, Marc POPL '20: "Mechanized Semantics and Verified ..."
Raad, Azalea POPL '20: "Persistency Semantics of the ..."
Raghothaman, Mukund POPL '20: "Provenance-Guided Synthesis ..."
Rapoport, Marianna POPL '20: "The Future is Ours: Prophecy ..."
Rezvan, Rojin POPL '20: "Parameterized Verification ..."
Rieg, Lionel POPL '20: "Virtual Timeline: A Formal ..."
Rinard, Martin C. POPL '20: "Optimal Approximate Sampling ..." POPL '20: "Synthesizing Replacement Classes ..."
Rival, Xavier POPL '20: "Towards Verified Stochastic ..."
Rivas, Exequiel POPL '20: "The Next 700 Relational Program ..."
Roth, Marc POPL '20: "The Weak Call-by-Value λ-Calculus ..."
Saad, Feras A. POPL '20: "Optimal Approximate Sampling ..."
Sa'ar, Yaniv POPL '20: "Synthesis of Coordination ..."
Sagiv, Mooly POPL '20: "Complexity and Information ..."
Samak, Malavika POPL '20: "Synthesizing Replacement Classes ..."
Samanta, Roopsha POPL '20: "Augmented Example-Based Synthesis ..."
Sammler, Michael POPL '20: "The High-Level Benefits of ..."
Scholz, Bernhard POPL '20: "Provenance-Guided Synthesis ..."
Schrijvers, Tom POPL '20: "PλωNK: Functional Probabilistic ..."
Shao, Zhong POPL '20: "Virtual Timeline: A Formal ..."
Sherman, Benjamin POPL '20: "Trace Types and Denotational ..."
Shoham, Sharon POPL '20: "Complexity and Information ..."
Sieczkowski, Filip POPL '20: "Binders by Day, Labels by ..."
Silva, Alexandra POPL '20: "Guarded Kleene Algebra with ..."
Singh, Rishabh POPL '20: "Augmented Example-Based Synthesis ..."
Skupin, Ingo POPL '20: "Decomposition Diversity with ..."
Smolka, Steffen POPL '20: "Guarded Kleene Algebra with ..."
Song, Youngju POPL '20: "CompCertM: CompCert with C-Assembly ..."
Sozeau, Matthieu POPL '20: "Coq Coq Correct! Verification ..."
Su, Zhendong POPL '20: "Detecting Floating-Point Errors ..."
Sundar, Samanvitha POPL '20: "Does Blame Shifting Work? ..."
Sweet, Ian POPL '20: "A Language for Probabilistically ..."
Tabareau, Nicolas POPL '20: "The Fire Triangle: How to ..." POPL '20: "Coq Coq Correct! Verification ..."
Thakur, Aditya V. POPL '20: "Deterministic Parallel Fixpoint ..."
Thiemann, Peter POPL '20: "Label-Dependent Session Types ..."
Timany, Amin POPL '20: "The Future is Ours: Prophecy ..."
Trieu, Alix POPL '20: "Formal Verification of a Constant-Time ..."
Turner, Milo POPL '20: "Dependent Type Systems as ..."
Vafeiadis, Viktor POPL '20: "Persistency Semantics of the ..."
Vandenbroucke, Alexander POPL '20: "PλωNK: Functional Probabilistic ..."
Vandikas, Anthony POPL '20: "Reductions for Safety Proofs ..."
Van Muylder, Antoine POPL '20: "The Next 700 Relational Program ..."
Vasconcelos, Vasco T. POPL '20: "Label-Dependent Session Types ..."
Vazou, Niki POPL '20: "Liquidate Your Assets: Reasoning ..."
Venet, Arnaud J. POPL '20: "Deterministic Parallel Fixpoint ..."
Viswanathan, Mahesh POPL '20: "Deciding Memory Safety for ..."
Walker, David POPL '20: "Abstract Interpretation of ..."
Wang, Chenglong POPL '20: "Visualization by Example ..."
Wang, Peixin POPL '20: "Proving Expected Sensitivity ..."
Wang, Ziteng POPL '20: "Program Synthesis by Type-Guided ..."
Westrick, Sam POPL '20: "Disentanglement in Nested-Parallel ..."
Wickerson, John POPL '20: "Persistency Semantics of the ..."
Winterhalter, Théo POPL '20: "Coq Coq Correct! Verification ..."
Wolff, Sebastian POPL '20: "Pointer Life Cycle Types for ..."
Xia, Li-yao POPL '20: "Interaction Trees: Representing ..."
Xie, Ningning POPL '20: "Kind Inference for Datatypes ..."
Xiong, Yingfei POPL '20: "Detecting Floating-Point Errors ..."
Xu, Ming POPL '20: "Proving Expected Sensitivity ..."
Yadav, Rohan POPL '20: "Disentanglement in Nested-Parallel ..."
Yang, Hongseok POPL '20: "Towards Verified Stochastic ..."
Ying, Mingsheng POPL '20: "Relational Proofs for Quantum ..."
Yoon, Man-Ki POPL '20: "Virtual Timeline: A Formal ..."
Yu, Hangyeol POPL '20: "Towards Verified Stochastic ..."
Yu, Nengkun POPL '20: "Relational Proofs for Quantum ..."
Zakowski, Yannick POPL '20: "Interaction Trees: Representing ..."
Zdancewic, Steve POPL '20: "Interaction Trees: Representing ..."
Zeng, Muhan POPL '20: "Detecting Floating-Point Errors ..."
Zhang, Lu POPL '20: "Detecting Floating-Point Errors ..."
Zhao, David POPL '20: "Provenance-Guided Synthesis ..."
Zhou, Jiaxiao POPL '20: "Program Synthesis by Type-Guided ..."
Zhou, Li POPL '20: "Relational Proofs for Quantum ..."
Zou, Daming POPL '20: "Detecting Floating-Point Errors ..."

232 authors

proc time: 0.85