ICFP 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025

About

The ACM Student Research Competition (SRC) will take place again this year at ICFP, providing undergraduate and graduate researchers an opportunity to present their original research. The goal is to give students a place to discuss their research with experts in their field and to help them sharpen their research and communication skills.

Following SRC guidelines, the ICFP 2025 SRC consists of three rounds:

Round 1: Extended Abstracts. All students are encouraged to submit a 3-page extended abstract outlining their research. See the Call for Submissions for more details.

Round 2: Poster Session at ICFP. In the poster session, students will have the opportunity to interact and present their work to ICFP attendees and the judges, who will select three finalists in each category (graduate/undergraduate).

Round 3: Finalist Presentations at ICFP. The finalists will present their work to the ICFP community. Based on the presentations, the panel of judges will select 1st, 2nd, and 3rd place prizes in each category. The 1st prize winners will advance to the ACM SRC Grand Finals.

Eligibility

The SRC is open to both undergraduate and graduate students. Upon submission, entrants must be enrolled as a student at their universities and be current ACM student members.

Furthermore, there are some constraints on what kind of work may be submitted:

Previously published work: Submissions should consist of original work (not yet accepted for publication). If the work is a continuation of previously published work, the submission should focus on the contribution over what has already been published. We encourage students to see this as an opportunity to get early feedback and exposure for the work they plan to submit to the next ICFP.

Collaborative work: Graduate students are encouraged to submit work they have been conducting in collaboration with others, including advisors, internship mentors, or other students. However, graduate submissions are individual, so they must focus on the contributions of the student.

Team submissions: Team projects will be only accepted from undergrads. One person should be designated by the team to make the oral presentation. If a graduate (Masters or PhD program) student is part of a group research project and wishes to participate in an SRC, they can submit and present their individual contribution to the group research project.

Outcomes and SRC Grand Finalists

The top three undergraduate and graduate winners at each SRC receive prizes of $500, $300, and $200, respectively (USD). All SRC participants receive a certificate of participation.

The top three undergraduate and graduate winners at each SRC receive an award medal and a one-year complimentary ACM student membership with a subscription to ACM’s Digital Library.

The first place winners of the SRC will be invited to participate in the ACM SRC Grand Finals, an on-line round of competitions among the winners of other conference-hosted SRCs.

Dates
Tracks

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 12 Oct

Displayed time zone: Perth change

10:30 - 11:00
10:30
30m
Coffee break
Break
ICFP/SPLASH Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
ICFP/SPLASH Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
ICFP/SPLASH Catering

Mon 13 Oct

Displayed time zone: Perth change

10:10 - 10:50
10:10
40m
Coffee break
Break
ICFP/SPLASH Catering

10:50 - 12:05
10:50
25m
Talk
2-Functoriality of Initial Semantics, and Applications
ICFP Papers
Benedikt Ahrens Delft University of Technology, Ambroise Lafont Inria, France, Thomas Lamiaux University of Paris-Saclay, Ens Paris-Saclay
DOI
11:15
25m
Talk
Bialgebraic Reasoning on Stateful Languages
ICFP Papers
Sergey Goncharov University of Birmingham, Stefan Milius Friedrich-Alexander University Erlangen-Nürnberg, Lutz Schröder Friedrich-Alexander University Erlangen-Nürnberg, Stelios Tsampas University of Southern Denmark, Henning Urbat Friedrich-Alexander University Erlangen-Nürnberg
DOI
11:40
25m
Talk
Frex: Dependently Typed Algebraic Simplification
ICFP Papers
Guillaume Allais University of Strathclyde, Edwin Brady University of St. Andrews, Nathan Corbyn University of Oxford, Ohad Kammar University of Edinburgh, Jeremy Yallop University of Cambridge
DOI Pre-print
10:50 - 12:05
10:50
25m
Talk
Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages
ICFP Papers
J. Carr University of Chicago, Benjamin Quiring University of Maryland at College Park, John Reppy University of Chicago, Olin Shivers Northeastern University, Skye Soss University of Chicago, Byron Zhong University of Chicago
DOI
11:15
25m
Talk
Multiple Resumptions and Local Mutable State, Directly
ICFP Papers
Serkan Muhcu Technische Universität Berlin, Philipp Schuster University of Tübingen, Michel Steuwer Technische Universität Berlin, Jonathan Immanuel Brachthäuser University of Tübingen
DOI
11:40
25m
Paper
OCaml Blockly
JFP First Papers
Kenichi Asai Ochanomizu University
DOI
12:10 - 13:40
12:10
90m
Lunch
Lunch
ICFP/SPLASH Catering

