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

Proceedings of the ACM on Programming Languages, Volume 7, Number ICFP, September 4–9, 2023, Seattle, WA, USA

ICFP 2023 – Author Index

Contents - Abstracts - Authors

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

Abel, Andreas ICFP '23: "A Graded Modal Dependent Type ..."
Amin, Nada ICFP '23: "LURK: Lambda, the Ultimate ..."
Attard, Duncan Paul ICFP '23: "Special Delivery: Programming ..."
Augustsson, Lennart ICFP '23: "The Verse Calculus: A Core ..."
Bahr, Patrick ICFP '23: "Asynchronous Modal FRP ..." ICFP '23: "Calculating Compilers for ..."
Baudon, Thaïs ICFP '23: "Bit-Stealing Made Legal: Compilation ..."
Biernacki, Dariusz ICFP '23: "A General Fine-Grained Reduction ..."
Birkedal, Lars ICFP '23: "Verifying Reliable Network ..."
Bourgeat, Thomas ICFP '23: "Flexible Instruction-Set Semantics ..."
Brachthäuser, Jonathan Immanuel ICFP '23: "With or Without You: Programming ..."
Breitner, Joachim ICFP '23: "More Fixpoints! (Functional ..." ICFP '23: "The Verse Calculus: A Core ..."
Burnham, John ICFP '23: "LURK: Lambda, the Ultimate ..."
Castagna, Giuseppe ICFP '23: "Typing Records, Maps, and ..."
Chlipala, Adam ICFP '23: "Flexible Instruction-Set Semantics ..."
Claessen, Koen ICFP '23: "The Verse Calculus: A Core ..."
Clester, Ian ICFP '23: "Flexible Instruction-Set Semantics ..."
Danielsson, Nils Anders ICFP '23: "A Graded Modal Dependent Type ..."
Dimoulas, Christos ICFP '23: "How to Evaluate Blame for ..."
Dockins, Robert ICFP '23: "Trustworthy Runtime Verification ..."
Dodds, Mike ICFP '23: "Trustworthy Runtime Verification ..."
Elliott, Conal ICFP '23: "Timely Computation ..."
Erbsen, Andres ICFP '23: "Flexible Instruction-Set Semantics ..."
Erdweg, Sebastian ICFP '23: "Combinator-Based Fixpoint ..."
Eriksson, Oskar ICFP '23: "A Graded Modal Dependent Type ..."
Felleisen, Matthias ICFP '23: "How to Evaluate Blame for ..."
Fisler, Kathi ICFP '23: "What Happens When Students ..."
Fowler, Simon ICFP '23: "Special Delivery: Programming ..."
Frohlich, Samantha ICFP '23: "Embedding by Unembedding ..." ICFP '23: "Reflecting on Random Generation ..."
Fromherz, Aymeric ICFP '23: "Modularity, Code Specialization, ..."
Garillot, François ICFP '23: "LURK: Lambda, the Ultimate ..."
Gay, Simon J. ICFP '23: "Special Delivery: Programming ..."
Gennaro, Rosario ICFP '23: "LURK: Lambda, the Ultimate ..."
Ghaffari, Mohsen ICFP '23: "Formal Specification and Testing ..."
Ghalayini, Jad Elkhaleq ICFP '23: "Explicit Refinement Types ..."
Goldstein, Harrison ICFP '23: "Reflecting on Random Generation ..." ICFP '23: "Etna: An Evaluation Platform ..."
Gondelman, Léon ICFP '23: "Verifying Reliable Network ..."
Gonnord, Laure ICFP '23: "Bit-Stealing Made Legal: Compilation ..."
Goodloe, Alwyn E. ICFP '23: "Trustworthy Runtime Verification ..."
Greenman, Ben ICFP '23: "How to Evaluate Blame for ..."
Gruetter, Samuel ICFP '23: "Flexible Instruction-Set Semantics ..."
Hinrichsen, Jonas Kastberg ICFP '23: "Verifying Reliable Network ..." ICFP '23: "Dependent Session Protocols ..."
Ho, Son ICFP '23: "Modularity, Code Specialization, ..."
Hombücher, Tobias ICFP '23: "Combinator-Based Fixpoint ..."
Hubers, Alex ICFP '23: "Generic Programming with Extensible ..."
Hutton, Graham ICFP '23: "Calculating Compilers for ..."
Jacobs, Jules ICFP '23: "Dependent Session Protocols ..."
Jhala, Ranjit ICFP '23: "The Verse Calculus: A Core ..."
Johnsen, Einar Broch ICFP '23: "Formal Specification and Testing ..."
Kashiwa, Shun ICFP '23: "HasChor: Functional Choreographic ..."
Katsura, Hiroyuki ICFP '23: "Higher-Order Property-Directed ..."
Keidel, Sven ICFP '23: "Combinator-Based Fixpoint ..."
Keles, Alperen ICFP '23: "Etna: An Evaluation Platform ..."
Kobayashi, Naoki ICFP '23: "Higher-Order Property-Directed ..."
Krebbers, Robbert ICFP '23: "Dependent Session Protocols ..."
Krishnamurthi, Shriram ICFP '23: "What Happens When Students ..."
Krishnaswami, Neel ICFP '23: "Explicit Refinement Types ..."
Künzang, Chhi’mèd ICFP '23: "LURK: Lambda, the Ultimate ..."
Kuper, Lindsey ICFP '23: "HasChor: Functional Choreographic ..."
Lampropoulos, Leonidas ICFP '23: "Etna: An Evaluation Platform ..."
Lazarek, Lukas ICFP '23: "How to Evaluate Blame for ..."
Leijen, Daan ICFP '23: "FP²: Fully in-Place Functional ..."
Liu, Yiyun ICFP '23: "Dependently-Typed Programming ..."
Lorenzen, Anton ICFP '23: "FP²: Fully in-Place Functional ..."
Lu, Kuang-Chen ICFP '23: "What Happens When Students ..."
Lutze, Matthew ICFP '23: "With or Without You: Programming ..."
Madsen, Magnus ICFP '23: "With or Without You: Programming ..."
Matsuda, Kazutaka ICFP '23: "Embedding by Unembedding ..."
Møgelberg, Rasmus Ejlers ICFP '23: "Asynchronous Modal FRP ..."
Morris, J. Garrett ICFP '23: "Generic Programming with Extensible ..."
Nicole, Olivier ICFP '23: "MacoCaml: Staging Composable ..."
Pereira, Mário ICFP '23: "Verifying Reliable Network ..."
Perez, Ivan ICFP '23: "Trustworthy Runtime Verification ..."
Peyton Jones, Simon ICFP '23: "The Verse Calculus: A Core ..."
Pierce, Benjamin C. ICFP '23: "Reflecting on Random Generation ..." ICFP '23: "Etna: An Evaluation Platform ..."
Protzenko, Jonathan ICFP '23: "Modularity, Code Specialization, ..."
Pyzik, Mateusz ICFP '23: "A General Fine-Grained Reduction ..."
Radanne, Gabriel ICFP '23: "Bit-Stealing Made Legal: Compilation ..."
Rogozin, Daniel ICFP '23: "LURK: Lambda, the Ultimate ..."
Sato, Ryosuke ICFP '23: "Higher-Order Property-Directed ..."
Schuster, Philipp ICFP '23: "With or Without You: Programming ..."
Scott, Ryan G. ICFP '23: "Trustworthy Runtime Verification ..."
Shen, Gan ICFP '23: "HasChor: Functional Choreographic ..."
Shi, Jessica ICFP '23: "Etna: An Evaluation Platform ..."
Shivers, Olin ICFP '23: "The Verse Calculus: A Core ..."
Sieczkowski, Filip ICFP '23: "A General Fine-Grained Reduction ..."
Singh, Pratap ICFP '23: "Flexible Instruction-Set Semantics ..."
Sowul, Franciszek ICFP '23: "Special Delivery: Programming ..."
Steele Jr., Guy L. ICFP '23: "The Verse Calculus: A Core ..."
Sweeney, Tim ICFP '23: "The Verse Calculus: A Core ..."
Swierstra, Wouter ICFP '23: "FP²: Fully in-Place Functional ..."
Thiemann, Peter ICFP '23: "Intrinsically Typed Sessions ..."
Timany, Amin ICFP '23: "Verifying Reliable Network ..."
Trinder, Phil ICFP '23: "Special Delivery: Programming ..."
Tshukudu, Ethel ICFP '23: "What Happens When Students ..."
Varshosaz, Mahsa ICFP '23: "Formal Specification and Testing ..."
Wang, Meng ICFP '23: "Embedding by Unembedding ..." ICFP '23: "Reflecting on Random Generation ..."
Wąsowski, Andrzej ICFP '23: "Formal Specification and Testing ..."
Weirich, Stephanie ICFP '23: "Dependently-Typed Programming ..."
White, Leo ICFP '23: "MacoCaml: Staging Composable ..."
Wong, Cameron ICFP '23: "LURK: Lambda, the Ultimate ..."
Wright, Andy ICFP '23: "Flexible Instruction-Set Semantics ..."
Wu, Nicolas ICFP '23: "Embedding by Unembedding ..." ICFP '23: "Modular Models of Monoids ..."
Xie, Ningning ICFP '23: "MacoCaml: Staging Composable ..."
Yallop, Jeremy ICFP '23: "MacoCaml: Staging Composable ..."
Yang, Zhixuan ICFP '23: "Modular Models of Monoids ..."

105 authors

proc time: 23.36