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, January 13–19, 2019, Cascais, Portugal

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