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

Proceedings of the ACM on Programming Languages, Volume 5, Number ICFP, August 22–27, 2021, Virtual Event, Republic of Korea

ICFP 2021 – Author Index

Contents - Abstracts - Authors

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

Aguirre, Alejandro ICFP '21: "Higher-Order Probabilistic ..."
Appel, Andrew W. ICFP '21: "Compositional Optimizations ..." ICFP '21: "Deriving Efficient Program ..."
Avanzini, Martin ICFP '21: "On Continuation-Passing Transformations ..."
Barthe, Gilles ICFP '21: "On Continuation-Passing Transformations ..." ICFP '21: "Higher-Order Probabilistic ..."
Beck, Calvin ICFP '21: "Modular, Compositional, and ..."
Birkedal, Lars ICFP '21: "Theorems for Free from Separation ..." ICFP '21: "Client-Server Sessions in ..."
Braam, Peter ICFP '21: "Persistent Software Transactional ..."
Brinkmann, André ICFP '21: "Persistent Software Transactional ..."
Caires, Luís ICFP '21: "Propositions-as-Types and ..."
Chataing, Nicolas ICFP '21: "Catala: A Programming Language ..."
Chlipala, Adam ICFP '21: "Skipping the Binder Bureaucracy ..."
Dal Lago, Ugo ICFP '21: "On Continuation-Passing Transformations ..."
Dang, Hoang-Hai ICFP '21: "GhostCell: Separating Permissions ..."
Dimoulas, Christos ICFP '21: "How to Evaluate Blame for ..."
Dinsdale-Young, Thomas ICFP '21: "Theorems for Free from Separation ..."
Dreyer, Derek ICFP '21: "GhostCell: Separating Permissions ..."
Duboc, Guillaume ICFP '21: "An Existential Crisis Resolved: ..."
Duvenaud, David ICFP '21: "Getting to the Point: Index ..."
Eisenberg, Richard A. ICFP '21: "An Existential Crisis Resolved: ..."
Elliott, Conal ICFP '21: "Symbolic and Automatic Differentiation ..."
Erdweg, Sebastian ICFP '21: "Persistent Software Transactional ..."
Felleisen, Matthias ICFP '21: "How to Evaluate Blame for ..."
Fromherz, Aymeric ICFP '21: "Steel: Proof-Oriented Programming ..."
Gaboardi, Marco ICFP '21: "Higher-Order Probabilistic ..."
Garg, Deepak ICFP '21: "Higher-Order Probabilistic ..."
Germane, Kimball ICFP '21: "Newly-Single and Loving It: ..."
Giannarakis, Nick ICFP '21: "ProbNV: Probabilistic Verification ..."
Giarrusso, Paolo G. ICFP '21: "A Theory of Higher-Order Subtyping ..."
Gibson, Sydney ICFP '21: "Steel: Proof-Oriented Programming ..."
Gopinathan, Kiran ICFP '21: "Certifying the Synthesis of ..."
Greenman, Ben ICFP '21: "How to Evaluate Blame for ..."
Guéneau, Armaël ICFP '21: "Theorems for Free from Separation ..."
Handa, Shivam ICFP '21: "An Order-Aware Dataflow Model ..."
Hoffmann, Jan ICFP '21: "Automatic Amortized Resource ..."
Houshmand, Farzin ICFP '21: "Grafs: Declarative Graph Analytics ..."
Huang, Xuejing ICFP '21: "Distributing Intersection ..."
Hutton, Graham ICFP '21: "Calculating Dependently-Typed ..."
Jaber, Guilhem ICFP '21: "Theorems for Free from Separation ..."
Johnson, Daniel D. ICFP '21: "Getting to the Point: Index ..."
Johnson, Matthew J. ICFP '21: "Getting to the Point: Index ..."
Jourdan, Jacques-Henri ICFP '21: "Formal Verification of a Concurrent ..."
Jung, Ralf ICFP '21: "GhostCell: Separating Permissions ..."
Kahn, David M. ICFP '21: "Automatic Amortized Resource ..."
Kallas, Konstantinos ICFP '21: "An Order-Aware Dataflow Model ..."
Katsumata, Shin-ya ICFP '21: "Higher-Order Probabilistic ..."
Kavvos, G. A. ICFP '21: "Client-Server Sessions in ..."
Kidney, Donnacha Oisín ICFP '21: "Algebras for Weighted Search ..."
Koparkar, Chaitanya ICFP '21: "Efficient Tree-Traversals: ..."
Krauter, Nicolas ICFP '21: "Persistent Software Transactional ..."
Kulkarni, Milind ICFP '21: "Efficient Tree-Traversals: ..."
Lazarek, Lukas ICFP '21: "How to Evaluate Blame for ..."
Lee, Daniel ICFP '21: "An Existential Crisis Resolved: ..."
Leijen, Daan ICFP '21: "Generalized Evidence Passing ..."
Lesani, Mohsen ICFP '21: "Grafs: Declarative Graph Analytics ..."
Li, John M. ICFP '21: "Compositional Optimizations ..." ICFP '21: "Deriving Efficient Program ..."
Li, Yao ICFP '21: "Reasoning about the Garden ..."
Maclaurin, Dougal ICFP '21: "Getting to the Point: Index ..."
Martínez, Guido ICFP '21: "Steel: Proof-Oriented Programming ..."
McCarthy, Jay ICFP '21: "Newly-Single and Loving It: ..."
Merigoux, Denis ICFP '21: "Steel: Proof-Oriented Programming ..." ICFP '21: "Catala: A Programming Language ..."
Mével, Glen ICFP '21: "Formal Verification of a Concurrent ..."
Nanevski, Aleksandar ICFP '21: "Contextual Modal Types for ..."
Newton, Ryan R. ICFP '21: "Efficient Tree-Traversals: ..."
Oliveira, Bruno C. d. S. ICFP '21: "Distributing Intersection ..."
Paraskevopoulou, Zoe ICFP '21: "Compositional Optimizations ..."
Paszke, Adam ICFP '21: "Getting to the Point: Index ..."
Pickard, Mitchell ICFP '21: "Calculating Dependently-Typed ..."
Pîrlea, George ICFP '21: "Certifying the Synthesis of ..."
Polikarpova, Nadia ICFP '21: "Certifying the Synthesis of ..."
Protzenko, Jonathan ICFP '21: "Catala: A Programming Language ..."
Qian, Zesen ICFP '21: "Client-Server Sessions in ..."
Raaf, Patrick ICFP '21: "Persistent Software Transactional ..."
Radul, Alexey ICFP '21: "Getting to the Point: Index ..."
Ragan-Kelley, Jonathan ICFP '21: "Getting to the Point: Index ..."
Rainey, Mike ICFP '21: "Efficient Tree-Traversals: ..."
Ramananandro, Tahina ICFP '21: "Steel: Proof-Oriented Programming ..."
Rastogi, Aseem ICFP '21: "Steel: Proof-Oriented Programming ..."
Rinard, Martin C. ICFP '21: "An Order-Aware Dataflow Model ..."
Rocha, Pedro ICFP '21: "Propositions-as-Types and ..."
Salkhordeh, Reza ICFP '21: "Persistent Software Transactional ..."
Sato, Tetsuya ICFP '21: "Higher-Order Probabilistic ..."
Sekiyama, Taro ICFP '21: "CPS Transformation with Affine ..."
Sergey, Ilya ICFP '21: "Certifying the Synthesis of ..."
Serrano, Manuel ICFP '21: "Of JavaScript AOT Compilation ..."
Silva, Alexandra ICFP '21: "ProbNV: Probabilistic Verification ..."
Stucki, Sandro ICFP '21: "A Theory of Higher-Order Subtyping ..."
Svendsen, Kasper ICFP '21: "Theorems for Free from Separation ..."
Swamy, Nikhil ICFP '21: "Steel: Proof-Oriented Programming ..."
Tsukada, Takeshi ICFP '21: "CPS Transformation with Affine ..."
Tzevelekos, Nikos ICFP '21: "Theorems for Free from Separation ..."
Vasilakis, Nikos ICFP '21: "An Order-Aware Dataflow Model ..."
Vollmer, Michael ICFP '21: "Efficient Tree-Traversals: ..."
Vora, Keval ICFP '21: "Grafs: Declarative Graph Analytics ..."
Vytiniotis, Dimitrios ICFP '21: "Getting to the Point: Index ..."
Walker, David ICFP '21: "ProbNV: Probabilistic Verification ..."
Watanabe, Yasunari ICFP '21: "Certifying the Synthesis of ..."
Weirich, Stephanie ICFP '21: "Reasoning about the Garden ..." ICFP '21: "An Existential Crisis Resolved: ..."
Wu, Nicolas ICFP '21: "Algebras for Weighted Search ..." ICFP '21: "Reasoning about Effect Interaction ..."
Xia, Li-yao ICFP '21: "Reasoning about the Garden ..."
Xie, Ningning ICFP '21: "Generalized Evidence Passing ..."
Yang, Zhixuan ICFP '21: "Reasoning about Effect Interaction ..."
Yanovski, Joshua ICFP '21: "GhostCell: Separating Permissions ..."
Yoon, Irene ICFP '21: "Modular, Compositional, and ..."
Zaichuk, Ilia ICFP '21: "Modular, Compositional, and ..."
Zakowski, Yannick ICFP '21: "Modular, Compositional, and ..."
Zaliva, Vadim ICFP '21: "Modular, Compositional, and ..."
Zdancewic, Steve ICFP '21: "Modular, Compositional, and ..."
Zyuzin, Nikita ICFP '21: "Contextual Modal Types for ..."

108 authors

proc time: 41.64