13:40 - 15:20
Distinguished PapersICFP Papers at Orchid Plenary Ballroom
13:40
25m
Talk
Call-Guarded Abstract Definitional InterpretersDistinguished Paper
ICFP Papers
Kimball Germane Brigham Young University
DOI
14:05
25m
Talk
Effectful Lenses: There and Back with Different MonadsDistinguished Paper
ICFP Papers
Ruifeng Xie Peking University, Tom Schrijvers KU Leuven, Zhenjiang Hu Peking University
DOI
14:30
25m
Talk
First-Order LazinessDistinguished Paper
ICFP Papers
Anton Lorenzen University of Edinburgh, Daan Leijen Microsoft Research, Wouter Swierstra Utrecht University, Netherlands, Sam Lindley The University of Edinburgh
DOI Pre-print
14:55
25m
Talk
Multi-stage Programming with Splice VariablesDistinguished Paper
ICFP Papers
Tsung-Ju Chiang University of Toronto, Ningning Xie University of Toronto
DOI
15:20 - 16:00
15:20
40m
Coffee break
Break
ICFP/SPLASH Catering

16:00 - 17:40
16:00
25m
Talk
Pushing the Information-Theoretic Limits of Random Access Lists
ICFP Papers
Edward Peters , Yong Qi Foo National University of Singapore, Michael D. Adams National University of Singapore
DOI
16:25
25m
Talk
Truly Functional Solutions to the Longest Uptrend Problem (Functional Pearl)
ICFP Papers
Alexander Dinges RPTU Kaiserslautern-Landau, Ralf Hinze RPTU Kaiserslautern-Landau
DOI
16:50
25m
Paper
Bottom-up computation using trees of sublists
JFP First Papers
Shin-Cheng Mu Academia Sinica, Taiwan
DOI
17:15
25m
Paper
You could have invented Fenwick trees
JFP First Papers
Brent Yorgey Hendrix College
DOI
16:00 - 17:40
16:00
25m
Paper
A contextual formalization of structural coinduction
JFP First Papers
Paul Downen University of Massachusetts at Lowell, Zena M. Ariola University of Oregon
DOI
16:25
25m
Paper
A practical formalization of monadic equational reasoning in dependent-type theory
JFP First Papers
Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST), Japan, Jacques Garrigue , Takafumi Saikawa Nagoya University
DOI
16:50
25m
Talk
Almost Fair Simulations
ICFP Papers
Arthur Correnson CISPA Helmholtz Center for Information Security, Iona Kuhn Saarland University, Bernd Finkbeiner CISPA Helmholtz Center for Information Security
DOI
17:15
25m
Talk
Big Steps in Higher-Order Mathematical Operational Semantics
ICFP Papers
Sergey Goncharov University of Birmingham, Pouya Partow Birmingham University, Stelios Tsampas University of Southern Denmark
DOI
18:00 - 20:00
18:00
2h
Social Event
ICFP SRC Poster Session
ICFP Student Research Competition

Tue 14 Oct

Displayed time zone: Perth change

10:10 - 10:50
10:10
40m
Coffee break
Break
ICFP/SPLASH Catering

10:50 - 12:05
Gradual Typing and SecurityICFP Papers / JFP First Papers at Orchid Plenary Ballroom
10:50
25m
Talk
Robust Dynamic Embedding for Gradual Typing
ICFP Papers
Koen Jacobs Inria, Matías Toro University of Chile, Nicolas Tabareau Inria, Éric Tanter University of Chile
DOI
11:15
25m
Paper
A simple blame calculus for explicit nulls
JFP First Papers
Ondřej Lhoták University of Waterloo, Philip Wadler University of Edinburgh
DOI
11:40
25m
Talk
SecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F*
ICFP Papers
Cezar-Constantin Andrici MPI-SP, Danel Ahman University of Ljubljana, Cătălin Hriţcu MPI-SP, Ruxandra Icleanu University of Edinburgh, Guido Martínez Microsoft Research, Exequiel Rivas Tallinn University of Technology; Ahrefs, Théo Winterhalter INRIA
DOI
10:50 - 12:05
10:50
25m
Talk
Compiling with Generating Functions
ICFP Papers
Jianlin Li University of Waterloo, Yizhou Zhang University of Waterloo
DOI
11:15
25m
Talk
Correctness Meets Performance: From Agda to Futhark
ICFP Papers
Artjoms Šinkarovs University of Southampton, Troels Henriksen University of Copenhagen
DOI
11:40
25m
Paper
Domain-specific tensor languages
JFP First Papers
Jean-Philippe Bernardy University of Gothenburg, Sweden, Patrik Jansson Chalmers University of Technology and University of Gothenbrug
DOI
12:10 - 13:40
12:10
90m
Lunch
Lunch
ICFP/SPLASH Catering

