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

Proceedings of the ACM on Programming Languages, Volume 4, Number ICFP, August 23–28, 2020, Virtual Event, USA

ICFP 2020 – Author Index

Contents - Abstracts - Authors

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

Abel, Andreas ICFP '20: "A Unified View of Modalities ..."
Adams, Michael D. ICFP '20: "Parsing with Zippers (Functional ..."
Ahman, Danel ICFP '20: "SteelCore: An Extensible Concurrent ..."
Ariola, Zena M. ICFP '20: "Kinds Are Calling Conventions ..."
Bernardy, Jean-Philippe ICFP '20: "A Unified View of Modalities ..."
Birkedal, Lars ICFP '20: "Scala Step-by-Step: Soundness ..."
Brachthäuser, Jonathan Immanuel ICFP '20: "Compiling Effect Handlers ..." ICFP '20: "Effect Handlers, Evidently ..."
Charguéraud, Arthur ICFP '20: "Separation Logic for Sequential ..."
Chen, Xiaohong ICFP '20: "A General Approach to Define ..."
Choudhury, Vikraman ICFP '20: "Recovering Purity with Comonads ..."
Chugh, Ravi ICFP '20: "Program Sketching with Live ..."
Collins, Nick ICFP '20: "Program Sketching with Live ..."
Cutler, Joseph W. ICFP '20: "Denotational Recurrence Extraction ..."
Danner, Norman ICFP '20: "Denotational Recurrence Extraction ..."
Darragh, Pierce ICFP '20: "Parsing with Zippers (Functional ..."
De Moura, Leonardo ICFP '20: "Sealing Pointer-Based Optimizations ..."
Dhiman, Atul ICFP '20: "Retrofitting Parallelism onto ..."
Dolan, Stephen ICFP '20: "Retrofitting Parallelism onto ..."
Downen, Paul ICFP '20: "Kinds Are Calling Conventions ..."
Eisenberg, Richard A. ICFP '20: "Kinds Are Calling Conventions ..."
Fromherz, Aymeric ICFP '20: "SteelCore: An Extensible Concurrent ..."
Genet, Thomas ICFP '20: "Regular Language Type Inference ..."
Giarrusso, Paolo G. ICFP '20: "Scala Step-by-Step: Soundness ..."
Gorlatch, Sergei ICFP '20: "Achieving High-Performance ..."
Graf, Sebastian ICFP '20: "Lower Your Guards: A Compositional ..."
Griffin, Jeremiah ICFP '20: "TLC: Temporal Logic of Distributed ..."
Hage, Jurriaan ICFP '20: "A Quick Look at Impredicativity ..."
Hagedorn, Bastian ICFP '20: "Achieving High-Performance ..."
Hance, Travis ICFP '20: "Liquid Information Flow Control ..."
Haudebourg, Timothée ICFP '20: "Regular Language Type Inference ..."
Hillerström, Daniel ICFP '20: "Effect Handlers, Evidently ..." ICFP '20: "Effects for Efficiency: Asymptotic ..."
Hoffmann, Jan ICFP '20: "Liquid Resource Types ..." ICFP '20: "Raising Expectations: Automating ..."
Hudon, Simon ICFP '20: "Sealing Pointer-Based Optimizations ..."
Igarashi, Atsushi ICFP '20: "Signature Restriction for ..."
Itzhaky, Shachar ICFP '20: "Liquid Information Flow Control ..."
Jaffer, Sadiq ICFP '20: "Retrofitting Parallelism onto ..."
Jenkins, Christopher ICFP '20: "Strong Functional Pearl: Harper’s ..."
Jensen, Thomas ICFP '20: "Stable Relations and Abstract ..." ICFP '20: "Regular Language Type Inference ..."
Jones, Timothy M. ICFP '20: "Duplo: A Framework for OCaml ..."
Jourdan, Jacques-Henri ICFP '20: "Cosmo: A Concurrent Separation ..."
Kahn, David M. ICFP '20: "Raising Expectations: Automating ..."
Kelly, Tom ICFP '20: "Retrofitting Parallelism onto ..."
Knoth, Tristan ICFP '20: "Liquid Resource Types ..."
Kœhler, Thomas ICFP '20: "Achieving High-Performance ..."
Kovács, András ICFP '20: "Elaboration with First-Class ..."
Krebbers, Robbert ICFP '20: "Scala Step-by-Step: Soundness ..."
Krishnaswami, Neel ICFP '20: "Recovering Purity with Comonads ..."
Leijen, Daan ICFP '20: "Effect Handlers, Evidently ..."
Lenfers, Johannes ICFP '20: "Achieving High-Performance ..."
Lesani, Mohsen ICFP '20: "TLC: Temporal Logic of Distributed ..."
Licata, Daniel R. ICFP '20: "Denotational Recurrence Extraction ..."
Licker, Nandor ICFP '20: "Duplo: A Framework for OCaml ..."
Lindley, Sam ICFP '20: "Effects for Efficiency: Asymptotic ..."
Longley, John ICFP '20: "Effects for Efficiency: Asymptotic ..."
Lubin, Justin ICFP '20: "Program Sketching with Live ..."
Madhavapeddy, Anil ICFP '20: "Retrofitting Parallelism onto ..."
Martínez, Guido ICFP '20: "SteelCore: An Extensible Concurrent ..."
Matsuda, Kazutaka ICFP '20: "Sparcl: A Language for Partially-Invertible ..."
McDonald, Colin ICFP '20: "Strong Functional Pearl: Harper’s ..."
Meiklejohn, Christopher ICFP '20: "Composing and Decomposing ..."
Merigoux, Denis ICFP '20: "SteelCore: An Extensible Concurrent ..."
Mével, Glen ICFP '20: "Cosmo: A Concurrent Separation ..."
Miller, Heather ICFP '20: "Composing and Decomposing ..."
Montagu, Benoît ICFP '20: "Stable Relations and Abstract ..."
Omar, Cyrus ICFP '20: "Program Sketching with Live ..."
Ostermann, Klaus ICFP '20: "Compiling Effect Handlers ..."
Palmer, Zachary ICFP '20: "Higher-Order Demand-Driven ..."
Parimala, Sudha ICFP '20: "Retrofitting Parallelism onto ..."
Park, Theodore ICFP '20: "Higher-Order Demand-Driven ..."
Parreaux, Lionel ICFP '20: "The Simple Essence of Algebraic ..."
Peyton Jones, Simon ICFP '20: "Lower Your Guards: A Compositional ..." ICFP '20: "Kinds Are Calling Conventions ..." ICFP '20: "A Quick Look at Impredicativity ..."
Pickering, Matthew ICFP '20: "Staged Selective Parser Combinators ..."
Polikarpova, Nadia ICFP '20: "Liquid Information Flow Control ..." ICFP '20: "Liquid Resource Types ..."
Pottier, François ICFP '20: "Cosmo: A Concurrent Separation ..."
Qin, Xueying ICFP '20: "Achieving High-Performance ..."
Radanne, Gabriel ICFP '20: "Kindly Bent to Free Us ..."
Rastogi, Aseem ICFP '20: "SteelCore: An Extensible Concurrent ..."
Reynolds, Adam ICFP '20: "Liquid Resource Types ..."
Rioux, Nick ICFP '20: "Computation Focusing ..."
Roşu, Grigore ICFP '20: "A General Approach to Define ..."
Saffrich, Hannes ICFP '20: "Kindly Bent to Free Us ..."
Sahoo, Anmol ICFP '20: "Retrofitting Parallelism onto ..."
Schuster, Philipp ICFP '20: "Compiling Effect Handlers ..." ICFP '20: "Effect Handlers, Evidently ..."
Scott, Ryan G. ICFP '20: "Lower Your Guards: A Compositional ..."
Sekiyama, Taro ICFP '20: "Signature Restriction for ..."
Selsam, Daniel ICFP '20: "Sealing Pointer-Based Optimizations ..."
Serrano, Alejandro ICFP '20: "A Quick Look at Impredicativity ..."
Shadab, Narges ICFP '20: "TLC: Temporal Logic of Distributed ..."
Sivaramakrishnan, KC ICFP '20: "Retrofitting Parallelism onto ..."
Smith, Scott ICFP '20: "Higher-Order Demand-Driven ..."
Solar-Lezama, Armando ICFP '20: "Liquid Information Flow Control ..."
Spahn, Stephan ICFP '20: "Strong Functional Pearl: Harper’s ..."
Stefan, Deian ICFP '20: "Liquid Information Flow Control ..."
Stefanesco, Léo ICFP '20: "Scala Step-by-Step: Soundness ..."
Steuwer, Michel ICFP '20: "Achieving High-Performance ..."
Stump, Aaron ICFP '20: "Strong Functional Pearl: Harper’s ..."
Swamy, Nikhil ICFP '20: "SteelCore: An Extensible Concurrent ..."
Tejiščák, Matúš ICFP '20: "A Dependently Typed Calculus ..."
Thiemann, Peter ICFP '20: "Kindly Bent to Free Us ..."
Timany, Amin ICFP '20: "Scala Step-by-Step: Soundness ..."
Tsukada, Takeshi ICFP '20: "Signature Restriction for ..."
Vytiniotis, Dimitrios ICFP '20: "A Quick Look at Impredicativity ..."
Wang, Di ICFP '20: "Liquid Resource Types ..." ICFP '20: "Raising Expectations: Automating ..."
Wang, Meng ICFP '20: "Sparcl: A Language for Partially-Invertible ..."
Weidner, Matthew ICFP '20: "Composing and Decomposing ..."
Weng, Shiwei ICFP '20: "Higher-Order Demand-Driven ..."
White, Leo ICFP '20: "Retrofitting Parallelism onto ..."
Willis, Jamie ICFP '20: "Staged Selective Parser Combinators ..."
Wu, Nicolas ICFP '20: "Staged Selective Parser Combinators ..."
Xie, Ningning ICFP '20: "Effect Handlers, Evidently ..."
Yang, Jean ICFP '20: "Liquid Information Flow Control ..."
Yin, Xizhe ICFP '20: "TLC: Temporal Logic of Distributed ..."
Zdancewic, Steve ICFP '20: "Computation Focusing ..."

113 authors

proc time: 0.21