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

Proceedings of the ACM on Programming Languages, Volume 1, Number ICFP, September 3–9, 2017, Oxford, UK

ICFP 2017 – 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 ICFP '17: "Normalization by Evaluation ..."
Aguirre, Alejandro ICFP '17: "A Relational Logic for Higher-Order ..."
Ahmed, Amal ICFP '17: "Theorems for Free for Free: ..."
Andersen, Leif ICFP '17: "Super 8 Languages for Making ..."
Arvind ICFP '17: "Kami: A Platform for High-Level ..."
Auerbach, Joshua S. ICFP '17: "Prototyping a Query Compiler ..."
Avanzini, Martin ICFP '17: "Automating Sized-Type Inference ..."
Avigad, Jeremy ICFP '17: "A Metaprogramming Framework ..."
Balabonski, Thibaut ICFP '17: "Foundations of Strong Call ..."
Ballantyne, Michael ICFP '17: "A Unified Approach to Solving ..."
Balzer, Stephanie ICFP '17: "Manifest Sharing with Session ..."
Barenbaum, Pablo ICFP '17: "Foundations of Strong Call ..."
Barthe, Gilles ICFP '17: "A Relational Logic for Higher-Order ..."
Bernardy, Jean-Philippe ICFP '17: "A Pretty But Not Greedy Printer ..."
Bhargavan, Karthikeyan ICFP '17: "Verified Low-Level Programming ..."
Bonelli, Eduardo ICFP '17: "Foundations of Strong Call ..."
Breitner, Joachim ICFP '17: "Lock-Step Simulation Is Child's ..."
Byrd, William E. ICFP '17: "A Unified Approach to Solving ..."
Canou, Benjamin ICFP '17: "Scaling up Functional Programming ..."
Castagna, Giuseppe ICFP '17: "Gradual Typing with Union ..."
Chang, Stephen ICFP '17: "Super 8 Languages for Making ..."
Cheney, James ICFP '17: "Imperative Functional Programs ..."
Chlipala, Adam ICFP '17: "Kami: A Platform for High-Level ..."
Choi, Joonwon ICFP '17: "Kami: A Platform for High-Level ..."
Chong, Stephen ICFP '17: "Whip: Higher-Order Contracts ..."
Cosman, Benjamin ICFP '17: "Local Refinement Typing ..."
Dal Lago, Ugo ICFP '17: "Automating Sized-Type Inference ..."
Darais, David ICFP '17: "Abstracting Definitional Interpreters ..."
Davis, Milo ICFP '17: "No-Brainer CPS Conversion ..."
De Amorim, Pedro Henrique Azevedo ICFP '17: "A Specification for Dependent ..."
Delignat-Lavaud, Antoine ICFP '17: "Verified Low-Level Programming ..."
De Moura, Leonardo ICFP '17: "A Metaprogramming Framework ..."
Devriese, Dominique ICFP '17: "Parametric Quantifiers for ..."
Di Cosmo, Roberto ICFP '17: "Scaling up Functional Programming ..."
Dimoulas, Christos ICFP '17: "Whip: Higher-Order Contracts ..."
Ebner, Gabriel ICFP '17: "A Metaprogramming Framework ..."
Eisenberg, Richard A. ICFP '17: "Constrained Type Families ..." ICFP '17: "A Specification for Dependent ..."
Elliott, Conal ICFP '17: "Generic Functional Parallel ..." ICFP '17: "Compiling to Categories ..."
Ernst, Michael D. ICFP '17: "SpaceSearch: A Library for ..."
Felleisen, Matthias ICFP '17: "Super 8 Languages for Making ..."
Feltey, Daniel ICFP '17: "Herbarium Racketensis: A Stroll ..."
Findler, Robert Bruce ICFP '17: "Herbarium Racketensis: A Stroll ..."
Florence, Spencer P. ICFP '17: "Herbarium Racketensis: A Stroll ..."
Forster, Yannick ICFP '17: "On the Expressive Power of ..."
Fournet, Cédric ICFP '17: "Verified Low-Level Programming ..."
Gaboardi, Marco ICFP '17: "A Relational Logic for Higher-Order ..."
Garg, Deepak ICFP '17: "A Relational Logic for Higher-Order ..."
Haeberlen, Andreas ICFP '17: "A Framework for Adaptive Differential ..."
Hamana, Makoto ICFP '17: "How to Prove Your Calculus ..."
Henry, Grégoire ICFP '17: "Scaling up Functional Programming ..."
Heule, Stefan ICFP '17: "SpaceSearch: A Library for ..."
Hirzel, Martin ICFP '17: "Prototyping a Query Compiler ..."
Hriţcu, Cătălin ICFP '17: "Verified Low-Level Programming ..."
Igarashi, Atsushi ICFP '17: "Gradual Session Types ..." ICFP '17: "On Polymorphic Gradual Typing ..."
Igarashi, Yuu ICFP '17: "On Polymorphic Gradual Typing ..."
Jamner, Dustin ICFP '17: "Theorems for Free for Free: ..."
Jhala, Ranjit ICFP '17: "Local Refinement Typing ..."
Justesen, Mathias Nygaard ICFP '17: "Effect-Driven QuickChecking ..."
Kammar, Ohad ICFP '17: "On the Expressive Power of ..."
Kasting, Patrick ICFP '17: "Effect-Driven QuickChecking ..."
Kesner, Delia ICFP '17: "Foundations of Strong Call ..."
Krishnamurthi, Shriram ICFP '17: "Inferring Scope through Syntactic ..."
Kumar, Ramana ICFP '17: "Verifying Efficient Function ..."
Labich, Nicholas ICFP '17: "Abstracting Definitional Interpreters ..."
Lanvin, Victor ICFP '17: "Gradual Typing with Union ..."
Lindley, Sam ICFP '17: "On the Expressive Power of ..."
Lyubomirsky, Steven ICFP '17: "SpaceSearch: A Library for ..."
Mainland, Geoffrey ICFP '17: "Better Living through Operational ..."
Mandel, Louis ICFP '17: "Prototyping a Query Compiler ..."
Meehan, William ICFP '17: "No-Brainer CPS Conversion ..."
Melgratti, Hernán ICFP '17: "Chaperone Contracts for Higher-Order ..."
Midtgaard, Jan ICFP '17: "Effect-Driven QuickChecking ..."
Might, Matthew ICFP '17: "A Unified Approach to Solving ..."
Morris, J. Garrett ICFP '17: "Constrained Type Families ..."
Myreen, Magnus O. ICFP '17: "Verifying Efficient Function ..."
Narayanan, Praveen ICFP '17: "Symbolic Conditioning of Arrays ..."
Nguyen, Phúc C. ICFP '17: "Abstracting Definitional Interpreters ..."
Nielson, Flemming ICFP '17: "Effect-Driven QuickChecking ..."
Nielson, Hanne Riis ICFP '17: "Effect-Driven QuickChecking ..."
Nilsson, Henrik ICFP '17: "Testing and Debugging Functional ..."
Norrish, Michael ICFP '17: "Verifying Efficient Function ..."
Nuyts, Andreas ICFP '17: "Parametric Quantifiers for ..."
Owens, Scott ICFP '17: "Verifying Efficient Function ..."
Padovani, Luca ICFP '17: "Chaperone Contracts for Higher-Order ..."
Perera, Roly ICFP '17: "Imperative Functional Programs ..."
Perez, Ivan ICFP '17: "Testing and Debugging Functional ..."
Pfenning, Frank ICFP '17: "Manifest Sharing with Session ..."
Pierce, Benjamin C. ICFP '17: "A Framework for Adaptive Differential ..."
Pombrio, Justin ICFP '17: "Inferring Scope through Syntactic ..."
Pottier, François ICFP '17: "Visitors Unchained ..."
Pretnar, Matija ICFP '17: "On the Expressive Power of ..."
Protzenko, Jonathan ICFP '17: "Verified Low-Level Programming ..."
Puente, Juan Pedro Bolívar ICFP '17: "Persistence for the Masses: ..."
Ramananandro, Tahina ICFP '17: "Verified Low-Level Programming ..."
Rastogi, Aseem ICFP '17: "Verified Low-Level Programming ..."
Ricciotti, Wilmer ICFP '17: "Imperative Functional Programs ..."
Roesch, Jared ICFP '17: "A Metaprogramming Framework ..."
Rosenblatt, Gregory ICFP '17: "A Unified Approach to Solving ..."
Roth, Aaron ICFP '17: "A Framework for Adaptive Differential ..."
Sekiyama, Taro ICFP '17: "On Polymorphic Gradual Typing ..."
Shan, Chung-chieh ICFP '17: "Symbolic Conditioning of Arrays ..."
Sherman, Benjamin ICFP '17: "Kami: A Platform for High-Level ..."
Shinnar, Avraham ICFP '17: "Prototyping a Query Compiler ..."
Shivers, Olin ICFP '17: "No-Brainer CPS Conversion ..."
Siek, Jeremy G. ICFP '17: "Theorems for Free for Free: ..."
Siméon, Jérôme ICFP '17: "Prototyping a Query Compiler ..."
Smith, Chris ICFP '17: "Lock-Step Simulation Is Child's ..."
Spivey, Michael ICFP '17: "Faster Coroutine Pipelines ..."
St-Amour, Vincent ICFP '17: "Herbarium Racketensis: A Stroll ..."
Stolarek, Jan ICFP '17: "Imperative Functional Programs ..."
Strub, Pierre-Yves ICFP '17: "A Relational Logic for Higher-Order ..."
Swamy, Nikhil ICFP '17: "Verified Low-Level Programming ..."
Tan, Yong Kiam ICFP '17: "Verifying Efficient Function ..."
Tatlock, Zachary ICFP '17: "SpaceSearch: A Library for ..."
Thiemann, Peter ICFP '17: "Gradual Session Types ..."
Torlak, Emina ICFP '17: "SpaceSearch: A Library for ..."
Ullrich, Sebastian ICFP '17: "A Metaprogramming Framework ..."
Van Horn, David ICFP '17: "Abstracting Definitional Interpreters ..."
Vasconcelos, Vasco T. ICFP '17: "Gradual Session Types ..."
Vezzosi, Andrea ICFP '17: "Normalization by Evaluation ..." ICFP '17: "Parametric Quantifiers for ..."
Vijayaraghavan, Muralidaran ICFP '17: "Kami: A Platform for High-Level ..."
Voizard, Antoine ICFP '17: "A Specification for Dependent ..."
Wadler, Philip ICFP '17: "Gradual Session Types ..." ICFP '17: "Theorems for Free for Free: ..."
Wand, Mitchell ICFP '17: "Inferring Scope through Syntactic ..."
Wang, Peng ICFP '17: "Verified Low-Level Programming ..."
Waye, Lucas ICFP '17: "Whip: Higher-Order Contracts ..."
Weirich, Stephanie ICFP '17: "A Specification for Dependent ..."
Weitz, Konstantin ICFP '17: "SpaceSearch: A Library for ..."
Winograd-Cort, Daniel ICFP '17: "A Framework for Adaptive Differential ..."
Winterhalter, Theo ICFP '17: "Normalization by Evaluation ..."
Yallop, Jeremy ICFP '17: "Staged Generic Programming ..."
You, Shu-Hung ICFP '17: "Herbarium Racketensis: A Stroll ..."
Zanella-Béguelin, Santiago ICFP '17: "Verified Low-Level Programming ..."
Zinzindohoué, Jean-Karim ICFP '17: "Verified Low-Level Programming ..."

134 authors

proc time: 6.13