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

Proceedings of the ACM on Programming Languages, Volume 6, Number ICFP, September 11–16, 2022, Ljubljana, Slovenia

ICFP 2022 – Author Index

Contents - Abstracts - Authors

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

Acar, Umut A. ICFP '22: "Entanglement Detection with ..."
Accattoli, Beniamino ICFP '22: "The Theory of Call-by-Value ..." ICFP '22: "Multi Types and Reasonable ..."
Arora, Jatin ICFP '22: "Entanglement Detection with ..."
Bahr, Patrick ICFP '22: "Monadic Compiler Calculation ..."
Balzer, Stephanie ICFP '22: "Multiparty GV: Functional ..."
Barthe, Gilles ICFP '22: "Safe Couplings: Coupled Refinement ..." ICFP '22: "On Feller Continuity and Full ..."
Bernardy, Jean-Philippe ICFP '22: "Linearly Qualified Types: ..."
Biernacka, Małgorzata ICFP '22: "A Simple and Efficient Implementation ..."
Binder, David ICFP '22: "Introduction and Elimination, ..."
Birkedal, Lars ICFP '22: "Later Credits: Resourceful ..."
Charatonik, Witold ICFP '22: "A Simple and Efficient Implementation ..."
Chen, Liang-Ting ICFP '22: "Datatype-Generic Programming ..."
Cheney, James ICFP '22: "Constraint-Based Type Inference ..."
Cockx, Jesper ICFP '22: "Practical Generic Programming ..."
Crubillé, Raphaëlle ICFP '22: "On Feller Continuity and Full ..."
Dal Lago, Ugo ICFP '22: "Multi Types and Reasonable ..." ICFP '22: "On Feller Continuity and Full ..."
De Moura, Leonardo ICFP '22: "‘do’ Unchained: Embracing ..."
De Vries, Edsko ICFP '22: "Searching Entangled Program ..."
Devriese, Dominique ICFP '22: "Verified Symbolic Execution ..."
Downen, Paul ICFP '22: "Introduction and Elimination, ..."
Drab, Tomasz ICFP '22: "A Simple and Efficient Implementation ..."
Dreyer, Derek ICFP '22: "Later Credits: Resourceful ..."
Eisenberg, Richard A. ICFP '22: "Linearly Qualified Types: ..."
Emrich, Frank ICFP '22: "Constraint-Based Type Inference ..."
Eremondi, Joseph ICFP '22: "Propositional Equality for ..."
Escot, Lucas ICFP '22: "Practical Generic Programming ..."
Gäher, Lennard ICFP '22: "Later Credits: Resourceful ..."
Garcia, Ronald ICFP '22: "Propositional Equality for ..."
Gavazzo, Francesco ICFP '22: "On Feller Continuity and Full ..."
Guerrieri, Giulio ICFP '22: "The Theory of Call-by-Value ..."
Guo, Zheng ICFP '22: "Searching Entangled Program ..."
Ho, Son ICFP '22: "Aeneas: Rust Verification ..."
Hoang, Tram ICFP '22: "Random Testing of a Higher-Order ..."
Hutton, Graham ICFP '22: "Monadic Compiler Calculation ..."
Huyghebaert, Sander ICFP '22: "Verified Symbolic Execution ..."
Jacobs, Jules ICFP '22: "Multiparty GV: Functional ..."
Jung, Ralf ICFP '22: "Later Credits: Resourceful ..."
Katsumata, Shin-ya ICFP '22: "Flexible Presentations of ..."
Kearl, Jackson ICFP '22: "Automatically Deriving Control-Flow ..."
Keuchel, Steven ICFP '22: "Verified Symbolic Execution ..."
Kiss, Csongor ICFP '22: "Linearly Qualified Types: ..."
Ko, Hsiang-Shang ICFP '22: "Datatype-Generic Programming ..."
Koppel, James ICFP '22: "Automatically Deriving Control-Flow ..." ICFP '22: "Searching Entangled Program ..."
Kovács, András ICFP '22: "Staged Compilation with Two-Level ..."
Krebbers, Robbert ICFP '22: "Multiparty GV: Functional ..." ICFP '22: "Later Credits: Resourceful ..."
Krishnamurthi, Shriram ICFP '22: "Structural versus Pipeline ..."
Lampropoulos, Leonidas ICFP '22: "Random Testing of a Higher-Order ..."
Leijen, Daan ICFP '22: "Reference Counting with Frame ..."
Lennon-Bertrand, Meven ICFP '22: "A Reasonably Gradual Type ..."
Li, Yao ICFP '22: "Program Adverbs and Tlön ..."
Lin, Tzu-Chi ICFP '22: "Datatype-Generic Programming ..."
Lindley, Sam ICFP '22: "Constraint-Based Type Inference ..."
Lorenzen, Anton ICFP '22: "Reference Counting with Frame ..."
Lukyanov, Georgy ICFP '22: "Verified Symbolic Execution ..."
Maillard, Kenji ICFP '22: "A Reasonably Gradual Type ..."
Materzok, Marek ICFP '22: "Generating Circuits with Generators ..."
McDermott, Dylan ICFP '22: "Flexible Presentations of ..."
Nguyen, Minh ICFP '22: "Modular Probabilistic Models ..."
Ostermann, Klaus ICFP '22: "Introduction and Elimination, ..."
Perera, Roly ICFP '22: "Modular Probabilistic Models ..."
Polikarpova, Nadia ICFP '22: "Searching Entangled Program ..."
Protzenko, Jonathan ICFP '22: "Aeneas: Rust Verification ..."
Quiring, Benjamin ICFP '22: "Analyzing Binding Extent in ..."
Ramsey, Norman ICFP '22: "Beyond Relooper: Recursive ..."
Reppy, John ICFP '22: "Analyzing Binding Extent in ..."
Rivera, Elijah ICFP '22: "Structural versus Pipeline ..."
Rix, Rob ICFP '22: "Fusing Industry and Academia ..."
Ruch, Fabian ICFP '22: "Normalization for Fitch-Style ..."
Schrijvers, Tom ICFP '22: "Fusing Industry and Academia ..."
Sergey, Ilya ICFP '22: "Random Testing of a Higher-Order ..."
Shivers, Olin ICFP '22: "Analyzing Binding Extent in ..."
Skupin, Ingo ICFP '22: "Introduction and Elimination, ..."
Solar-Lezama, Armando ICFP '22: "Automatically Deriving Control-Flow ..." ICFP '22: "Searching Entangled Program ..."
Spies, Simon ICFP '22: "Later Credits: Resourceful ..."
Spiwack, Arnaud ICFP '22: "Linearly Qualified Types: ..."
Stolarek, Jan ICFP '22: "Constraint-Based Type Inference ..."
Süberkrüb, Tim ICFP '22: "Introduction and Elimination, ..."
Swierstra, Wouter ICFP '22: "A Completely Unique Account ..."
Tabareau, Nicolas ICFP '22: "A Reasonably Gradual Type ..."
Tanter, Éric ICFP '22: "A Reasonably Gradual Type ..." ICFP '22: "Propositional Equality for ..."
Tassarotti, Joseph ICFP '22: "Later Credits: Resourceful ..."
Thomson, Patrick ICFP '22: "Fusing Industry and Academia ..."
Tomé Cortiñas, Carlos ICFP '22: "Normalization for Fitch-Style ..."
Trunov, Anton ICFP '22: "Random Testing of a Higher-Order ..."
Ullrich, Sebastian ICFP '22: "‘do’ Unchained: Embracing ..."
Uustalu, Tarmo ICFP '22: "Flexible Presentations of ..."
Valliappan, Nachiappan ICFP '22: "Normalization for Fitch-Style ..."
Van der Rest, Cas ICFP '22: "A Completely Unique Account ..."
Vanoni, Gabriele ICFP '22: "Multi Types and Reasonable ..."
Vasilenko, Elizaveta ICFP '22: "Safe Couplings: Coupled Refinement ..."
Vazou, Niki ICFP '22: "Safe Couplings: Coupled Refinement ..."
Wang, Meng ICFP '22: "Modular Probabilistic Models ..."
Weirich, Stephanie ICFP '22: "Program Adverbs and Tlön ..."
Westrick, Sam ICFP '22: "Entanglement Detection with ..."
Wu, Nicolas ICFP '22: "Fusing Industry and Academia ..." ICFP '22: "Linearly Qualified Types: ..." ICFP '22: "Modular Probabilistic Models ..." ICFP '22: "Flexible Presentations of ..."
Yoon, Irene ICFP '22: "Formal Reasoning about Layered ..."
Zakowski, Yannick ICFP '22: "Formal Reasoning about Layered ..."
Zdancewic, Steve ICFP '22: "Formal Reasoning about Layered ..."

98 authors

proc time: 22.27