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

Proceedings of the ACM on Programming Languages, Volume 5, Number POPL, January 17–22, 2021, Virtual, Denmark

POPL 2021 – Author Index

Contents - Abstracts - Authors

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

Aanjaneya, Mridul POPL '21: "An Approach to Generate Correctly ..."
Abdulla, Parosh Aziz POPL '21: "Deciding Reachability under ..."
Acar, Umut A. POPL '21: "Provably Space-Efficient Parallel ..."
Accattoli, Beniamino POPL '21: "The (In)Efficiency of Interaction ..."
Aguirre, Alejandro POPL '21: "A Pre-expectation Calculus ..."
Ahman, Danel POPL '21: "Asynchronous Effects ..."
Almagor, Shaull POPL '21: "Deciding ω-Regular Properties ..."
Angiuli, Carlo POPL '21: "Internalizing Representation ..."
Arashloo, Mina Tahmasbi POPL '21: "Petr4: Formal Foundations ..."
Arora, Jatin POPL '21: "Provably Space-Efficient Parallel ..."
Atig, Mohamed Faouzi POPL '21: "Deciding Reachability under ..."
Atkinson, Eric POPL '21: "Simplifying Dependent Reductions ..."
Bahr, Patrick POPL '21: "Diamonds Are Not Forever: ..."
Bañados Schwerter, Felipe POPL '21: "Abstracting Gradual Typing ..."
Banerjee, Anindya POPL '21: "On Algebraic Abstractions ..."
Barrière, Aurèle POPL '21: "Formally Verified Speculation ..."
Barthe, Gilles POPL '21: "Deciding Accuracy of Differential ..." POPL '21: "A Pre-expectation Calculus ..."
Batz, Kevin POPL '21: "Relatively Complete Verification ..."
Baumann, Pascal POPL '21: "Context-Bounded Verification ..."
Bautista, Santiago POPL '21: "Petr4: Formal Foundations ..."
Bay, Johan POPL '21: "Mechanized Logical Relations ..."
Benedikt, Michael POPL '21: "Generating Collection Transformations ..."
Birkedal, Lars POPL '21: "Efficient and Provable Local ..." POPL '21: "Distributed Causal Memory: ..." POPL '21: "Mechanized Logical Relations ..."
Blazy, Sandrine POPL '21: "Formally Verified Speculation ..."
Bouajjani, Ahmed POPL '21: "Deciding Reachability under ..."
Carbin, Michael POPL '21: "Simplifying Dependent Reductions ..." POPL '21: "𝜆ₛ: Computable Semantics ..."
Cauligi, Sunjay POPL '21: "Automatically Eliminating ..."
Cavallo, Evan POPL '21: "Internalizing Representation ..."
Cecchetti, Ethan POPL '21: "Giving Semantics to Program-Counter ..."
Chadha, Rohit POPL '21: "Deciding Accuracy of Differential ..."
Chang, Alexander POPL '21: "Petr4: Formal Foundations ..."
Chen, Chao-Hong POPL '21: "A Computational Interpretation ..."
Choudhury, Pritam POPL '21: "A Graded Dependent Type System ..."
Clark, Alison M. POPL '21: "Abstracting Gradual Typing ..."
Cockx, Jesper POPL '21: "The Taming of the Rew: A Type ..."
Courant, Nathanaël POPL '21: "Verified Code Generation for ..."
Dal Lago, Ugo POPL '21: "Intersection Types and (Positive) ..." POPL '21: "The (In)Efficiency of Interaction ..."
D'Antoni, Loris POPL '21: "Semantics-Guided Synthesis ..."
Delbianco, Germán Andrés POPL '21: "On Algebraic Abstractions ..."
De Vilhena, Paulo Emílio POPL '21: "A Separation Logic for Effect ..."
Devriese, Dominique POPL '21: "Efficient and Provable Local ..." POPL '21: "On the Semantic Expressiveness ..." POPL '21: "Fully Abstract from Static ..."
Di Liberti, Ivan POPL '21: "Functorial Semantics for Partial ..."
Dillig, Isil POPL '21: "Verifying Correct Usage of ..."
Disselkoen, Craig POPL '21: "Automatically Eliminating ..."
Doenges, Ryan POPL '21: "Petr4: Formal Foundations ..."
Dreyer, Derek POPL '21: "Transfinite Step-Indexing ..."
Eades III, Harley POPL '21: "A Graded Dependent Type System ..."
Eisenberg, Richard A. POPL '21: "A Graded Dependent Type System ..."
Fábregas, Ignacio POPL '21: "On Algebraic Abstractions ..."
Faggian, Claudia POPL '21: "Intersection Types and (Positive) ..."
Farka, František POPL '21: "On Algebraic Abstractions ..."
Feldman, Yotam M. Y. POPL '21: "Learning the Boundary of Inductive ..."
Ferles, Kostas POPL '21: "Verifying Correct Usage of ..."
Flatt, Oliver POPL '21: "egg: Fast and Extensible Equality ..."
Flückiger, Olivier POPL '21: "Formally Verified Speculation ..."
Foster, Nate POPL '21: "Petr4: Formal Foundations ..."
Gaboardi, Marco POPL '21: "A Unifying Type-Theory for ..."
Garcia, Ronald POPL '21: "Abstracting Gradual Typing ..."
Garg, Deepak POPL '21: "A Unifying Type-Theory for ..."
Georges, Aïna Linn POPL '21: "Efficient and Provable Local ..."
Ghilezan, Silvia POPL '21: "Precise Subtyping for Asynchronous ..."
Gleissenthall, Klaus von POPL '21: "Automatically Eliminating ..."
Gondelman, Léon POPL '21: "Distributed Causal Memory: ..."
Graulund, Christian Uldal POPL '21: "Diamonds Are Not Forever: ..."
Gregersen, Simon Oddershede POPL '21: "Distributed Causal Memory: ..." POPL '21: "Mechanized Logical Relations ..."
Guéneau, Armaël POPL '21: "Efficient and Provable Local ..."
Gustafson, John POPL '21: "An Approach to Generate Correctly ..."
Gutsfeld, Jens Oliver POPL '21: "Automata and Fixpoints for ..."
Hack, Sebastian POPL '21: "An Abstract Interpretation ..."
Hicks, Michael POPL '21: "A Verified Optimizer for Quantum ..."
Hietala, Kesha POPL '21: "A Verified Optimizer for Quantum ..."
Hirsch, Andrew K. POPL '21: "Giving Semantics to Program-Counter ..."
Hoffmann, Jan POPL '21: "Modeling and Analyzing Evaluation ..." POPL '21: "A Unifying Type-Theory for ..."
Hsu, Justin POPL '21: "A Pre-expectation Calculus ..."
Hu, Qinheping POPL '21: "Semantics-Guided Synthesis ..."
Hung, Shih-Han POPL '21: "A Verified Optimizer for Quantum ..."
Huyghebaert, Sander POPL '21: "Efficient and Provable Local ..."
Jacobs, Jules POPL '21: "Paradoxes of Probabilistic ..."
Jacobs, Koen POPL '21: "Fully Abstract from Static ..."
Jafery, Khurram A. POPL '21: "Abstracting Gradual Typing ..."
Jhala, Ranjit POPL '21: "Automatically Eliminating ..."
Jones, Eddie POPL '21: "Intensional Datatype Refinement: ..."
Kaminski, Benjamin Lucien POPL '21: "Relatively Complete Verification ..." POPL '21: "A Pre-expectation Calculus ..."
Karimov, Toghrul POPL '21: "Deciding ω-Regular Properties ..."
Katoen, Joost-Pieter POPL '21: "Relatively Complete Verification ..." POPL '21: "A Pre-expectation Calculus ..."
Kaysin, Ilya POPL '21: "PerSeVerE: Persistency Semantics ..."
Kelmendi, Edon POPL '21: "Deciding ω-Regular Properties ..."
Khyzha, Artem POPL '21: "Taming x86-TSO Persistency ..."
Kıcı, Rami Gökhan POPL '21: "Automatically Eliminating ..."
Kim, Jinwoo POPL '21: "Semantics-Guided Synthesis ..."
Kokologiannakis, Michalis POPL '21: "PerSeVerE: Persistency Semantics ..."
Krebbers, Robbert POPL '21: "Intrinsically Typed Compilation ..."
Krishnaswami, Neel POPL '21: "Transfinite Step-Indexing ..."
Krogmeier, Paul POPL '21: "Deciding Accuracy of Differential ..."
Kumar, K. Narayan POPL '21: "Deciding Reachability under ..."
Kuperberg, Denis POPL '21: "Cyclic Proofs, System T, and ..."
Lahav, Ori POPL '21: "Verifying Observational Robustness ..." POPL '21: "Taming x86-TSO Persistency ..."
Lee, Woosuk POPL '21: "Combining the Top-Down Propagation ..."
Leroy, Xavier POPL '21: "Verified Code Generation for ..."
Li, Yuanbo POPL '21: "On the Complexity of Bidirected ..."
Lim, Jay P. POPL '21: "An Approach to Generate Correctly ..."
Loregian, Fosco POPL '21: "Functorial Semantics for Partial ..."
Majumdar, Rupak POPL '21: "Context-Bounded Verification ..."
Margalit, Roy POPL '21: "Verifying Observational Robustness ..."
Martin, Eric Mark POPL '21: "On the Semantic Expressiveness ..."
Matheja, Christoph POPL '21: "Relatively Complete Verification ..." POPL '21: "A Pre-expectation Calculus ..."
Mathiasen, Anders Alnor POPL '21: "The Fine-Grained and Parallel ..."
Mathur, Umang POPL '21: "Optimal Prediction of Synchronization-Preserving ..."
Mazza, Damiano POPL '21: "Automatic Differentiation ..."
Michel, Jesse POPL '21: "𝜆ₛ: Computable Semantics ..."
Møgelberg, Rasmus Ejlers POPL '21: "Diamonds Are Not Forever: ..."
Moll, Simon POPL '21: "An Abstract Interpretation ..."
Mörtberg, Anders POPL '21: "Internalizing Representation ..."
Moy, Cameron POPL '21: "Corpse Reviver: Sound and ..."
Muller, Stefan K. POPL '21: "Modeling and Analyzing Evaluation ..."
Müller-Olm, Markus POPL '21: "Automata and Fixpoints for ..."
Nagarakatte, Santosh POPL '21: "An Approach to Generate Correctly ..."
Nandi, Chandrakana POPL '21: "egg: Fast and Extensible Equality ..."
Nanevski, Aleksandar POPL '21: "On Algebraic Abstractions ..."
Nester, Chad POPL '21: "Functorial Semantics for Partial ..."
Nguyễn, Phúc C. POPL '21: "Corpse Reviver: Sound and ..."
Ni, Newton POPL '21: "Petr4: Formal Foundations ..."
Nieto, Abel POPL '21: "Distributed Causal Memory: ..."
Ohrem, Christoph POPL '21: "Automata and Fixpoints for ..."
Ouaknine, Joël POPL '21: "Deciding ω-Regular Properties ..."
Pagani, Michele POPL '21: "Automatic Differentiation ..."
Panchekha, Pavel POPL '21: "egg: Fast and Extensible Equality ..."
Pantović, Jovanka POPL '21: "Precise Subtyping for Asynchronous ..."
Parkinson, Samwise POPL '21: "Petr4: Formal Foundations ..."
Patrignani, Marco POPL '21: "On the Semantic Expressiveness ..."
Pavlinovic, Zvonimir POPL '21: "Data Flow Refinement Type ..."
Pavlogiannis, Andreas POPL '21: "Optimal Prediction of Synchronization-Preserving ..." POPL '21: "The Fine-Grained and Parallel ..."
Peterson, Rudy POPL '21: "Petr4: Formal Foundations ..."
Pichardie, David POPL '21: "Formally Verified Speculation ..."
Pinault, Laureline POPL '21: "Cyclic Proofs, System T, and ..."
Pottier, François POPL '21: "A Separation Logic for Effect ..."
Pous, Damien POPL '21: "Cyclic Proofs, System T, and ..."
Pradic, Pierre POPL '21: "Generating Collection Transformations ..."
Pretnar, Matija POPL '21: "Asynchronous Effects ..."
Prokić, Ivan POPL '21: "Precise Subtyping for Asynchronous ..."
Raad, Azalea POPL '21: "PerSeVerE: Persistency Semantics ..."
Rajani, Vineet POPL '21: "A Unifying Type-Theory for ..."
Ramsay, Steven POPL '21: "Intensional Datatype Refinement: ..."
Rand, Robert POPL '21: "A Verified Optimizer for Quantum ..."
Reps, Thomas POPL '21: "Semantics-Guided Synthesis ..." POPL '21: "On the Complexity of Bidirected ..."
Reynaud, Alban POPL '21: "A Practical Mode System for ..."
Rocca, Simona Ronchi Della POPL '21: "Intersection Types and (Positive) ..."
Rosemann, Julian POPL '21: "An Abstract Interpretation ..."
Rouvoet, Arjen POPL '21: "Intrinsically Typed Compilation ..."
Sabok, Marcin POPL '21: "Probabilistic Programming ..."
Sabry, Amr POPL '21: "A Computational Interpretation ..."
Sagiv, Mooly POPL '21: "Learning the Boundary of Inductive ..."
Saivasan, Prakash POPL '21: "Deciding Reachability under ..."
Scalas, Alceste POPL '21: "Precise Subtyping for Asynchronous ..."
Scherer, Gabriel POPL '21: "A Practical Mode System for ..."
Sherman, Benjamin POPL '21: "𝜆ₛ: Computable Semantics ..."
Shoham, Sharon POPL '21: "Learning the Boundary of Inductive ..."
Silver, Lucas POPL '21: "Dijkstra Monads Forever: Termination-Sensitive ..."
Sistla, A. Prasad POPL '21: "Deciding Accuracy of Differential ..."
Sobociński, Paweł POPL '21: "Functorial Semantics for Partial ..."
Solko-Breslin, Alaia POPL '21: "Petr4: Formal Foundations ..."
Spies, Simon POPL '21: "Transfinite Step-Indexing ..."
Staton, Sam POPL '21: "Probabilistic Programming ..."
Stefan, Deian POPL '21: "Automatically Eliminating ..."
Stein, Dario POPL '21: "Probabilistic Programming ..."
Stephens, Jon POPL '21: "Verifying Correct Usage of ..."
Su, Yusen POPL '21: "Data Flow Refinement Type ..."
Tabareau, Nicolas POPL '21: "The Taming of the Rew: A Type ..."
Tatlock, Zachary POPL '21: "egg: Fast and Extensible Equality ..."
Thinniyam, Ramanathan S. POPL '21: "Context-Bounded Verification ..."
Timany, Amin POPL '21: "Efficient and Provable Local ..." POPL '21: "Distributed Causal Memory: ..." POPL '21: "Mechanized Logical Relations ..." POPL '21: "Fully Abstract from Static ..."
Tobin-Hochstadt, Sam POPL '21: "Corpse Reviver: Sound and ..."
Trieu, Alix POPL '21: "Efficient and Provable Local ..."
Tullsen, Dean POPL '21: "Automatically Eliminating ..."
Vafeiadis, Viktor POPL '21: "PerSeVerE: Persistency Semantics ..."
Van Horn, David POPL '21: "Corpse Reviver: Sound and ..."
Vanoni, Gabriele POPL '21: "The (In)Efficiency of Interaction ..."
Van Strydonck, Thomas POPL '21: "Efficient and Provable Local ..."
Vassena, Marco POPL '21: "Automatically Eliminating ..."
Visser, Eelco POPL '21: "Intrinsically Typed Compilation ..."
Viswanathan, Mahesh POPL '21: "Deciding Accuracy of Differential ..." POPL '21: "Optimal Prediction of Synchronization-Preserving ..."
Vitek, Jan POPL '21: "Formally Verified Speculation ..."
Wang, Yisu Remy POPL '21: "egg: Fast and Extensible Equality ..."
Weirich, Stephanie POPL '21: "A Graded Dependent Type System ..."
Westrick, Sam POPL '21: "Provably Space-Efficient Parallel ..."
Wies, Thomas POPL '21: "Data Flow Refinement Type ..."
Wilcox, James R. POPL '21: "Learning the Boundary of Inductive ..."
Willsey, Max POPL '21: "egg: Fast and Extensible Equality ..."
Winterhalter, Théo POPL '21: "The Taming of the Rew: A Type ..."
Wolman, Michael POPL '21: "Probabilistic Programming ..."
Worrell, James POPL '21: "Deciding ω-Regular Properties ..."
Wu, Xiaodi POPL '21: "A Verified Optimizer for Quantum ..."
Xu, Amanda POPL '21: "Petr4: Formal Foundations ..."
Yallop, Jeremy POPL '21: "A Practical Mode System for ..."
Yang, Cambridge POPL '21: "Simplifying Dependent Reductions ..."
Yoshida, Nobuko POPL '21: "Precise Subtyping for Asynchronous ..."
Zdancewic, Steve POPL '21: "Dijkstra Monads Forever: Termination-Sensitive ..."
Zetzsche, Georg POPL '21: "Context-Bounded Verification ..."
Zeuner, Max POPL '21: "Internalizing Representation ..."
Zhang, Qirun POPL '21: "On the Complexity of Bidirected ..."

200 authors

proc time: 53.89