13:40 - 15:20
Denotational SemanticsICFP Papers at Orchid Plenary Ballroom
13:40
25m
Talk
Fulls Seldom Differ
ICFP Papers
Mark Koch Quantinuum, Alan Lawrence Quantinuum, Conor McBride University of Strathclyde, Craig Roy Quantinuum
DOI
14:05
25m
Talk
Normalization by Evaluation for Non-cumulativity
ICFP Papers
Shengyi Jiang The University of Hong Kong, Jason Z. S. Hu Amazon, Bruno C. d. S. Oliveira University of Hong Kong
DOI
14:30
25m
Talk
Type Theory in Type Theory using a Strictified Syntax
ICFP Papers
Ambrus Kaposi ELTE Eötvös Loránd University, Budapest, Hungary, Loïc Pujet Stockholm University
DOI Pre-print
14:55
25m
Talk
Type Universes as Kripke Worlds
ICFP Papers
Paulette Koronkevich University of British Columbia, William J. Bowman University of British Columbia
DOI Pre-print
13:40 - 15:25
13:40
25m
Talk
A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware
ICFP Papers
Liyi Li Iowa State University, David Young University of Kansas, USA, James Bryan Graves Indiana University, Chandeepa Dissanayake Iowa State University, Amr Sabry Indiana University
DOI
14:05
25m
Talk
Functional Networking for Millions of Docker Desktops (Experience Report)
ICFP Papers
Anil Madhavapeddy University of Cambridge, UK, David J. Scott Docker, Inc., Patrick Ferris University of Cambridge, UK, Ryan Gibb University of Cambridge, Thomas Gazagnaire Tarides
DOI
14:30
25m
Talk
Polynomial-Time Program Equivalence for Machine Knitting
ICFP Papers
Nathan Hurtig University of Washington, Jenny Han Lin University of Utah, Thomas S. Price Carnegie Mellon University, Adriana Schulz University of Washington, James McCann Carnegie Mellon University, Gilbert Bernstein University of Washington
DOI
14:55
30m
Talk
SRC Talks
ICFP Student Research Competition

15:20 - 16:00
15:20
40m
Coffee break
Break
ICFP/SPLASH Catering

16:00 - 18:00
16:00
30m
Talk
ICFP Contest Report
ICFP Papers
P: Liam O'Connor Australian National University
16:30
15m
Awards
Award Ceremony
ICFP Papers
I: Dominique Devriese KU Leuven, I: Ilya Sergey National University of Singapore
16:45
5m
Awards
SRC Awards
ICFP Student Research Competition
S: Kimball Germane Brigham Young University
16:50
15m
Meeting
PC Chair Report
ICFP Papers
I: Dominique Devriese KU Leuven
17:05
10m
Talk
General Chair Report
ICFP Papers
G: Ilya Sergey National University of Singapore
17:15
10m
Talk
ICFP 2026 Announcement
ICFP Papers
Sam Tobin-Hochstadt Indiana University

Wed 15 Oct

Displayed time zone: Perth change

10:10 - 10:50
10:10
40m
Coffee break
Break
ICFP/SPLASH Catering

10:50 - 12:05
10:50
25m
Talk
A Bargain for Mergesorts: How to Prove Your Mergesort Correct and Stable, Almost for Free
ICFP Papers
Cyril Cohen Inria - CNRS - ENS Lyon - Université Claude Bernard Lyon 1 - LIP - UMR 5668, Kazuhiko Sakaguchi CNRS - ENS Lyon - Université Claude Bernard Lyon 1 - LIP - UMR 5668
DOI Pre-print
11:15
25m
Talk
CRDT Emulation, Simulation, and Representation Independence
ICFP Papers
Nathan Liittschwager University of California, Santa Cruz, Jonathan Castello University of California, Santa Cruz, Stelios Tsampas University of Southern Denmark, Lindsey Kuper University of California, Santa Cruz
DOI Pre-print
11:40
25m
Paper
How much is in a square? Calculating functional programs with squares
JFP First Papers
Jose Nuno Oliveira University of Minho; INESC TEC
DOI
10:50 - 12:05
ConcurrencyICFP Papers at Orchid West
10:50
25m
Talk
Fusing Session-Typed Concurrent Programming into Functional Programming
ICFP Papers
Chuta Sano McGill University, Deepak Garg MPI-SWS, Ryan Kavanagh Université du Québec à Montréal, Brigitte Pientka McGill University, Bernardo Toninho Instituto Superior Técnico - University of Lisbon
DOI
11:15
25m
Talk
Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
ICFP Papers
Kwing Hei Li Aarhus University, Alejandro Aguirre Aarhus University, Simon Oddershede Gregersen New York University, Philipp G. Haselwarter Aarhus University, Joseph Tassarotti New York University, Lars Birkedal Aarhus University
DOI Pre-print
11:40
25m
Talk
Relax! The Semilenient Core of Choreographic Programming (Functional Pearl)
ICFP Papers
Dan Plyukhin University of Southern Denmark, Xueying Qin University of Southern Denmark, Fabrizio Montesi University of Southern Denmark
DOI Pre-print
12:10 - 13:40
12:10
90m
Lunch
Lunch
ICFP/SPLASH Catering

