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

Proceedings of the ACM on Programming Languages, Volume 2, Number POPL, January 7–13, 2018, Los Angeles, CA, USA

POPL 2018 – 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

Abel, Andreas POPL '18: "Decidability of Conversion ..."
Abraham, Ittai POPL '18: "Online Detection of Effectively ..."
Agrawal, Sheshansh POPL '18: "Lexicographic Ranking Supermartingales: ..."
Ahman, Danel POPL '18: "Recalling a Witness: Foundations ..." POPL '18: "Handling Fibred Algebraic ..."
Ahmed, Amal POPL '18: "Correctness of Speculative ..." POPL '18: "Type-Preserving CPS Translation ..."
Aiken, Alex POPL '18: "On Automatically Proving the ..."
Albarghouthi, Aws POPL '18: "Synthesizing Coupling Proofs ..."
Amin, Nada POPL '18: "Collapsing Towers of Interpreters ..."
Bach Poulsen, Casper POPL '18: "Intrinsically-Typed Definitional ..."
Bao, Wenlei POPL '18: "Analytical Modeling of Cache ..."
Barthe, Gilles POPL '18: "Monadic Refinements for Relational ..." POPL '18: "Proving Expected Sensitivity ..."
Bernardy, Jean-Philippe POPL '18: "Linear Haskell: Practical ..."
Biboudis, Aggelos POPL '18: "Simplicitly: Foundations and ..."
Biernacki, Dariusz POPL '18: "Handle with Care: Relational ..."
Birkedal, Lars POPL '18: "A Logical Relation for Monadic ..."
Blanvillain, Olivier POPL '18: "Simplicitly: Foundations and ..."
Bodik, Rastislav POPL '18: "Bonsai: Synthesis-Based Reasoning ..."
Boespflug, Mathieu POPL '18: "Linear Haskell: Practical ..."
Bowman, William J. POPL '18: "Type-Preserving CPS Translation ..."
Breck, Jason POPL '18: "Non-linear Reasoning for Invariant ..."
Brown, Matt POPL '18: "Jones-Optimal Partial Evaluation ..."
Cai, Yufei POPL '18: "Denotational Validation of ..."
Campora, John Peter POPL '18: "Migrating Gradual Types ..."
Capriotti, Paolo POPL '18: "Univalent Higher Categories ..."
Cathcart Burn, Toby POPL '18: "Higher-Order Constrained Horn ..."
Chalupa, Marek POPL '18: "Data-Centric Dynamic Partial ..."
Chandra, Kartik POPL '18: "Bonsai: Synthesis-Based Reasoning ..."
Chang, Stephen POPL '18: "Symbolic Types for Lenient ..."
Chatterjee, Krishnendu POPL '18: "Optimal Dyck Reachability ..." POPL '18: "Data-Centric Dynamic Partial ..." POPL '18: "Lexicographic Ranking Supermartingales: ..."
Chen, Sheng POPL '18: "Migrating Gradual Types ..."
Chen, Taolue POPL '18: "What Is Decidable about String ..."
Chen, Yan POPL '18: "What Is Decidable about String ..."
Chin, Wei-Ngan POPL '18: "Automated Lemma Synthesis ..."
Choudhary, Bhavya POPL '18: "Optimal Dyck Reachability ..."
Choudhury, Vikraman POPL '18: "Refinement Reflection: Complete ..."
Clairambault, Pierre POPL '18: "Linearity in Higher-Order ..."
Cong, Youyou POPL '18: "Type-Preserving CPS Translation ..."
Cook, William R. POPL '18: "Verifying Equivalence of Database-Driven ..."
Cyphert, John POPL '18: "Non-linear Reasoning for Invariant ..."
Danielsson, Nils Anders POPL '18: "Up-to Techniques using Sized ..."
Deacon, Will POPL '18: "Simplifying ARM Concurrency: ..."
De Araújo, Marcus R. POPL '18: "Inference of Static Semantics ..."
Devriese, Dominique POPL '18: "Parametricity versus the Universal ..."
Dillig, Isil POPL '18: "Program Synthesis using Abstraction ..." POPL '18: "Verifying Equivalence of Database-Driven ..."
Dongol, Brijesh POPL '18: "Transactions in Relaxed Memory ..."
Dreyer, Derek POPL '18: "RustBelt: Securing the Foundations ..."
Ehrhard, Thomas POPL '18: "Measurable Cones and Stable, ..."
Emmi, Michael POPL '18: "Sound, Complete, and Tractable ..."
Enea, Constantin POPL '18: "Sound, Complete, and Tractable ..."
Erwig, Martin POPL '18: "Migrating Gradual Types ..."
Espitau, Thomas POPL '18: "Proving Expected Sensitivity ..."
Farzan, Azadeh POPL '18: "Strategy Synthesis for Linear ..."
Feng, Xinyu POPL '18: "Progress of Concurrent Objects ..."
Fisher, Kathleen POPL '18: "Synthesizing Bijective Lenses ..."
Flückiger, Olivier POPL '18: "Correctness of Speculative ..."
Flur, Shaked POPL '18: "Simplifying ARM Concurrency: ..."
Fournet, Cédric POPL '18: "Recalling a Witness: Foundations ..."
Fragoso Santos, José POPL '18: "JaVerT: JavaScript Verification ..."
French, Jon POPL '18: "Simplifying ARM Concurrency: ..."
Gaboardi, Marco POPL '18: "Monadic Refinements for Relational ..."
Gardner, Philippa POPL '18: "JaVerT: JavaScript Verification ..."
Garg, Deepak POPL '18: "Monadic Refinements for Relational ..."
Ghahramani, Zoubin POPL '18: "Denotational Validation of ..."
Gilray, Thomas POPL '18: "Soft Contract Verification ..."
Goel, Aviral POPL '18: "Correctness of Speculative ..."
Golan-Gueta, Guy POPL '18: "Online Detection of Effectively ..."
Grégoire, Benjamin POPL '18: "Proving Expected Sensitivity ..."
Grellois, Charles POPL '18: "Linearity in Higher-Order ..."
Grossman, Shelly POPL '18: "Online Detection of Effectively ..."
Hague, Matthew POPL '18: "What Is Decidable about String ..."
Heunen, Chris POPL '18: "Denotational Validation of ..."
Hoenicke, Jochen POPL '18: "Reducing Liveness to Safety ..."
Holík, Lukáš POPL '18: "String Constraints with Concatenation ..."
Hriţcu, Cătălin POPL '18: "Recalling a Witness: Foundations ..."
Hsu, Justin POPL '18: "Synthesizing Coupling Proofs ..." POPL '18: "Proving Expected Sensitivity ..."
Hu, Zhenjiang POPL '18: "An Axiomatic Basis for Bidirectional ..."
Inala, Jeevana Priya POPL '18: "WebRelate: Integrating Web ..."
Jagadeesan, Radha POPL '18: "Transactions in Relaxed Memory ..."
Jagannathan, Suresh POPL '18: "Alone Together: Compositional ..."
Janků, Petr POPL '18: "String Constraints with Concatenation ..."
Jhala, Ranjit POPL '18: "Refinement Reflection: Complete ..."
Jourdan, Jacques-Henri POPL '18: "RustBelt: Securing the Foundations ..."
Jung, Ralf POPL '18: "RustBelt: Securing the Foundations ..."
Kaki, Gowtham POPL '18: "Alone Together: Compositional ..."
Kaminski, Benjamin Lucien POPL '18: "A New Proof Rule for Almost-Sure ..."
Kammar, Ohad POPL '18: "Denotational Validation of ..."
Katoen, Joost-Pieter POPL '18: "A New Proof Rule for Almost-Sure ..."
Khoo, Siau-Cheng POPL '18: "Automated Lemma Synthesis ..."
Kincaid, Zachary POPL '18: "Non-linear Reasoning for Invariant ..." POPL '18: "Strategy Synthesis for Linear ..."
Knauth, Alex POPL '18: "Symbolic Types for Lenient ..."
Ko, Hsiang-Shang POPL '18: "An Axiomatic Basis for Bidirectional ..."
Koch, Christoph E. POPL '18: "Unifying Analytic and Statically-Typed ..."
Kokologiannakis, Michalis POPL '18: "Effective Stateless Model ..."
Kraus, Nicolai POPL '18: "Univalent Higher Categories ..."
Krebbers, Robbert POPL '18: "RustBelt: Securing the Foundations ..." POPL '18: "Intrinsically-Typed Definitional ..."
Krishna, Siddharth POPL '18: "Go with the Flow: Compositional ..."
Krishnamoorthy, Sriram POPL '18: "Analytical Modeling of Cache ..."
Krogh-Jespersen, Morten POPL '18: "A Logical Relation for Monadic ..."
Kunčar, Ondřej POPL '18: "Safety and Conservativity ..."
Lahav, Ori POPL '18: "Effective Stateless Model ..."
Lahiri, Shuvendu K. POPL '18: "Verifying Equivalence of Database-Driven ..."
Lampropoulos, Leonidas POPL '18: "Generating Good Generators ..."
Le, Ton Chanh POPL '18: "Automated Lemma Synthesis ..."
Lee, Wonyeol POPL '18: "On Automatically Proving the ..."
Li, Yangjia POPL '18: "Algorithmic Analysis of Termination ..."
Liang, Hongjin POPL '18: "Progress of Concurrent Objects ..."
Lin, Anthony W. POPL '18: "String Constraints with Concatenation ..." POPL '18: "What Is Decidable about String ..."
Liu, Fengyun POPL '18: "Simplicitly: Foundations and ..."
Löding, Christof POPL '18: "Foundations for Natural Proofs ..."
Losa, Giuliano POPL '18: "Reducing Liveness to Safety ..."
Madhusudan, P. POPL '18: "Foundations for Natural Proofs ..."
Maillard, Kenji POPL '18: "Recalling a Witness: Foundations ..."
Majumdar, Rupak POPL '18: "Why Is Random Testing Effective ..."
Maksimović, Petar POPL '18: "JaVerT: JavaScript Verification ..."
Mazza, Damiano POPL '18: "Polyadic Approximations, Fibrations ..."
McIver, Annabelle POPL '18: "A New Proof Rule for Almost-Sure ..."
Melo, Leandro T. C. POPL '18: "Inference of Static Semantics ..."
Michalevsky, Yan POPL '18: "Online Detection of Effectively ..."
Miller, Heather POPL '18: "Simplicitly: Foundations and ..."
Miltner, Anders POPL '18: "Synthesizing Bijective Lenses ..."
Morgan, Carroll POPL '18: "A New Proof Rule for Almost-Sure ..."
Moss, Sean K. POPL '18: "Denotational Validation of ..."
Murawski, Andrzej S. POPL '18: "Linearity in Higher-Order ..."
Nagar, Kartik POPL '18: "Alone Together: Compositional ..."
Najafzadeh, Mahsa POPL '18: "Alone Together: Compositional ..."
Naudžiūnienė, Daiva POPL '18: "JaVerT: JavaScript Verification ..."
Newton, Ryan R. POPL '18: "Linear Haskell: Practical ..." POPL '18: "Refinement Reflection: Complete ..."
Nguyễn, Phúc C. POPL '18: "Soft Contract Verification ..."
Niksic, Filip POPL '18: "Why Is Random Testing Effective ..."
Novotný, Petr POPL '18: "Lexicographic Ranking Supermartingales: ..."
Odersky, Martin POPL '18: "Simplicitly: Foundations and ..."
Öhman, Joakim POPL '18: "Decidability of Conversion ..."
Ong, C.-H. Luke POPL '18: "Higher-Order Constrained Horn ..."
Ostermann, Klaus POPL '18: "Denotational Validation of ..."
Padon, Oded POPL '18: "Reducing Liveness to Safety ..."
Pagani, Michele POPL '18: "Measurable Cones and Stable, ..."
Palsberg, Jens POPL '18: "Jones-Optimal Partial Evaluation ..."
Paraskevopoulou, Zoe POPL '18: "Generating Good Generators ..."
Parreaux, Lionel POPL '18: "Unifying Analytic and Statically-Typed ..."
Patrignani, Marco POPL '18: "Parametricity versus the Universal ..."
Pavlogiannis, Andreas POPL '18: "Optimal Dyck Reachability ..." POPL '18: "Data-Centric Dynamic Partial ..."
Pellissier, Luc POPL '18: "Polyadic Approximations, Fibrations ..."
Peña, Lucas POPL '18: "Foundations for Natural Proofs ..."
Pereira, Fernando Magno Quintão POPL '18: "Inference of Static Semantics ..."
Peyton Jones, Simon POPL '18: "Linear Haskell: Practical ..."
Pierce, Benjamin C. POPL '18: "Generating Good Generators ..." POPL '18: "Synthesizing Bijective Lenses ..."
Piessens, Frank POPL '18: "Parametricity versus the Universal ..."
Piróg, Maciej POPL '18: "Handle with Care: Relational ..."
Podelski, Andreas POPL '18: "Reducing Liveness to Safety ..."
Polesiuk, Piotr POPL '18: "Handle with Care: Relational ..."
Popescu, Andrei POPL '18: "Safety and Conservativity ..."
Pouchet, Louis-Noel POPL '18: "Analytical Modeling of Cache ..."
Pulte, Christopher POPL '18: "Simplifying ARM Concurrency: ..."
Püschel, Markus POPL '18: "A Practical Construction for ..."
Radiček, Ivan POPL '18: "Monadic Refinements for Relational ..."
Ramsay, Steven J. POPL '18: "Higher-Order Constrained Horn ..."
Rastogi, Aseem POPL '18: "Recalling a Witness: Foundations ..."
Rémy, Didier POPL '18: "A Principled Approach to Ornamentation ..."
Reps, Thomas POPL '18: "Non-linear Reasoning for Invariant ..."
Ribeiro, Rodrigo G. POPL '18: "Inference of Static Semantics ..."
Riely, James POPL '18: "Transactions in Relaxed Memory ..."
Rinetzky, Noam POPL '18: "Online Detection of Effectively ..."
Rioux, Nick POPL '18: "Type-Preserving CPS Translation ..."
Rompf, Tiark POPL '18: "Collapsing Towers of Interpreters ..."
Rouvoet, Arjen POPL '18: "Intrinsically-Typed Definitional ..."
Rümmer, Philipp POPL '18: "String Constraints with Concatenation ..."
Sadayappan, P. POPL '18: "Analytical Modeling of Cache ..."
Sagiv, Mooly POPL '18: "Reducing Liveness to Safety ..." POPL '18: "Online Detection of Effectively ..."
Sagonas, Konstantinos POPL '18: "Effective Stateless Model ..."
Sarkar, Susmit POPL '18: "Simplifying ARM Concurrency: ..."
Satake, Yuki POPL '18: "Relatively Complete Refinement ..."
Scherer, Gabriel POPL '18: "Correctness of Speculative ..."
Ścibior, Adam POPL '18: "Denotational Validation of ..."
Scott, Ryan G. POPL '18: "Refinement Reflection: Complete ..."
Sergey, Ilya POPL '18: "Programming and Proving with ..."
Sewell, Peter POPL '18: "Simplifying ARM Concurrency: ..."
Shaikhha, Amir POPL '18: "Unifying Analytic and Statically-Typed ..."
Sharma, Rahul POPL '18: "On Automatically Proving the ..."
Shasha, Dennis POPL '18: "Go with the Flow: Compositional ..."
Shoham, Sharon POPL '18: "Reducing Liveness to Safety ..."
Sieczkowski, Filip POPL '18: "Handle with Care: Relational ..."
Singh, Gagandeep POPL '18: "A Practical Construction for ..."
Singh, Rishabh POPL '18: "Program Synthesis using Abstraction ..." POPL '18: "WebRelate: Integrating Web ..."
Sinha, Nishant POPL '18: "Data-Centric Dynamic Partial ..."
Spiwack, Arnaud POPL '18: "Linear Haskell: Practical ..."
Staton, Sam POPL '18: "Denotational Validation of ..."
Stefanesco, Léo POPL '18: "A Logical Relation for Monadic ..."
Strub, Pierre-Yves POPL '18: "Proving Expected Sensitivity ..."
Stucki, Sandro POPL '18: "Simplicitly: Foundations and ..."
Swamy, Nikhil POPL '18: "Recalling a Witness: Foundations ..."
Ta, Quang-Trung POPL '18: "Automated Lemma Synthesis ..."
Tasson, Christine POPL '18: "Measurable Cones and Stable, ..."
Tatlock, Zachary POPL '18: "Programming and Proving with ..."
Terauchi, Tachio POPL '18: "Relatively Complete Refinement ..."
Timany, Amin POPL '18: "A Logical Relation for Monadic ..."
Tobin-Hochstadt, Sam POPL '18: "Soft Contract Verification ..."
Tolmach, Andrew POPL '18: "Intrinsically-Typed Definitional ..."
Tondwalkar, Anish POPL '18: "Refinement Reflection: Complete ..."
Torlak, Emina POPL '18: "Symbolic Types for Lenient ..."
Unno, Hiroshi POPL '18: "Relatively Complete Refinement ..."
Vafeiadis, Viktor POPL '18: "Effective Stateless Model ..."
Vaidya, Kapil POPL '18: "Data-Centric Dynamic Partial ..."
Vákár, Matthijs POPL '18: "Denotational Validation of ..."
Van Horn, David POPL '18: "Soft Contract Verification ..."
Vazou, Niki POPL '18: "Refinement Reflection: Complete ..."
Vechev, Martin POPL '18: "A Practical Construction for ..."
Vezzosi, Andrea POPL '18: "Decidability of Conversion ..."
Vial, Pierre POPL '18: "Polyadic Approximations, Fibrations ..."
Visser, Eelco POPL '18: "Intrinsically-Typed Definitional ..."
Vitek, Jan POPL '18: "Correctness of Speculative ..."
Voizard, Antoine POPL '18: "Unifying Analytic and Statically-Typed ..."
Vojnar, Tomáš POPL '18: "String Constraints with Concatenation ..."
Wadler, Philip POPL '18: "Refinement Reflection: Complete ..."
Walker, David POPL '18: "Synthesizing Bijective Lenses ..."
Walkingshaw, Eric POPL '18: "Migrating Gradual Types ..."
Wang, Xinyu POPL '18: "Program Synthesis using Abstraction ..."
Wang, Yuepeng POPL '18: "Verifying Equivalence of Database-Driven ..."
Wies, Thomas POPL '18: "Go with the Flow: Compositional ..."
Wilcox, James R. POPL '18: "Programming and Proving with ..."
Williams, Thomas POPL '18: "A Principled Approach to Ornamentation ..."
Wood, Thomas POPL '18: "JaVerT: JavaScript Verification ..."
Wu, Zhilin POPL '18: "What Is Decidable about String ..."
Yang, Hongseok POPL '18: "Denotational Validation of ..."
Yee, Ming-Ho POPL '18: "Correctness of Speculative ..."
Ying, Mingsheng POPL '18: "Algorithmic Analysis of Termination ..."
Zdancewic, Steve POPL '18: "Synthesizing Bijective Lenses ..."
Zohar, Yoni POPL '18: "Online Detection of Effectively ..."
Zuleger, Florian POPL '18: "Monadic Refinements for Relational ..."

228 authors

proc time: 52.47