No information available yet.
Dates
Tracks
Tue 3 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 3 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mKeynote | Requirements are All You Need ICFP Papers and Events Andrew D. Gordon Cogna and University of Edinburgh Link to publication Pre-print File Attached | ||
10:30 - 12:00 | Algebraic and Computational EffectsICFP Papers and Events / JFP First Papers at Green 1-2-3 Chair(s): Patrick Bahr IT University of Copenhagen | ||
10:30 18mTalk | Abstracting Effect Systems for Algebraic Effect Handlers ICFP Papers and Events Takuma Yoshioka Kyoto University, Taro Sekiyama National Institute of Informatics; SOKENDAI, Atsushi Igarashi Kyoto University DOI | ||
10:48 18mTalk | Parallel Algebraic Effect Handlers ICFP Papers and Events Ningning Xie University of Toronto; Google DeepMind, Daniel D. Johnson University of Toronto; Google DeepMind, Dougal Maclaurin Google DeepMind, Adam Paszke Google DeepMind DOI | ||
11:06 18mTalk | Abstract Interpreters: A Monadic Approach to Modular Verification ICFP Papers and Events Sébastien Michelland Université Grenoble-Alpes - Grenoble INP - LCIS, Yannick Zakowski Inria, Laure Gonnord Université Grenoble-Alpes - Grenoble INP - LCIS DOI Pre-print | ||
11:24 18mTalk | Algebraic effects and handlers for arrowsJFP First Paper JFP First Papers Takahiro Sanada Fukui Prefectural University | ||
11:42 18mTalk | How to Bake a Quantum Π ICFP Papers and Events Jacques Carette McMaster University, Chris Heunen University of Edinburgh, Robin Kaarsgaard University of Southern Denmark, Amr Sabry Indiana University DOI | ||
13:30 - 15:00 | Type TheoryICFP Papers and Events / JFP First Papers at Green 1-2-3 Chair(s): Brent Yorgey Hendrix College | ||
13:30 18mTalk | Normalization by evaluation for modal dependent type theoryJFP First Paper JFP First Papers Jason Z.S. Hu McGill University, Junyoung Jang McGill University, Brigitte Pientka McGill University DOI | ||
13:48 18mTalk | Closure-Free Functional Programming in a Two-Level Type Theory ICFP Papers and Events András Kovács University of Gothenburg DOI Pre-print | ||
14:06 18mTalk | Gradual Indexed Inductive Types ICFP Papers and Events Mara Malewski Correa University of Chile, Kenji Maillard Inria, Nicolas Tabareau Inria, Éric Tanter University of Chile DOI | ||
14:24 18mTalk | Dependent Ghosts Have a Reflection for Free ICFP Papers and Events Théo Winterhalter Inria DOI | ||
14:42 18mTalk | Static Blame for gradual typingJFP First Paper JFP First Papers Chenghao Su Nanjing University, Lin Chen Nanjing University, Yanhui Li Nanjing University, Yuming Zhou Nanjing University DOI | ||
17:00 - 17:15 | |||
17:15 - 18:15 | Memorial for D. Turner & ArvindICFP Papers and Events at Green 1-2-3 Chair(s): Marco Gaboardi Boston University | ||
Wed 4 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 4 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mKeynote | Capabilities for Control ICFP Papers and Events Martin Odersky EPFL | ||
15:30 - 16:42 | Verification and Cost AnalysisJFP First Papers / ICFP Papers and Events at Green 1-2-3 Chair(s): Clément Pit-Claudel EPFL | ||
15:30 18mTalk | Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs ICFP Papers and Events Li-yao Xia Unaffiliated, Laura Israel Portland State University, Maite Kramarz University of Toronto, Nicholas Coltharp Portland State University, Koen Claessen Chalmers University of Technology, Stephanie Weirich University of Pennsylvania, Yao Li Portland State University DOI Pre-print | ||
15:48 18mTalk | Level-p-complexity of Boolean functions using thinning, memoization, and polynomialsJFP First Paper JFP First Papers DOI | ||
16:06 18mTalk | CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs ICFP Papers and Events Cole Kurashige University of California at San Diego, Ruyi Ji Peking University, Aditya Giridharan University of California at San Diego, Mark Barbone University of California at San Diego, Daniel Noor Technion, Shachar Itzhaky Technion, Ranjit Jhala University of California at San Diego, Nadia Polikarpova University of California at San Diego DOI | ||
16:24 18mTalk | Contract Lenses: Reasoning about Bidirectional Programs via CalculationJFP First Paper JFP First Papers Hanliang Zhang University of Bristol, UK, Wenhao Tang University of Edinburgh, Ruifeng Xie Peking University, Meng Wang University of Bristol, Zhenjiang Hu Peking University DOI | ||
17:15 - 18:30 | |||
17:15 15mOther | Remembering Alan Jeffrey ICFP Papers and Events | ||
17:30 5mAwards | ICFP 2014 Most Influential Paper Award ICFP Papers and Events Marco Gaboardi Boston University | ||
17:35 5mAwards | Recognition of Distinguished Papers ICFP Papers and Events Brigitte Pientka McGill University | ||
17:40 5mTalk | SRC Awards ICFP Papers and Events | ||
17:45 10mOther | The functioning of ICFP ICFP Papers and Events Sam Lindley University of Edinburgh File Attached | ||
17:55 5mTalk | Diversity, equality, and inclusion at ICFP ICFP Papers and Events Alejandro Russo Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, Sweden | ||
18:00 10mOther | General Chair report ICFP Papers and Events Marco Gaboardi Boston University | ||
18:10 15mOther | PC Chair's report ICFP Papers and Events Brigitte Pientka McGill University | ||
18:25 5mOther | ICFP 2025 announcement ICFP Papers and Events Ilya Sergey National University of Singapore | ||
Thu 5 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 5 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | Thursday keynoteICFP Papers and Events at Green 1-2-3 Chair(s): Neel Krishnaswami University of Cambridge | ||
09:00 60mKeynote | Refinement Types from Light to Deep Verification ICFP Papers and Events Niki Vazou IMDEA Software Institute | ||
10:30 - 12:00 | Refinement Types, Type InferenceICFP Papers and Events / JFP First Papers at Green 1-2-3 Chair(s): Dominic Orchard University of Kent; University of Cambridge | ||
10:30 18mTalk | The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data StructuresDistinguished Paper ICFP Papers and Events Yijia Chen Hong Kong University of Science and Technology, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology) DOI | ||
10:48 18mTalk | Contextual Typing ICFP Papers and Events DOI | ||
11:06 18mTalk | Synchronous Programming with Refinement Types ICFP Papers and Events Jiawei Chen University of Michigan at Ann Arbor, José Luiz Vargas de Mendonça University of Michigan at Ann Arbor, Bereket Shimels Ayele Addis Ababa Institute of Technology, Bereket Ngussie Bekele Addis Ababa Institute of Technology, Shayan Jalili University of Michigan at Ann Arbor, Pranjal Sharma University of Michigan at Ann Arbor, Nicholas Wohlfeil University of Michigan at Ann Arbor, Yicheng Zhang University of Michigan at Ann Arbor, Jean-Baptiste Jeannin University of Michigan at Ann Arbor DOI | ||
11:24 18mTalk | Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System ICFP Papers and Events DOI File Attached | ||
11:42 18mTalk | Trace contractsJFP First Paper JFP First Papers DOI | ||