ICFP 2026 – Author Index

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

	Abel, Andreas	Proc. ACM Program. Lang., vol. 10, issue ICFP: "On Recursion in Graded Modal ..." On Recursion in Graded Modal Type Theory Oskar Eriksson, Andreas Abel, and Nils Anders Danielsson (Department of Computer Science and Engineering, University of Gothenburg and Chalmers University of Technology, Gothenburg, Sweden) Article Search Article: icfp26main-p27-p doi:
	Ahman, Danel	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Misquoted No More: Securely ..." Misquoted No More: Securely Extracting F* Programs with IO Cezar-Constantin Andrici, Abigail Pribisova, Danel Ahman, Catalin Hritcu, Exequiel Rivas, and Théo Winterhalter (MPI-SP, Germany; MPI-SP and MPI-SWS, Germany; University of Tartu, Estonia; Tallinn University of Technology, Estonia; Inria Saclay, LMF, France) Article Search Article: icfp26main-p64-p doi:
	Allsopp, David	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Package Managers à la Carte ..." Package Managers à la Carte Ryan T. Gibb, Patrick Ferris, David Allsopp, Thomas Gazagnaire, and Anil Madhavapeddy (University of Cambridge, UK; Jane Street,; Tarides, France) Article Search Article: icfp26main-p94-p doi:
	Andrici, Cezar-Constantin	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Misquoted No More: Securely ..." Misquoted No More: Securely Extracting F* Programs with IO Cezar-Constantin Andrici, Abigail Pribisova, Danel Ahman, Catalin Hritcu, Exequiel Rivas, and Théo Winterhalter (MPI-SP, Germany; MPI-SP and MPI-SWS, Germany; University of Tartu, Estonia; Tallinn University of Technology, Estonia; Inria Saclay, LMF, France) Article Search Article: icfp26main-p64-p doi:
	Bahr, Patrick	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Safety First: How to Safely ..." Safety First: How to Safely Disregard Unsafe Behaviour in Compiler Calculations Patrick Bahr (IT University of Copenhagen, Denmark) Article Search Article: icfp26main-p43-p doi:
	Balabonski, Thibaut	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Inlining as a Space Optimization: ..." Inlining as a Space Optimization: A Simple Time- and Space-Invariant Implementation of the Weak Lambda-Calculus Thibaut Balabonski (LMF, Université Paris-Saclay, France) Article Search Article: icfp26main-p107-p doi:
	Bieniusa, Annette	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Set-Theoretic Types for Erlang ..." Set-Theoretic Types for Erlang in Practice Albert Schimpf and Annette Bieniusa (University of Kaiserslautern-Landau (RPTU), Germany) Article Search Article: icfp26main-p114-p doi:
	Borkowski, Michael H.	Proc. ACM Program. Lang., vol. 10, issue ICFP: "LoCalMem: Type-Directed Adaptive ..." LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory Michael Rainey, Michael H. Borkowski, Michael Vollmer, Chaitanya S. Koparkar, Mikah Kainen, and Vidush Singhal (Carnegie Mellon University, USA; Purdue University, USA; University of Kent, UK; MathWorks, USA) Article Search Article: icfp26main-p60-p doi:
	Bruni, Alessandro	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Compositional Neural-Cyber-Physical ..." Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice Matthew L. Daggitt, Ekaterina Komendantskaya, Alessandro Bruni, Samuel Teuber, Alistair Sirman, Grant Passmore, and Josh Smart (University of Western Australia, Australia; University of Southampton, UK; IT-University of Copenhagen, Denmark; Karlsruhe Institute of Technology, Germany; Imandra,) Article Search Article: icfp26main-p34-p doi:
	Cao, Qinxiang	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Assertions for Free: Transferring ..." Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl) Shushu Wu, Chengxi Yang, Xiwei Wu, and Qinxiang Cao (Shanghai Jiao Tong University, China) Article Search Article: icfp26main-p76-p doi:
	Catozi, Stefano	Proc. ACM Program. Lang., vol. 10, issue ICFP: "When Types Intersect and Effects ..." When Types Intersect and Effects Get Handled Stefano Catozi, Ugo Dal Lago, and Taro Sekiyama (LIPN, France; Bologna, Italy; National Institute of Informatics, Japan) Article Search Article: icfp26main-p111-p doi:
	Charguéraud, Arthur	Proc. ACM Program. Lang., vol. 10, issue ICFP: "A Catenable, Splittable, Transient ..." A Catenable, Splittable, Transient Sequence Data Structure Arthur Charguéraud and Francois Pottier (Inria, France) Article Search Article: icfp26main-p109-p doi:
	Chechik, Marsha	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Compositional Generator Equivalence ..." Compositional Generator Equivalence Anthony Vandikas, Kiarash Sotoudeh, and Marsha Chechik (University of Toronto, Canada) Article Search Article: icfp26main-p81-p doi:
	Claessen, Koen	Proc. ACM Program. Lang., vol. 10, issue ICFP: "QuickChecking Convergence ..." QuickChecking Convergence of Rewriting Systems (Functional Pearl) Koen Claessen (Chalmers University of Technology, Sweden) Article Search Article: icfp26main-p29-p doi:
	Craciun, Maria-Nicoleta	Proc. ACM Program. Lang., vol. 10, issue ICFP: "LazyHMC: Hamiltonian Monte ..." LazyHMC: Hamiltonian Monte Carlo Simulation for Lazy, Infinite Dimensional Probabilistic Programs Maria-Nicoleta Craciun, Luke Ong, Tom Schrijvers, and Sam Staton (University of Oxford, UK; Nanyang Technological University, Singapore; KU Leuven, Belgium) Article Search Article: icfp26main-p82-p doi:
	Daggitt, Matthew L.	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Compositional Neural-Cyber-Physical ..." Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice Matthew L. Daggitt, Ekaterina Komendantskaya, Alessandro Bruni, Samuel Teuber, Alistair Sirman, Grant Passmore, and Josh Smart (University of Western Australia, Australia; University of Southampton, UK; IT-University of Copenhagen, Denmark; Karlsruhe Institute of Technology, Germany; Imandra,) Article Search Article: icfp26main-p34-p doi:
	Dal Lago, Ugo	Proc. ACM Program. Lang., vol. 10, issue ICFP: "When Types Intersect and Effects ..." When Types Intersect and Effects Get Handled Stefano Catozi, Ugo Dal Lago, and Taro Sekiyama (LIPN, France; Bologna, Italy; National Institute of Informatics, Japan) Article Search Article: icfp26main-p111-p doi:
	Danielsson, Nils Anders	Proc. ACM Program. Lang., vol. 10, issue ICFP: "On Recursion in Graded Modal ..." On Recursion in Graded Modal Type Theory Oskar Eriksson, Andreas Abel, and Nils Anders Danielsson (Department of Computer Science and Engineering, University of Gothenburg and Chalmers University of Technology, Gothenburg, Sweden) Article Search Article: icfp26main-p27-p doi:
	Dreyer, Derek	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Mode Crossing ..." Mode Crossing Benjamin Peters, Jules Jacobs, Diana Kalinichenko, Liam Stevenson, Aspen Smith, Derek Dreyer, and Richard A. Eisenberg (MPI-SWS, Germany; Jane Street, USA; Jane Street,) Article Search Article: icfp26main-p36-p doi:
	Ebner, Gabriel	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Proofs Promptly: An Experience ..." Proofs Promptly: An Experience Report on Proof-Oriented Programming with AI Agents Eleftherios Ioannidis, Nikhil Swamy, Gabriel Ebner, Matthai Philipose, and Tahina Ramananandro (Microsoft Research, USA) Article Search Article: icfp26main-p118-p doi:
	Eisenberg, Richard A.	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Mode Crossing ..." Mode Crossing Benjamin Peters, Jules Jacobs, Diana Kalinichenko, Liam Stevenson, Aspen Smith, Derek Dreyer, and Richard A. Eisenberg (MPI-SWS, Germany; Jane Street, USA; Jane Street,) Article Search Article: icfp26main-p36-p doi:
	Eriksson, Oskar	Proc. ACM Program. Lang., vol. 10, issue ICFP: "On Recursion in Graded Modal ..." On Recursion in Graded Modal Type Theory Oskar Eriksson, Andreas Abel, and Nils Anders Danielsson (Department of Computer Science and Engineering, University of Gothenburg and Chalmers University of Technology, Gothenburg, Sweden) Article Search Article: icfp26main-p27-p doi:
	Felicissimo, Thiago	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Confluence Techniques for ..." Confluence Techniques for Dependent Type Theory with Typed Conversion Thiago Felicissimo and Théo Winterhalter (Inria Rennes, France; Inria Saclay, LMF, France) Article Search Article: icfp26main-p71-p doi:
	Ferrari, Florent	Proc. ACM Program. Lang., vol. 10, issue ICFP: "An Exploration of First-Class ..." An Exploration of First-Class Constrained Types: Semantics, Soundness, Principal Type Inference, and a Characterization of Termination Lionel Parreaux, Chun Kit Lam, and Florent Ferrari (HKUST (The Hong Kong University of Science and Technology), Hong Kong; HKUST (The Hong Kong University of Science and Technology), China; ENS de Lyon, France) Article Search Article: icfp26main-p97-p doi:
	Ferris, Patrick	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Package Managers à la Carte ..." Package Managers à la Carte Ryan T. Gibb, Patrick Ferris, David Allsopp, Thomas Gazagnaire, and Anil Madhavapeddy (University of Cambridge, UK; Jane Street,; Tarides, France) Article Search Article: icfp26main-p94-p doi:
	Findler, Robert Bruce	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Animated Pictures for Slide ..." Animated Pictures for Slide Presentations (Functional Pearl): From the Shallows to the Depths of a Domain-Specific Language Oliver Flatt, Robert Bruce Findler, and Matthew Flatt (University of Washington, USA; Northwestern University, USA; University of Utah, USA) Article Search Article: icfp26main-p73-p doi:
	Flatt, Matthew	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Animated Pictures for Slide ..." Animated Pictures for Slide Presentations (Functional Pearl): From the Shallows to the Depths of a Domain-Specific Language Oliver Flatt, Robert Bruce Findler, and Matthew Flatt (University of Washington, USA; Northwestern University, USA; University of Utah, USA) Article Search Article: icfp26main-p73-p doi:
	Flatt, Oliver	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Animated Pictures for Slide ..." Animated Pictures for Slide Presentations (Functional Pearl): From the Shallows to the Depths of a Domain-Specific Language Oliver Flatt, Robert Bruce Findler, and Matthew Flatt (University of Washington, USA; Northwestern University, USA; University of Utah, USA) Article Search Article: icfp26main-p73-p doi:
	Frank, Justine	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Programmable Property-Based ..." Programmable Property-Based Testing Alperen Keles, Justine Frank, Ceren Mert, Harrison Goldstein, and Leonidas Lampropoulos (University of Maryland, College Park, USA; University at Buffalo, SUNY, USA) Article Search Article: icfp26main-p56-p doi:
	Freire, Gustavo de Mendonça	Proc. ACM Program. Lang., vol. 10, issue ICFP: "An Equational and Graphical ..." An Equational and Graphical Fixed-Point Calculus (Functional Pearl) Gustavo de Mendonça Freire, Hugo Musso Gualandi, Hugo Nobrega, and Joao Paixao (Universidade Federal do Rio de Janeiro, Brazil) Article Search Article: icfp26main-p12-p doi:
	Gazagnaire, Thomas	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Package Managers à la Carte ..." Package Managers à la Carte Ryan T. Gibb, Patrick Ferris, David Allsopp, Thomas Gazagnaire, and Anil Madhavapeddy (University of Cambridge, UK; Jane Street,; Tarides, France) Article Search Article: icfp26main-p94-p doi:
	Ge, Yuhao	Proc. ACM Program. Lang., vol. 10, issue ICFP: "RunbookFX: Type- and Effect-Safe ..." RunbookFX: Type- and Effect-Safe LLM Synthesis for Executable Incident Diagnosis and Mitigation Yifan Xiao, Shijie Li, and Yuhao Ge (Peking University, China; China Southern Power Grid, China) Article Search Article: icfp26main-p21-p doi:
	Germane, Kimball	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Demand-on-Demand Control-Flow ..." Demand-on-Demand Control-Flow Analysis Chahyun Kang and Kimball Germane (Brigham Young University, USA) Article Search Article: icfp26main-p59-p doi: Proc. ACM Program. Lang., vol. 10, issue ICFP: "HMCFA: A Precise and Practical ..." HMCFA: A Precise and Practical Big-Step Control Flow Analysis for Effect Handlers Tim Whiting and Kimball Germane (Brigham Young University, USA) Article Search Article: icfp26main-p102-p doi:
	Gibb, Ryan T.	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Package Managers à la Carte ..." Package Managers à la Carte Ryan T. Gibb, Patrick Ferris, David Allsopp, Thomas Gazagnaire, and Anil Madhavapeddy (University of Cambridge, UK; Jane Street,; Tarides, France) Article Search Article: icfp26main-p94-p doi:
	Goldstein, Harrison	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Programmable Property-Based ..." Programmable Property-Based Testing Alperen Keles, Justine Frank, Ceren Mert, Harrison Goldstein, and Leonidas Lampropoulos (University of Maryland, College Park, USA; University at Buffalo, SUNY, USA) Article Search Article: icfp26main-p56-p doi:
	Goncharov, Sergey	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Towards a Higher-Order Bialgebraic ..." Towards a Higher-Order Bialgebraic Denotational Semantics Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat, and Stefano Volpe (University of Birmingham, UK; University of Southern Denmark, Denmark; University of Erlangen-Nuremberg, Germany) Article Search Article: icfp26main-p75-p doi:
	Gregersen, Simon Oddershede	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Completeness of Iris-Based ..." Completeness of Iris-Based Program Logics Johannes Hostert, Zichen Zhang, Puming Liu, Simon Oddershede Gregersen, Ralf Jung, and Joseph Tassarotti (ETH Zurich, Switzerland; New York University, USA; NYU Shanghai, China; CISPA Helmholtz Center for Information Security, Germany) Article Search Article: icfp26main-p39-p doi:
	Gualandi, Hugo Musso	Proc. ACM Program. Lang., vol. 10, issue ICFP: "An Equational and Graphical ..." An Equational and Graphical Fixed-Point Calculus (Functional Pearl) Gustavo de Mendonça Freire, Hugo Musso Gualandi, Hugo Nobrega, and Joao Paixao (Universidade Federal do Rio de Janeiro, Brazil) Article Search Article: icfp26main-p12-p doi:
	Hardekopf, Ben	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Citrus: Algebraic Reasoning ..." Citrus: Algebraic Reasoning about Superconductor Electronics Harlan Kringen, Ben Hardekopf, and Timothy Sherwood (University of California at Santa Barbara, USA) Article Search Article: icfp26main-p68-p doi:
	Henrio, Ludovic	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Tail Modulo Async-Await ..." Tail Modulo Async-Await Emma Nardino, Ludovic Henrio, Gabriel Radanne, and Yannick Zakowski (ENS de Lyon, France; CNRS, France; Inria Lyon, France; Inria Paris, France) Article Search Article: icfp26main-p52-p doi:
	Hirai, Kenshin	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Programming Backpropagation ..." Programming Backpropagation with Reverse Handlers for Arrows Takahiro Sanada, Keisuke Hoshino, Kenshin Hirai, and Shin-ya Katsumata (Fukui Prefectural University, Japan; Research Institute for Mathematical Sciences, Kyoto University, Japan; Kyoto Sangyo University, Japan) Article Search Article: icfp26main-p104-p doi:
	Hoshino, Keisuke	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Programming Backpropagation ..." Programming Backpropagation with Reverse Handlers for Arrows Takahiro Sanada, Keisuke Hoshino, Kenshin Hirai, and Shin-ya Katsumata (Fukui Prefectural University, Japan; Research Institute for Mathematical Sciences, Kyoto University, Japan; Kyoto Sangyo University, Japan) Article Search Article: icfp26main-p104-p doi:
	Hostert, Johannes	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Completeness of Iris-Based ..." Completeness of Iris-Based Program Logics Johannes Hostert, Zichen Zhang, Puming Liu, Simon Oddershede Gregersen, Ralf Jung, and Joseph Tassarotti (ETH Zurich, Switzerland; New York University, USA; NYU Shanghai, China; CISPA Helmholtz Center for Information Security, Germany) Article Search Article: icfp26main-p39-p doi:
	Hritcu, Catalin	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Misquoted No More: Securely ..." Misquoted No More: Securely Extracting F* Programs with IO Cezar-Constantin Andrici, Abigail Pribisova, Danel Ahman, Catalin Hritcu, Exequiel Rivas, and Théo Winterhalter (MPI-SP, Germany; MPI-SP and MPI-SWS, Germany; University of Tartu, Estonia; Tallinn University of Technology, Estonia; Inria Saclay, LMF, France) Article Search Article: icfp26main-p64-p doi:
	Ikebuchi, Mirai	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Adequacy for Predicate Transformer ..." Adequacy for Predicate Transformer Semantics Kazuki Watanabe, Mirai Ikebuchi, and Mayuko Kori (National Institute of Informatics, Japan; Kyoto University, Japan; Research Institute for Mathematical Sciences, Kyoto University, Japan) Article Search Article: icfp26main-p18-p doi:
	Ioannidis, Eleftherios	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Proofs Promptly: An Experience ..." Proofs Promptly: An Experience Report on Proof-Oriented Programming with AI Agents Eleftherios Ioannidis, Nikhil Swamy, Gabriel Ebner, Matthai Philipose, and Tahina Ramananandro (Microsoft Research, USA) Article Search Article: icfp26main-p118-p doi:
	Jacobs, Jules	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Mode Crossing ..." Mode Crossing Benjamin Peters, Jules Jacobs, Diana Kalinichenko, Liam Stevenson, Aspen Smith, Derek Dreyer, and Richard A. Eisenberg (MPI-SWS, Germany; Jane Street, USA; Jane Street,) Article Search Article: icfp26main-p36-p doi:
	Jung, Ralf	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Completeness of Iris-Based ..." Completeness of Iris-Based Program Logics Johannes Hostert, Zichen Zhang, Puming Liu, Simon Oddershede Gregersen, Ralf Jung, and Joseph Tassarotti (ETH Zurich, Switzerland; New York University, USA; NYU Shanghai, China; CISPA Helmholtz Center for Information Security, Germany) Article Search Article: icfp26main-p39-p doi:
	Kainen, Mikah	Proc. ACM Program. Lang., vol. 10, issue ICFP: "LoCalMem: Type-Directed Adaptive ..." LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory Michael Rainey, Michael H. Borkowski, Michael Vollmer, Chaitanya S. Koparkar, Mikah Kainen, and Vidush Singhal (Carnegie Mellon University, USA; Purdue University, USA; University of Kent, UK; MathWorks, USA) Article Search Article: icfp26main-p60-p doi:
	Kalinichenko, Diana	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Mode Crossing ..." Mode Crossing Benjamin Peters, Jules Jacobs, Diana Kalinichenko, Liam Stevenson, Aspen Smith, Derek Dreyer, and Richard A. Eisenberg (MPI-SWS, Germany; Jane Street, USA; Jane Street,) Article Search Article: icfp26main-p36-p doi:
	Kang, Chahyun	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Demand-on-Demand Control-Flow ..." Demand-on-Demand Control-Flow Analysis Chahyun Kang and Kimball Germane (Brigham Young University, USA) Article Search Article: icfp26main-p59-p doi:
	Katsumata, Shin-ya	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Programming Backpropagation ..." Programming Backpropagation with Reverse Handlers for Arrows Takahiro Sanada, Keisuke Hoshino, Kenshin Hirai, and Shin-ya Katsumata (Fukui Prefectural University, Japan; Research Institute for Mathematical Sciences, Kyoto University, Japan; Kyoto Sangyo University, Japan) Article Search Article: icfp26main-p104-p doi:
	Kavvos, G. A.	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Bimodels and Biorthogonality ..." Bimodels and Biorthogonality for Abstract Machines April Tune and G. A. Kavvos (University of Bristol, UK) Article Search Article: icfp26main-p57-p doi:
	Keles, Alperen	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Programmable Property-Based ..." Programmable Property-Based Testing Alperen Keles, Justine Frank, Ceren Mert, Harrison Goldstein, and Leonidas Lampropoulos (University of Maryland, College Park, USA; University at Buffalo, SUNY, USA) Article Search Article: icfp26main-p56-p doi:
	Komendantskaya, Ekaterina	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Compositional Neural-Cyber-Physical ..." Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice Matthew L. Daggitt, Ekaterina Komendantskaya, Alessandro Bruni, Samuel Teuber, Alistair Sirman, Grant Passmore, and Josh Smart (University of Western Australia, Australia; University of Southampton, UK; IT-University of Copenhagen, Denmark; Karlsruhe Institute of Technology, Germany; Imandra,) Article Search Article: icfp26main-p34-p doi:
	Koparkar, Chaitanya S.	Proc. ACM Program. Lang., vol. 10, issue ICFP: "LoCalMem: Type-Directed Adaptive ..." LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory Michael Rainey, Michael H. Borkowski, Michael Vollmer, Chaitanya S. Koparkar, Mikah Kainen, and Vidush Singhal (Carnegie Mellon University, USA; Purdue University, USA; University of Kent, UK; MathWorks, USA) Article Search Article: icfp26main-p60-p doi:
	Kori, Mayuko	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Adequacy for Predicate Transformer ..." Adequacy for Predicate Transformer Semantics Kazuki Watanabe, Mirai Ikebuchi, and Mayuko Kori (National Institute of Informatics, Japan; Kyoto University, Japan; Research Institute for Mathematical Sciences, Kyoto University, Japan) Article Search Article: icfp26main-p18-p doi:
	Kringen, Harlan	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Citrus: Algebraic Reasoning ..." Citrus: Algebraic Reasoning about Superconductor Electronics Harlan Kringen, Ben Hardekopf, and Timothy Sherwood (University of California at Santa Barbara, USA) Article Search Article: icfp26main-p68-p doi:
	Lam, Chun Kit	Proc. ACM Program. Lang., vol. 10, issue ICFP: "An Exploration of First-Class ..." An Exploration of First-Class Constrained Types: Semantics, Soundness, Principal Type Inference, and a Characterization of Termination Lionel Parreaux, Chun Kit Lam, and Florent Ferrari (HKUST (The Hong Kong University of Science and Technology), Hong Kong; HKUST (The Hong Kong University of Science and Technology), China; ENS de Lyon, France) Article Search Article: icfp26main-p97-p doi:
	Lampropoulos, Leonidas	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Programmable Property-Based ..." Programmable Property-Based Testing Alperen Keles, Justine Frank, Ceren Mert, Harrison Goldstein, and Leonidas Lampropoulos (University of Maryland, College Park, USA; University at Buffalo, SUNY, USA) Article Search Article: icfp26main-p56-p doi:
	Li, Shijie	Proc. ACM Program. Lang., vol. 10, issue ICFP: "RunbookFX: Type- and Effect-Safe ..." RunbookFX: Type- and Effect-Safe LLM Synthesis for Executable Incident Diagnosis and Mitigation Yifan Xiao, Shijie Li, and Yuhao Ge (Peking University, China; China Southern Power Grid, China) Article Search Article: icfp26main-p21-p doi:
	Liell-Cock, Jack	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Imprecise Probabilistic Programming, ..." Imprecise Probabilistic Programming, Precisely (Functional Pearl): Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference Jack Liell-Cock and Sam Staton (University of Oxford, UK) Article Search Article: icfp26main-p87-p doi:
	Liepelt, Vilem-Benjamin	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Same Coeffect, Different Base: ..." Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types Vilem-Benjamin Liepelt, Danielle Marshall, and Dominic A. Orchard (University of Kent, UK; University of Glasgow, UK; University of Cambridge and University of Kent, UK) Article Search Article: icfp26main-p85-p doi:
	Liu, Puming	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Completeness of Iris-Based ..." Completeness of Iris-Based Program Logics Johannes Hostert, Zichen Zhang, Puming Liu, Simon Oddershede Gregersen, Ralf Jung, and Joseph Tassarotti (ETH Zurich, Switzerland; New York University, USA; NYU Shanghai, China; CISPA Helmholtz Center for Information Security, Germany) Article Search Article: icfp26main-p39-p doi:
	Madhavapeddy, Anil	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Package Managers à la Carte ..." Package Managers à la Carte Ryan T. Gibb, Patrick Ferris, David Allsopp, Thomas Gazagnaire, and Anil Madhavapeddy (University of Cambridge, UK; Jane Street,; Tarides, France) Article Search Article: icfp26main-p94-p doi:
	Marshall, Danielle	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Same Coeffect, Different Base: ..." Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types Vilem-Benjamin Liepelt, Danielle Marshall, and Dominic A. Orchard (University of Kent, UK; University of Glasgow, UK; University of Cambridge and University of Kent, UK) Article Search Article: icfp26main-p85-p doi:
	Mert, Ceren	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Programmable Property-Based ..." Programmable Property-Based Testing Alperen Keles, Justine Frank, Ceren Mert, Harrison Goldstein, and Leonidas Lampropoulos (University of Maryland, College Park, USA; University at Buffalo, SUNY, USA) Article Search Article: icfp26main-p56-p doi:
	Moine, Alexandre	Proc. ACM Program. Lang., vol. 10, issue ICFP: "A Separation Logic for Parallel ..." A Separation Logic for Parallel Time Complexity with Work and Span Credits Alexandre Moine, Sam Westrick, and Joseph Tassarotti (New York University, USA) Article Search Article: icfp26main-p30-p doi:
	Morris, J. Garrett	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Another Type Inference Algorithm ..." Another Type Inference Algorithm for First-Class Implicit Polymorphism J. Garrett Morris (University of Iowa, USA) Article Search Article: icfp26main-p99-p doi:
	Nakano, Keisuke	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Unscanning by Möbius Inversion ..." Unscanning by Möbius Inversion (Functional Pearl) Keisuke Nakano (Tohoku University, Japan) Article Search Article: icfp26main-p120-p doi:
	Nardino, Emma	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Tail Modulo Async-Await ..." Tail Modulo Async-Await Emma Nardino, Ludovic Henrio, Gabriel Radanne, and Yannick Zakowski (ENS de Lyon, France; CNRS, France; Inria Lyon, France; Inria Paris, France) Article Search Article: icfp26main-p52-p doi:
	Nobrega, Hugo	Proc. ACM Program. Lang., vol. 10, issue ICFP: "An Equational and Graphical ..." An Equational and Graphical Fixed-Point Calculus (Functional Pearl) Gustavo de Mendonça Freire, Hugo Musso Gualandi, Hugo Nobrega, and Joao Paixao (Universidade Federal do Rio de Janeiro, Brazil) Article Search Article: icfp26main-p12-p doi:
	Ong, Luke	Proc. ACM Program. Lang., vol. 10, issue ICFP: "LazyHMC: Hamiltonian Monte ..." LazyHMC: Hamiltonian Monte Carlo Simulation for Lazy, Infinite Dimensional Probabilistic Programs Maria-Nicoleta Craciun, Luke Ong, Tom Schrijvers, and Sam Staton (University of Oxford, UK; Nanyang Technological University, Singapore; KU Leuven, Belgium) Article Search Article: icfp26main-p82-p doi:
	Orchard, Dominic A.	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Same Coeffect, Different Base: ..." Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types Vilem-Benjamin Liepelt, Danielle Marshall, and Dominic A. Orchard (University of Kent, UK; University of Glasgow, UK; University of Cambridge and University of Kent, UK) Article Search Article: icfp26main-p85-p doi:
	Paixao, Joao	Proc. ACM Program. Lang., vol. 10, issue ICFP: "An Equational and Graphical ..." An Equational and Graphical Fixed-Point Calculus (Functional Pearl) Gustavo de Mendonça Freire, Hugo Musso Gualandi, Hugo Nobrega, and Joao Paixao (Universidade Federal do Rio de Janeiro, Brazil) Article Search Article: icfp26main-p12-p doi:
	Paraskevopoulou, Zoe	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Machine-Generated, Machine-Checked ..." Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report) Zoe Paraskevopoulou (National Technical University of Athens, Greece) Article Search Article: icfp26main-p95-p doi:
	Parreaux, Lionel	Proc. ACM Program. Lang., vol. 10, issue ICFP: "An Exploration of First-Class ..." An Exploration of First-Class Constrained Types: Semantics, Soundness, Principal Type Inference, and a Characterization of Termination Lionel Parreaux, Chun Kit Lam, and Florent Ferrari (HKUST (The Hong Kong University of Science and Technology), Hong Kong; HKUST (The Hong Kong University of Science and Technology), China; ENS de Lyon, France) Article Search Article: icfp26main-p97-p doi:
	Passmore, Grant	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Compositional Neural-Cyber-Physical ..." Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice Matthew L. Daggitt, Ekaterina Komendantskaya, Alessandro Bruni, Samuel Teuber, Alistair Sirman, Grant Passmore, and Josh Smart (University of Western Australia, Australia; University of Southampton, UK; IT-University of Copenhagen, Denmark; Karlsruhe Institute of Technology, Germany; Imandra,) Article Search Article: icfp26main-p34-p doi:
	Peressotti, Marco	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Towards a Higher-Order Bialgebraic ..." Towards a Higher-Order Bialgebraic Denotational Semantics Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat, and Stefano Volpe (University of Birmingham, UK; University of Southern Denmark, Denmark; University of Erlangen-Nuremberg, Germany) Article Search Article: icfp26main-p75-p doi:
	Peters, Benjamin	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Mode Crossing ..." Mode Crossing Benjamin Peters, Jules Jacobs, Diana Kalinichenko, Liam Stevenson, Aspen Smith, Derek Dreyer, and Richard A. Eisenberg (MPI-SWS, Germany; Jane Street, USA; Jane Street,) Article Search Article: icfp26main-p36-p doi:
	Philipose, Matthai	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Proofs Promptly: An Experience ..." Proofs Promptly: An Experience Report on Proof-Oriented Programming with AI Agents Eleftherios Ioannidis, Nikhil Swamy, Gabriel Ebner, Matthai Philipose, and Tahina Ramananandro (Microsoft Research, USA) Article Search Article: icfp26main-p118-p doi:
	Pottier, Francois	Proc. ACM Program. Lang., vol. 10, issue ICFP: "A Catenable, Splittable, Transient ..." A Catenable, Splittable, Transient Sequence Data Structure Arthur Charguéraud and Francois Pottier (Inria, France) Article Search Article: icfp26main-p109-p doi:
	Pribisova, Abigail	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Misquoted No More: Securely ..." Misquoted No More: Securely Extracting F* Programs with IO Cezar-Constantin Andrici, Abigail Pribisova, Danel Ahman, Catalin Hritcu, Exequiel Rivas, and Théo Winterhalter (MPI-SP, Germany; MPI-SP and MPI-SWS, Germany; University of Tartu, Estonia; Tallinn University of Technology, Estonia; Inria Saclay, LMF, France) Article Search Article: icfp26main-p64-p doi:
	Radanne, Gabriel	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Tail Modulo Async-Await ..." Tail Modulo Async-Await Emma Nardino, Ludovic Henrio, Gabriel Radanne, and Yannick Zakowski (ENS de Lyon, France; CNRS, France; Inria Lyon, France; Inria Paris, France) Article Search Article: icfp26main-p52-p doi:
	Rainey, Michael	Proc. ACM Program. Lang., vol. 10, issue ICFP: "LoCalMem: Type-Directed Adaptive ..." LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory Michael Rainey, Michael H. Borkowski, Michael Vollmer, Chaitanya S. Koparkar, Mikah Kainen, and Vidush Singhal (Carnegie Mellon University, USA; Purdue University, USA; University of Kent, UK; MathWorks, USA) Article Search Article: icfp26main-p60-p doi:
	Ramananandro, Tahina	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Proofs Promptly: An Experience ..." Proofs Promptly: An Experience Report on Proof-Oriented Programming with AI Agents Eleftherios Ioannidis, Nikhil Swamy, Gabriel Ebner, Matthai Philipose, and Tahina Ramananandro (Microsoft Research, USA) Article Search Article: icfp26main-p118-p doi:
	Rivas, Exequiel	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Misquoted No More: Securely ..." Misquoted No More: Securely Extracting F* Programs with IO Cezar-Constantin Andrici, Abigail Pribisova, Danel Ahman, Catalin Hritcu, Exequiel Rivas, and Théo Winterhalter (MPI-SP, Germany; MPI-SP and MPI-SWS, Germany; University of Tartu, Estonia; Tallinn University of Technology, Estonia; Inria Saclay, LMF, France) Article Search Article: icfp26main-p64-p doi:
	Sanada, Takahiro	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Programming Backpropagation ..." Programming Backpropagation with Reverse Handlers for Arrows Takahiro Sanada, Keisuke Hoshino, Kenshin Hirai, and Shin-ya Katsumata (Fukui Prefectural University, Japan; Research Institute for Mathematical Sciences, Kyoto University, Japan; Kyoto Sangyo University, Japan) Article Search Article: icfp26main-p104-p doi:
	Schimpf, Albert	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Set-Theoretic Types for Erlang ..." Set-Theoretic Types for Erlang in Practice Albert Schimpf and Annette Bieniusa (University of Kaiserslautern-Landau (RPTU), Germany) Article Search Article: icfp26main-p114-p doi:
	Schrijvers, Tom	Proc. ACM Program. Lang., vol. 10, issue ICFP: "LazyHMC: Hamiltonian Monte ..." LazyHMC: Hamiltonian Monte Carlo Simulation for Lazy, Infinite Dimensional Probabilistic Programs Maria-Nicoleta Craciun, Luke Ong, Tom Schrijvers, and Sam Staton (University of Oxford, UK; Nanyang Technological University, Singapore; KU Leuven, Belgium) Article Search Article: icfp26main-p82-p doi:
	Sekiyama, Taro	Proc. ACM Program. Lang., vol. 10, issue ICFP: "When Types Intersect and Effects ..." When Types Intersect and Effects Get Handled Stefano Catozi, Ugo Dal Lago, and Taro Sekiyama (LIPN, France; Bologna, Italy; National Institute of Informatics, Japan) Article Search Article: icfp26main-p111-p doi:
	Sherwood, Timothy	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Citrus: Algebraic Reasoning ..." Citrus: Algebraic Reasoning about Superconductor Electronics Harlan Kringen, Ben Hardekopf, and Timothy Sherwood (University of California at Santa Barbara, USA) Article Search Article: icfp26main-p68-p doi:
	Singhal, Vidush	Proc. ACM Program. Lang., vol. 10, issue ICFP: "LoCalMem: Type-Directed Adaptive ..." LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory Michael Rainey, Michael H. Borkowski, Michael Vollmer, Chaitanya S. Koparkar, Mikah Kainen, and Vidush Singhal (Carnegie Mellon University, USA; Purdue University, USA; University of Kent, UK; MathWorks, USA) Article Search Article: icfp26main-p60-p doi:
	Sirman, Alistair	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Compositional Neural-Cyber-Physical ..." Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice Matthew L. Daggitt, Ekaterina Komendantskaya, Alessandro Bruni, Samuel Teuber, Alistair Sirman, Grant Passmore, and Josh Smart (University of Western Australia, Australia; University of Southampton, UK; IT-University of Copenhagen, Denmark; Karlsruhe Institute of Technology, Germany; Imandra,) Article Search Article: icfp26main-p34-p doi:
	Smart, Josh	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Compositional Neural-Cyber-Physical ..." Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice Matthew L. Daggitt, Ekaterina Komendantskaya, Alessandro Bruni, Samuel Teuber, Alistair Sirman, Grant Passmore, and Josh Smart (University of Western Australia, Australia; University of Southampton, UK; IT-University of Copenhagen, Denmark; Karlsruhe Institute of Technology, Germany; Imandra,) Article Search Article: icfp26main-p34-p doi:
	Smith, Aspen	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Mode Crossing ..." Mode Crossing Benjamin Peters, Jules Jacobs, Diana Kalinichenko, Liam Stevenson, Aspen Smith, Derek Dreyer, and Richard A. Eisenberg (MPI-SWS, Germany; Jane Street, USA; Jane Street,) Article Search Article: icfp26main-p36-p doi:
	Sotoudeh, Kiarash	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Compositional Generator Equivalence ..." Compositional Generator Equivalence Anthony Vandikas, Kiarash Sotoudeh, and Marsha Chechik (University of Toronto, Canada) Article Search Article: icfp26main-p81-p doi:
	Staton, Sam	Proc. ACM Program. Lang., vol. 10, issue ICFP: "LazyHMC: Hamiltonian Monte ..." LazyHMC: Hamiltonian Monte Carlo Simulation for Lazy, Infinite Dimensional Probabilistic Programs Maria-Nicoleta Craciun, Luke Ong, Tom Schrijvers, and Sam Staton (University of Oxford, UK; Nanyang Technological University, Singapore; KU Leuven, Belgium) Article Search Article: icfp26main-p82-p doi: Proc. ACM Program. Lang., vol. 10, issue ICFP: "Imprecise Probabilistic Programming, ..." Imprecise Probabilistic Programming, Precisely (Functional Pearl): Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference Jack Liell-Cock and Sam Staton (University of Oxford, UK) Article Search Article: icfp26main-p87-p doi:
	Stevenson, Liam	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Mode Crossing ..." Mode Crossing Benjamin Peters, Jules Jacobs, Diana Kalinichenko, Liam Stevenson, Aspen Smith, Derek Dreyer, and Richard A. Eisenberg (MPI-SWS, Germany; Jane Street, USA; Jane Street,) Article Search Article: icfp26main-p36-p doi:
	Swamy, Nikhil	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Proofs Promptly: An Experience ..." Proofs Promptly: An Experience Report on Proof-Oriented Programming with AI Agents Eleftherios Ioannidis, Nikhil Swamy, Gabriel Ebner, Matthai Philipose, and Tahina Ramananandro (Microsoft Research, USA) Article Search Article: icfp26main-p118-p doi:
	Tan, Jun	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Let It Be Optimized: Building ..." Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl) Guannan Wei, Jun Tan, and Dinghong Zhong (Tufts University, USA; Independent, China) Article Search Article: icfp26main-p23-p doi:
	Tassarotti, Joseph	Proc. ACM Program. Lang., vol. 10, issue ICFP: "A Separation Logic for Parallel ..." A Separation Logic for Parallel Time Complexity with Work and Span Credits Alexandre Moine, Sam Westrick, and Joseph Tassarotti (New York University, USA) Article Search Article: icfp26main-p30-p doi: Proc. ACM Program. Lang., vol. 10, issue ICFP: "Completeness of Iris-Based ..." Completeness of Iris-Based Program Logics Johannes Hostert, Zichen Zhang, Puming Liu, Simon Oddershede Gregersen, Ralf Jung, and Joseph Tassarotti (ETH Zurich, Switzerland; New York University, USA; NYU Shanghai, China; CISPA Helmholtz Center for Information Security, Germany) Article Search Article: icfp26main-p39-p doi:
	Teuber, Samuel	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Compositional Neural-Cyber-Physical ..." Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice Matthew L. Daggitt, Ekaterina Komendantskaya, Alessandro Bruni, Samuel Teuber, Alistair Sirman, Grant Passmore, and Josh Smart (University of Western Australia, Australia; University of Southampton, UK; IT-University of Copenhagen, Denmark; Karlsruhe Institute of Technology, Germany; Imandra,) Article Search Article: icfp26main-p34-p doi:
	Tsampas, Stelios	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Towards a Higher-Order Bialgebraic ..." Towards a Higher-Order Bialgebraic Denotational Semantics Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat, and Stefano Volpe (University of Birmingham, UK; University of Southern Denmark, Denmark; University of Erlangen-Nuremberg, Germany) Article Search Article: icfp26main-p75-p doi:
	Tune, April	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Bimodels and Biorthogonality ..." Bimodels and Biorthogonality for Abstract Machines April Tune and G. A. Kavvos (University of Bristol, UK) Article Search Article: icfp26main-p57-p doi:
	Urbat, Henning	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Towards a Higher-Order Bialgebraic ..." Towards a Higher-Order Bialgebraic Denotational Semantics Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat, and Stefano Volpe (University of Birmingham, UK; University of Southern Denmark, Denmark; University of Erlangen-Nuremberg, Germany) Article Search Article: icfp26main-p75-p doi:
	Vandikas, Anthony	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Compositional Generator Equivalence ..." Compositional Generator Equivalence Anthony Vandikas, Kiarash Sotoudeh, and Marsha Chechik (University of Toronto, Canada) Article Search Article: icfp26main-p81-p doi:
	Vollmer, Michael	Proc. ACM Program. Lang., vol. 10, issue ICFP: "LoCalMem: Type-Directed Adaptive ..." LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory Michael Rainey, Michael H. Borkowski, Michael Vollmer, Chaitanya S. Koparkar, Mikah Kainen, and Vidush Singhal (Carnegie Mellon University, USA; Purdue University, USA; University of Kent, UK; MathWorks, USA) Article Search Article: icfp26main-p60-p doi:
	Volpe, Stefano	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Towards a Higher-Order Bialgebraic ..." Towards a Higher-Order Bialgebraic Denotational Semantics Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat, and Stefano Volpe (University of Birmingham, UK; University of Southern Denmark, Denmark; University of Erlangen-Nuremberg, Germany) Article Search Article: icfp26main-p75-p doi:
	Watanabe, Kazuki	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Adequacy for Predicate Transformer ..." Adequacy for Predicate Transformer Semantics Kazuki Watanabe, Mirai Ikebuchi, and Mayuko Kori (National Institute of Informatics, Japan; Kyoto University, Japan; Research Institute for Mathematical Sciences, Kyoto University, Japan) Article Search Article: icfp26main-p18-p doi:
	Wei, Guannan	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Let It Be Optimized: Building ..." Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl) Guannan Wei, Jun Tan, and Dinghong Zhong (Tufts University, USA; Independent, China) Article Search Article: icfp26main-p23-p doi:
	Westrick, Sam	Proc. ACM Program. Lang., vol. 10, issue ICFP: "A Separation Logic for Parallel ..." A Separation Logic for Parallel Time Complexity with Work and Span Credits Alexandre Moine, Sam Westrick, and Joseph Tassarotti (New York University, USA) Article Search Article: icfp26main-p30-p doi:
	Whiting, Tim	Proc. ACM Program. Lang., vol. 10, issue ICFP: "HMCFA: A Precise and Practical ..." HMCFA: A Precise and Practical Big-Step Control Flow Analysis for Effect Handlers Tim Whiting and Kimball Germane (Brigham Young University, USA) Article Search Article: icfp26main-p102-p doi:
	Winterhalter, Théo	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Misquoted No More: Securely ..." Misquoted No More: Securely Extracting F* Programs with IO Cezar-Constantin Andrici, Abigail Pribisova, Danel Ahman, Catalin Hritcu, Exequiel Rivas, and Théo Winterhalter (MPI-SP, Germany; MPI-SP and MPI-SWS, Germany; University of Tartu, Estonia; Tallinn University of Technology, Estonia; Inria Saclay, LMF, France) Article Search Article: icfp26main-p64-p doi: Proc. ACM Program. Lang., vol. 10, issue ICFP: "Confluence Techniques for ..." Confluence Techniques for Dependent Type Theory with Typed Conversion Thiago Felicissimo and Théo Winterhalter (Inria Rennes, France; Inria Saclay, LMF, France) Article Search Article: icfp26main-p71-p doi:
	Wu, Shushu	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Assertions for Free: Transferring ..." Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl) Shushu Wu, Chengxi Yang, Xiwei Wu, and Qinxiang Cao (Shanghai Jiao Tong University, China) Article Search Article: icfp26main-p76-p doi:
	Wu, Xiwei	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Assertions for Free: Transferring ..." Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl) Shushu Wu, Chengxi Yang, Xiwei Wu, and Qinxiang Cao (Shanghai Jiao Tong University, China) Article Search Article: icfp26main-p76-p doi:
	Xiao, Yifan	Proc. ACM Program. Lang., vol. 10, issue ICFP: "RunbookFX: Type- and Effect-Safe ..." RunbookFX: Type- and Effect-Safe LLM Synthesis for Executable Incident Diagnosis and Mitigation Yifan Xiao, Shijie Li, and Yuhao Ge (Peking University, China; China Southern Power Grid, China) Article Search Article: icfp26main-p21-p doi:
	Yang, Chengxi	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Assertions for Free: Transferring ..." Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl) Shushu Wu, Chengxi Yang, Xiwei Wu, and Qinxiang Cao (Shanghai Jiao Tong University, China) Article Search Article: icfp26main-p76-p doi:
	Zakowski, Yannick	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Tail Modulo Async-Await ..." Tail Modulo Async-Await Emma Nardino, Ludovic Henrio, Gabriel Radanne, and Yannick Zakowski (ENS de Lyon, France; CNRS, France; Inria Lyon, France; Inria Paris, France) Article Search Article: icfp26main-p52-p doi:
	Zhang, Zichen	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Completeness of Iris-Based ..." Completeness of Iris-Based Program Logics Johannes Hostert, Zichen Zhang, Puming Liu, Simon Oddershede Gregersen, Ralf Jung, and Joseph Tassarotti (ETH Zurich, Switzerland; New York University, USA; NYU Shanghai, China; CISPA Helmholtz Center for Information Security, Germany) Article Search Article: icfp26main-p39-p doi:
	Zhong, Dinghong	Proc. ACM Program. Lang., vol. 10, issue ICFP: "Let It Be Optimized: Building ..." Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl) Guannan Wei, Jun Tan, and Dinghong Zhong (Tufts University, USA; Independent, China) Article Search Article: icfp26main-p23-p doi:

125 authors

proc time: 0.12