13:40 - 15:20
13:40
25m
Talk
Formal Semantics and Program Logics for a Fragment of OCaml
ICFP Papers
DOI
14:05
25m
Talk
Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language
ICFP Papers
Rutger Broekhoff Radboud University Nijmegen, Robbert Krebbers Radboud University Nijmegen
DOI Pre-print
14:30
25m
Talk
Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach
ICFP Papers
Marcos Grandury IMDEA Software Institute; Universidad Politécnica de Madrid, Aleksandar Nanevski IMDEA Software Institute, Alexander Gryzlov IMDEA Software Institute
DOI
14:55
25m
Talk
Reasoning about Weak Isolation Levels in Separation Logic
ICFP Papers
Anders Alnor Mathiasen Aarhus University, Léon Gondelman Aalborg University, Léon Ducruet Aarhus University, Amin Timany Aarhus University, Lars Birkedal Aarhus University
DOI
13:40 - 15:20
Types and SpecificationsICFP Papers / JFP First Papers at Orchid West
13:40
25m
Talk
McTT: A Verified Kernel for a Proof Assistant
ICFP Papers
Junyoung Jang McGill University, Antoine Gaulin McGill University, Jason Z. S. Hu Amazon, Brigitte Pientka McGill University
DOI Media Attached
14:05
25m
Talk
Linear Types with Dynamic Multiplicities in Dependent Type Theory (Functional Pearl)
ICFP Papers
Maximilian Doré University of Oxford
DOI Pre-print
14:30
25m
Paper
Binary search—think positive
JFP First Papers
Alexander Dinges RPTU Kaiserslautern-Landau, Ralf Hinze RPTU Kaiserslautern-Landau
DOI
14:55
25m
Talk
Teaching Software Specification (Experience Report)
ICFP Papers
Cameron Moy Northeastern University, Daniel Patterson Northeastern University
DOI
15:20 - 16:00
15:20
40m
Coffee break
Break
ICFP/SPLASH Catering

Thu 16 Oct

Displayed time zone: Perth change

10:00 - 10:30
10:00
30m
Coffee break
Break
ICFP/SPLASH Catering

12:15 - 13:45
12:15
90m
Lunch
Lunch
ICFP/SPLASH Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
ICFP/SPLASH Catering

18:00 - 20:00
18:00
2h
Social Event
SPLASH SRC Poster Session
SPLASH Student Research Competition

Fri 17 Oct

Displayed time zone: Perth change

10:00 - 10:30
10:00
30m
Coffee break
Break
ICFP/SPLASH Catering

12:15 - 13:45
12:15
90m
Lunch
Lunch
ICFP/SPLASH Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
ICFP/SPLASH Catering

Sat 18 Oct

Displayed time zone: Perth change

10:00 - 10:30
10:00
30m
Coffee break
Break
ICFP/SPLASH Catering

12:15 - 13:45
12:15
90m
Lunch
Lunch
ICFP/SPLASH Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
ICFP/SPLASH Catering

Call for Submissions

ICFP 2025 invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community.

The SRC consists of three rounds:

  • Submission of an extended abstract
  • Poster session at ICFP 2025
  • Finalists’ presentations at ICFP 2025

During the first round students submit an extended abstract detailing their research to be reviewed by the program committee. Those students whose abstracts get accepted advance to the poster session round which will take place during ICFP 2025. Winners of the poster session advance to next round, where they will give a 5-minute presentation about their work on the ICFP main stage in front of a live audience.

Please note that a work cannot be simultaneously submitted to multiple SRCs, including both the ICFP SRC and the SPLASH SRC which are co-located this year.

IMPORTANT DATES AND TIMES

  • Submission Deadline: 19 June 2025 (Thursday)
  • Author Notification: 14 July 2025 (Monday) 12:00 PM CST
  • ICFP 2025 Conference in Singapore: 12 October 2025 (Sunday) - 18 October 2025 (Saturday)

SUBMISSION OF EXTENDED ABSTRACTS

Each submission (referred to as “abstract” below) should include the student author’s name and e-mail address; institutional affiliation; research advisor’s name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following:

  • Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem.

  • Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of ICFP areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others.

  • Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel.

  • Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results.

  • Submissions must be original research that is not already published at ICFP or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student’s role was and should focus on that portion of the work.

  • Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the “ACM Small” template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions. For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format. The submission must not exceed 3 pages in PDF format. Reference lists do not count towards the 3-page limit.

Questions? Use the ICFP Student Research Competition contact form.