Orchid Plenary Ballroom

VenueMarina Bay Sands Convention Centre

Room nameOrchid Plenary Ballroom

Floor4

Room number4204-4306

Capacity500

Room Information

Venue floor plan

app-screen

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Mon 13 Oct
Displayed time zone: Perth change

09:00 - 10:10	Monday ICFP KeynoteICFP Keynotes at Orchid Plenary Ballroom

09:00 70m Keynote		Functional Programming for Hardware Design ICFP Keynotes Satnam Singh Independent

10:50 - 12:05	Dependent TypesICFP Papers at Orchid Plenary Ballroom

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

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

16:00 - 17:40	AlgorithmsICFP Papers / ICFP JFP First Papers at Orchid Plenary Ballroom

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 ICFP JFP First Papers Shin-Cheng Mu Academia Sinica, Taiwan DOI
17:15 25m Paper		You could have invented Fenwick trees ICFP JFP First Papers Brent Yorgey Hendrix College DOI

Tue 14 Oct
Displayed time zone: Perth change

09:00 - 10:10	Tuesday ICFP KeynoteICFP Keynotes at Orchid Plenary Ballroom

09:00 70m Keynote		The Rational Programmer, A Method for Investigating Programming Language Pragmatics ICFP Keynotes Christos Dimoulas Northwestern University

10:50 - 12:05	Gradual Typing and SecurityICFP Papers / ICFP 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 ICFP 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

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

16:00 - 18:00	ICFP Business MeetingICFP Papers / ICFP Student Research Competition at Orchid Plenary Ballroom

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, Niki Vazou IMDEA Software Institute
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

09:00 - 10:10	Wednesday ICFP KeynoteICFP Keynotes at Orchid Plenary Ballroom

09:00 70m Keynote		Proof-Carrying Neuro-Symbolic Code ICFP Keynotes Ekaterina Komendantskaya Heriot-Watt University and Southampton University

10:50 - 12:05	ParametricityICFP Papers / ICFP JFP First Papers at Orchid Plenary Ballroom

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 ICFP JFP First Papers Jose Nuno Oliveira University of Minho; INESC TEC DOI

13:40 - 15:20	Separation LogicICFP Papers at Orchid Plenary Ballroom

13:40 25m Talk		Formal Semantics and Program Logics for a Fragment of OCaml ICFP Papers Remy Seassau Inria, Irene Yoon Inria, Jean-Marie Madiot Inria, François Pottier Inria 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

Thu 16 Oct
Displayed time zone: Perth change

09:00 - 10:00	Thursday SPLASH KeynoteSPLASH Keynotes at Orchid Plenary Ballroom

09:00 60m Keynote		Automating maintenance of the Linux kernel: a perspective over 20 years SPLASH Keynotes K: Julia Lawall Inria

10:30 - 12:15	CodeOOPSLA at Orchid Plenary Ballroom

10:30 15m Talk		ABC: Towards a Universal Code Styler through Model Merging OOPSLA Yitong Chen School of Computer Science and Engineering, College of Software Engineering, School of Artificial Intelligence, Southeast University, Zhiqiang Gao School of Computer Science and Engineering, College of Software Engineering, School of Artifical Intelligence, Southeast University, Chuanqi Shi School of Computer Science and Engineering, College of Software Engineering, School of Artifical Intelligence, Southeast University, Baixuan Li School of Computer Science and Engineering, College of Software Engineering, School of Artifical Intelligence, Southeast University, Miao Gao School of Computer Science and Engineering, College of Software Engineering, School of Artifical Intelligence, Southeast University
10:45 15m Talk		Binary Cryptographic Function Identification via Similarity Analysis with Path-insensitive Emulation OOPSLA Yikun Hu Shanghai Jiao Tong University, Yituo He Shanghai Jiao Tong University, Wenyu He Shanghai Jiao Tong University, Haoran Li Shanghai Jiao Tong University, Yubo Zhao Shanghai Jiao Tong University, Shuai Wang Hong Kong University of Science and Technology, Dawu Gu Shanghai Jiao Tong University
11:00 15m Talk		Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations OOPSLA Zhenyang Xu University of Waterloo, Yongqiang Tian Monash University, Mengxiao Zhang , Chengnian Sun University of Waterloo
11:15 15m Talk		Code Style Sheets: CSS for Code OOPSLA Sam Cohen University of Chicago, Ravi Chugh University of Chicago
11:30 15m Talk		Enhancing APR with PRISM: A Semantic-Based Approach to Overfitting Patch Detection OOPSLA Dowon Song Korea University, Hakjoo Oh Korea University
11:45 15m Talk		PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns OOPSLA Donguk Kim , Doha Hwang Samsung, Minseok Jeon Korea University, Hakjoo Oh Korea University
12:00 15m Talk		Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes OOPSLA Mingyi Li , Junmin Xiao , Siyan Chen Institute of Computing Technology, Chinese Academy of Sciences, Hui Ma Institute of Computing Technology, Chinese Academy of Sciences, Xi Chen Institute of Computing Technology, Chinese Academy of Sciences, Peihua Bao University of Chinese Academy of Sciences, Liang Yuan Chinese Academy of Sciences, Guangming Tan Chinese Academy of Sciences(CAS)

13:45 - 15:30	SystemsOOPSLA at Orchid Plenary Ballroom

13:45 15m Talk		A Unifying Approach to Product Constructions for Quantitative Temporal Inference OOPSLA Kazuki Watanabe National Institute of Informatics; SOKENDAI, Sebastian Junges Radboud University, Jurriaan Rot Radboud University Nijmegen, Ichiro Hasuo National Institute of Informatics, Japan
14:00 15m Talk		Contract System Metatheories à la Carte: A Transition-System View of Contracts OOPSLA Shu-Hung You Northwestern University, USA, Christos Dimoulas Northwestern University, Robert Bruce Findler Northwestern University
14:15 15m Talk		Incremental Bidirectional Typing via Order Maintenance OOPSLA Thomas J. Porter University of Michigan, Marisa Kirisame University of Utah, Ivan Wei University of Michigan, Pavel Panchekha University of Utah, Cyrus Omar University of Michigan
14:30 15m Talk		Integrating Resource Analyses via Resource Decomposition OOPSLA Long Pham Carnegie Mellon University, Yue Niu National Institute of Informatics, Nathan Glover Carnegie Mellon University, Feras Saad Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University
14:45 15m Talk		Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracles OOPSLA Zhineng Zhong Key Laboratory of High-Confidence Software Technologies (MOE), School of Computer Science, Peking University, Ziqi Zhang University of Illinois Urbana-Champaign, Hanqin Guan Peking University, Ding Li Peking University
15:00 15m Talk		Software Model Checking via Summary-Guided Search OOPSLA Ruijie Fang University of Texas at Austin, Zachary Kincaid Princeton University, Thomas Reps University of Wisconsin-Madison Pre-print
15:15 15m Talk		The Power of Regular Constraint Propagation OOPSLA Matthew Hague Royal Holloway University of London, Artur Jez University of Wroclaw, Anthony Widjaja Lin RPTU Kaiserslautern-Landau and Max-Planck Institute for Software Systems, Oliver Markgraf RPTU Kaiserslautern-Landau, Philipp Ruemmer University of Regensburg and Uppsala University

16:00 - 17:30	ParallelismOOPSLA at Orchid Plenary Ballroom

16:00 15m Talk		Compressed and Parallelized Structured Tensor Algebra OOPSLA Mahdi Ghorbani University of Edinburgh, Emilien Bauer , Tobias Grosser University of Cambridge, Amir Shaikhha University of Edinburgh
16:15 15m Talk		Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern OOPSLA Patrick Redmond University of California, Santa Cruz, Jonathan Castello University of California, Santa Cruz, Jose Calderon Galois, Inc., Lindsey Kuper University of California, Santa Cruz Pre-print
16:30 15m Talk		HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical Space Decomposition OOPSLA Sirui Lu OpenAI, Rastislav Bodík Google Research, Brain Team
16:45 15m Talk		Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness OOPSLA Dongjae Lee Massachusetts Institute of Technology, Janggun Lee KAIST, Taeyoung Yoon Seoul National University, Minki Cho Seoul National University, Jeehoon Kang FuriosaAI, Chung-Kil Hur Seoul National University
17:00 15m Talk		Opportunistically Parallel Lambda Calculus OOPSLA Stephen Mell University of Pennsylvania, Konstantinos Kallas University of California, Los Angeles, Steve Zdancewic University of Pennsylvania, Osbert Bastani University of Pennsylvania
17:15 15m Talk		Soundness of Predictive Concurrency Analyses OOPSLA Shuyang Liu , Doug Lea State University of New York (SUNY) Oswego, Jens Palsberg University of California, Los Angeles (UCLA)

Fri 17 Oct
Displayed time zone: Perth change

09:00 - 10:00	Friday SPLASH KeynoteSPLASH Keynotes at Orchid Plenary Ballroom

09:00 60m Keynote		The Quest Toward that Perfect Compiler SPLASH Keynotes K: Zhendong Su ETH Zurich

10:30 - 12:15	Compilation 3OOPSLA at Orchid Plenary Ballroom

10:30 15m Talk		Efficient Algorithms for the Uniform Tokenization Problem OOPSLA Wu Angela Li Rice University, Konstantinos Mamouras Rice University
10:45 15m Talk		REPTILE: Performant Tiling of Recurrences OOPSLA Muhammad Usman Tariq Stanford University, Shiv Sundram Stanford University, Fredrik Kjolstad Stanford University
11:00 15m Talk		SPLAT: A framework for optimised GPU code-generation for SParse reguLar ATtention OOPSLA Ahan Gupta University of Illinois at Urbana-Champaign, Yueming Yuan University of Illinois Urbana-Champaign, Devansh Jain University of Illinois at Urbana-Champaign, Yuhao Ge University of Illinois at Urbana-Champaign, David Aponte Microsoft, Yanqi Zhou Google, Charith Mendis University of Illinois at Urbana-Champaign
11:15 15m Talk		Statically Analyzing the Dataflow of R Programs OOPSLA Florian Sihler Ulm University, Matthias Tichy Ulm University
11:30 15m Talk		Static Inference of Regular Grammars for Ad Hoc Parsers OOPSLA Michael Schröder TU Wien, Jürgen Cito TU Wien Pre-print
11:45 15m Talk		Syntactic Completions with Material Obligations OOPSLA David Moon University of Michigan, Andrew Blinn University of Michigan, Thomas J. Porter University of Michigan, Cyrus Omar University of Michigan

13:45 - 15:30	Testing 1OOPSLA at Orchid Plenary Ballroom

13:45 15m Talk		An Empirical Evaluation of Property-Based Testing OOPSLA Savitha Ravi UC San Diego, Michael Coblenz University of California, San Diego
14:00 15m Talk		Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM OOPSLA Ao Li Carnegie Mellon University, Byeongjee Kang Carnegie Mellon University, Vasudev Vikram Carnegie Mellon University, Isabella Laybourn Carnegie Mellon University, Samvid Dharanikota Efficient Computer, Shrey Tiwari Carnegie Mellon University, Rohan Padhye Carnegie Mellon University Pre-print Media Attached
14:15 15m Talk		Fuzzing C++ Compilers via Type-Driven Mutation OOPSLA Bo Wang Beijing Jiaotong University, Chong Chen Beijing Jiaotong University, Ming Deng Beijing Jiaotong University, Junjie Chen Tianjin University, Xing Zhang Peking University, Youfang Lin Beijing Jiaotong University, Dan Hao Peking University, Jun Sun Singapore Management University
14:30 15m Talk		Interleaving Large Language Models for Compiler Testing OOPSLA Yunbo Ni The Chinese University of Hong Kong, Shaohua Li The Chinese University of Hong Kong
14:45 15m Talk		Model-guided Fuzzing of Distributed Systems OOPSLA Ege Berkay Gulcan Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology, Rupak Majumdar MPI-SWS, Srinidhi Nagendra IRIF, Chennai Mathematical Institute
15:00 15m Talk		Tuning Random Generators: Property-Based Testing as Probabilistic Programming OOPSLA Ryan Tjoa University of Washington; Jane Street, Poorva Garg University of California, Los Angeles, Harrison Goldstein University at Buffalo, the State University of New York at Buffalo, Todd Millstein University of California at Los Angeles, Benjamin C. Pierce University of Pennsylvania, Guy Van den Broeck University of California at Los Angeles Pre-print
15:15 15m Talk		UTFix: Change Aware Unit Test Repairing using LLM OOPSLA Shanto Rahman The University of Texas at Austin, Sachit Kuhar Amazon Web Services, Berk Cirisci Amazon Web Services, Pranav Garg AWS, Shiqi Wang AWS AI Labs, Xiaofei Ma AWS AI Labs, Anoop Deoras AWS AI Labs, Baishakhi Ray Columbia University

16:00 - 17:30	Testing 2OOPSLA at Orchid Plenary Ballroom

16:00 15m Talk		Bennet: Randomized Specification Testing for Heap-Manipulating Programs OOPSLA Zain K Aamer University of Pennsylvania, Benjamin C. Pierce University of Pennsylvania
16:15 15m Talk		DepFuzz: Efficient Smart Contract Fuzzing with Function Dependence Guidance OOPSLA Chenyang Ma Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology, Jeff Huang Texas A&M University
16:30 15m Talk		Extraction and Mutation at a High Level: Template-Based Fuzzing for JavaScript Engines OOPSLA Wai Kin Wong Hong Kong University of Science and Technology, Dongwei Xiao Hong Kong University of Science and Technology, Cheuk Tung LAI VX Research Limited, Yiteng Peng Hong Kong University of Science and Technology, Daoyuan Wu Lingnan University, Shuai Wang Hong Kong University of Science and Technology
16:45 15m Talk		Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing OOPSLA Qiong Feng Nanjing University of Science and Technology, Xiaotian Ma Nanjing University of Science and Technology, Ziyuan Feng Nanjing University of Science and Technology, Marat Akhin JetBrains, Wei Song Nanjing University of Science and Technology, Peng Liang Wuhan University, China
17:00 15m Talk		Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools OOPSLA Yumeng He University of Utah, Chandrakana Nandi Certora, Sreepathi Pai University of Rochester
17:15 15m Talk		Understanding and Improving Flaky Test Classification OOPSLA Shanto Rahman The University of Texas at Austin, Saikat Dutta Cornell University, August Shi The University of Texas at Austin

17:30 - 18:15	Business Meeting and AwardsOOPSLA at Orchid Plenary Ballroom

17:30 15m Awards		SPLASH Awards OOPSLA S: Alex Potanin Australian National University, S: Charles Zhang The Hong Kong University of Science and Technology

Sat 18 Oct
Displayed time zone: Perth change

09:00 - 10:00	Saturday SPLASH KeynoteSPLASH Keynotes at Orchid Plenary Ballroom

09:00 60m Keynote		Software Stacks for Confidential Computing Hardware SPLASH Keynotes K: Frank Piessens KU Leuven

10:30 - 12:15	Synthesis 1OOPSLA at Orchid Plenary Ballroom

10:30 15m Talk		Abstraction Refinement-guided Program Synthesis for Robot Learning from Demonstrations OOPSLA Guofeng Cui Rutgers University, Yuning Wang Rutgers University, Wensen Mao Rutgers University, Yuanlin Duan Rutgers University, He Zhu Rutgers University, USA
10:45 15m Talk		API-guided Dataset Synthesis to Finetune Large Code Models OOPSLA Li Zongjie Hong Kong University of Science and Technology, Daoyuan Wu Lingnan University, Shuai Wang Hong Kong University of Science and Technology, Zhendong Su ETH Zurich
11:00 15m Talk		Fast Constraint Synthesis for C++ Function Templates OOPSLA Shuo Ding Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology
11:15 15m Talk		Hambazi: Spatial Coordination Synthesis for Augmented Reality OOPSLA Yi-Zhen Tsai University of California, Riverside, Jiasi Chen University of Michigan, Mohsen Lesani University of California at Santa Cruz
11:30 15m Talk		Inductive Synthesis of Inductive Heap Predicates OOPSLA Ziyi Yang National University of Singapore, Ilya Sergey National University of Singapore
11:45 15m Talk		LOUD: Synthesizing Strongest and Weakest Specifications OOPSLA Kanghee Park University of Wisconsin-Madison, Xuanyu Peng University of California, San Diego, Loris D'Antoni University of California at San Diego
12:00 15m Talk		Metamorph: Synthesizing Large Objects from Dafny Specifications OOPSLA Aleksandr Fedchin Tufts University, Alexander Bai New York University, Jeffrey S. Foster Tufts University

13:45 - 15:30	Synthesis 2OOPSLA at Orchid Plenary Ballroom

13:45 15m Talk		Active Learning for Neurosymbolic Program Synthesis OOPSLA Celeste Barnaby University of Texas at Austin, Jocelyn Qiaochu Chen New York University, University of Alberta, Ramya Ramalingam University of Pennsylvania, Osbert Bastani University of Pennsylvania, Işıl Dillig University of Texas at Austin
14:00 15m Talk		Language-Parametric Reference Synthesis OOPSLA Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Aron Zwaan Delft University of Technology, Casper Bach University of Southern Denmark, Arjan J. Mooij Zürich University of Applied Sciences
14:15 15m Talk		Multi-Modal Sketch-based Behavior Tree Synthesis OOPSLA Wenmeng Zhang College of Computer Science and Technology, National University of Defense Technology, Changsha, China, Zhenbang Chen College of Computer, National University of Defense Technology, Weijiang Hong National University of Defense Technology, Changsha, China
14:30 15m Talk		Synthesizing DSLs for Few-Shot Learning OOPSLA Paul Krogmeier University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign
14:45 15m Talk		Synthesizing Implication Lemmas for Interactive Theorem Proving OOPSLA Ana Brendel University of Texas at Austin, Aishwarya Sivaraman Meta, Todd Millstein University of California at Los Angeles
15:00 15m Talk		Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hyperbolic PDE Solvers OOPSLA Jacob Laurel Georgia Institute of Technology, Ignacio Laguna Lawrence Livermore National Laboratory, Jan Hueckelheim Argonne National Laboratory
15:15 15m Talk		Tunneling Through the Hill: Multi-Way Intersection for Version-Space Algebras in Program Synthesis OOPSLA Guanlin Chen Peking University, Ruyi Ji Peking University, Shuhao Zhang Peking University, Yingfei Xiong Peking University

16:00 - 17:30	RustOOPSLA at Orchid Plenary Ballroom

16:00 15m Talk		A Refinement Methodology for Distributed Programs in Rust OOPSLA Aurel Bílý ETH Zurich, João Pereira ETH Zurich, Peter Müller ETH Zurich
16:15 15m Talk		AutoVerus: Automated Proof Generation for Rust Code OOPSLA Chenyuan Yang University of Illinois Urbana-Champaign, Xuheng Li Columbia University, Md Rakib Hossain Misu University of California Irvine, Jianan Yao University of Toronto, Weidong Cui Microsoft Research, Yeyun Gong Microsoft Research, Chris Hawblitzel Microsoft Research, Shuvendu K. Lahiri Microsoft Research, Jacob R. Lorch Microsoft Research, n.n., Shuai Lu Microsoft Research, Fan Yang Microsoft Research Asia, Ziqiao Zhou Microsoft Research, Shan Lu Microsoft; University of Chicago
16:30 15m Talk		Carapace: Static–Dynamic Information Flow Control in Rust OOPSLA Vincent James Beardsley , Chris Xiong Ohio State University, Ada Lamba Ohio State University, Michael D. Bond Ohio State University
16:45 15m Talk		From Linearity to Borrowing OOPSLA Andrew Wagner Northeastern University, Olek Gierczak Northeastern University, Brianna Marshall Northeastern University, John Li Northeastern University, Amal Ahmed Northeastern University, USA
17:00 15m Talk		Garbage Collection for Rust: The Finalizer Frontier OOPSLA Jacob Hughes King's College London, Laurence Tratt King's College London
17:15 15m Talk		Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees OOPSLA Zachary Grannan University of British Columbia, Aurel Bílý ETH Zurich, Jonas Fiala ETH Zürich, Jasper Geer University of British Columbia, Markus de Medeiros New York University, Peter Müller ETH Zurich, Alexander J. Summers University of British Columbia

Mon 13 Oct
Displayed time zone: Perth change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Orchid Plenary Ballroom	ICFP Keynotes Monday ICFP Keynote																						ICFP Papers Dependent Types																																		ICFP Papers Distinguished Papers																												ICFP Papers + ICFP JFP First Papers Algorithms

Tue 14 Oct
Displayed time zone: Perth change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Orchid Plenary Ballroom	ICFP Keynotes Tuesday ICFP Keynote																						ICFP Papers + ICFP JFP First Papers Gradual Typing and Security																																		ICFP Papers Denotational Semantics																												ICFP Papers + ICFP Student Research Competition ICFP Business Meeting

Wed 15 Oct
Displayed time zone: Perth change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Orchid Plenary Ballroom	ICFP Keynotes Wednesday ICFP Keynote																						ICFP Papers + ICFP JFP First Papers Parametricity																																		ICFP Papers Separation Logic																												ICFP Papers

Thu 16 Oct
Displayed time zone: Perth change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Orchid Plenary Ballroom	SPLASH Keynotes Thursday SPLASH Keynote																		OOPSLA Code																																							OOPSLA Systems																											OOPSLA Parallelism

Fri 17 Oct
Displayed time zone: Perth change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
Orchid Plenary Ballroom	SPLASH Keynotes Friday SPLASH Keynote																		OOPSLA Compilation 3																																							OOPSLA Testing 1																											OOPSLA Testing 2																		OOPSLA Business Meeting and Awards

Sat 18 Oct
Displayed time zone: Perth change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Orchid Plenary Ballroom	SPLASH Keynotes Saturday SPLASH Keynote																		OOPSLA Synthesis 1																																							OOPSLA Synthesis 2																											OOPSLA Rust

Mon 13 Oct
Displayed time zone: Perth change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Orchid Plenary Ballroom	ICFP Keynotes Functional Programming for Hardware Design 09:00 - 10:10																						ICFP Papers 2-Functoriality of Initial Semantics, and Applications 10:50 - 11:15					ICFP Papers Bialgebraic Reasoning on Stateful Languages 11:15 - 11:40					ICFP Papers Frex: Dependently Typed Algebraic Simplification 11:40 - 12:05																								ICFP PapersDistinguished Paper Call-Guarded Abstract Definitional Interpreters 13:40 - 14:05					ICFP PapersDistinguished Paper Effectful Lenses: There and Back with Different Monads 14:05 - 14:30					ICFP PapersDistinguished Paper First-Order Laziness 14:30 - 14:55					ICFP PapersDistinguished Paper Multi-stage Programming with Splice Variables 14:55 - 15:20													ICFP Papers Pushing the Information-Theoretic Limits of Random Access Lists 16:00 - 16:25					ICFP Papers Truly Functional Solutions to the Longest Uptrend Problem (Functional P ... 16:25 - 16:50					ICFP JFP First Papers Bottom-up computation using trees of sublists 16:50 - 17:15					ICFP JFP First Papers You could have invented Fenwick trees 17:15 - 17:40

Tue 14 Oct
Displayed time zone: Perth change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Orchid Plenary Ballroom	ICFP Keynotes The Rational Programmer, A Method for Investigating Programming Languag ... 09:00 - 10:10																						ICFP Papers Robust Dynamic Embedding for Gradual Typing 10:50 - 11:15					ICFP JFP First Papers A simple blame calculus for explicit nulls 11:15 - 11:40					ICFP Papers SecRef*: Securely Sharing Mutable References between Verified and Unver ... 11:40 - 12:05																								ICFP Papers Fulls Seldom Differ 13:40 - 14:05					ICFP Papers Normalization by Evaluation for Non-cumulativity 14:05 - 14:30					ICFP Papers Type Theory in Type Theory using a Strictified Syntax 14:30 - 14:55					ICFP Papers Type Universes as Kripke Worlds 14:55 - 15:20													ICFP Papers ICFP Contest Report 16:00 - 16:30						ICFP Papers Award Ceremony 16:30 - 16:45			ICFP Student Research Competition SRC Awards 16:45 - 16:50	ICFP Papers PC Chair Report 16:50 - 17:05			ICFP Papers General Chair Report 17:05 - 17:15		ICFP Papers ICFP 2026 Announcement 17:15 - 17:25

Wed 15 Oct
Displayed time zone: Perth change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Orchid Plenary Ballroom	ICFP Keynotes Proof-Carrying Neuro-Symbolic Code 09:00 - 10:10																						ICFP Papers A Bargain for Mergesorts: How to Prove Your Mergesort Correct and Stabl ... 10:50 - 11:15					ICFP Papers CRDT Emulation, Simulation, and Representation Independence 11:15 - 11:40					ICFP JFP First Papers How much is in a square? Calculating functional programs with squares 11:40 - 12:05																								ICFP Papers Formal Semantics and Program Logics for a Fragment of OCaml 13:40 - 14:05					ICFP Papers Verified Interpreters for Dynamic Languages with Applications to the Ni ... 14:05 - 14:30					ICFP Papers Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic ... 14:30 - 14:55					ICFP Papers Reasoning about Weak Isolation Levels in Separation Logic 14:55 - 15:20

Thu 16 Oct
Displayed time zone: Perth change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Orchid Plenary Ballroom	SPLASH Keynotes Automating maintenance of the Linux kernel: a perspective over 20 years 09:00 - 10:00																		SPLASH OOPSLA ABC: Towards a Universal Code Styler through Model Merging 10:30 - 10:45			SPLASH OOPSLA Binary Cryptographic Function Identification via Similarity Analysis wi ... 10:45 - 11:00			SPLASH OOPSLA Boosting Program Reduction with the Missing Piece of Syntax-Guided Tran ... 11:00 - 11:15			SPLASH OOPSLA Code Style Sheets: CSS for Code 11:15 - 11:30			SPLASH OOPSLA Enhancing APR with PRISM: A Semantic-Based Approach to Overfitting Patc ... 11:30 - 11:45			SPLASH OOPSLA PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault P ... 11:45 - 12:00			SPLASH OOPSLA Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting S ... 12:00 - 12:15																					SPLASH OOPSLA A Unifying Approach to Product Constructions for Quantitative Temporal ... 13:45 - 14:00			SPLASH OOPSLA Contract System Metatheories à la Carte: A Transition-System View of C ... 14:00 - 14:15			SPLASH OOPSLA Incremental Bidirectional Typing via Order Maintenance 14:15 - 14:30			SPLASH OOPSLA Integrating Resource Analyses via Resource Decomposition 14:30 - 14:45			SPLASH OOPSLA Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiabilit ... 14:45 - 15:00			SPLASH OOPSLA Software Model Checking via Summary-Guided Search 15:00 - 15:15			SPLASH OOPSLA The Power of Regular Constraint Propagation 15:15 - 15:30									SPLASH OOPSLA Compressed and Parallelized Structured Tensor Algebra 16:00 - 16:15			SPLASH OOPSLA Exploring the Theory and Practice of Concurrency in the Entity-Componen ... 16:15 - 16:30			SPLASH OOPSLA HieraSynth: A Parallel Framework for Complete Super-Optimization with H ... 16:30 - 16:45			SPLASH OOPSLA Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness 16:45 - 17:00			SPLASH OOPSLA Opportunistically Parallel Lambda Calculus 17:00 - 17:15			SPLASH OOPSLA Soundness of Predictive Concurrency Analyses 17:15 - 17:30

Fri 17 Oct
Displayed time zone: Perth change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Orchid Plenary Ballroom	SPLASH Keynotes The Quest Toward that Perfect Compiler 09:00 - 10:00																		SPLASH OOPSLA Efficient Algorithms for the Uniform Tokenization Problem 10:30 - 10:45			SPLASH OOPSLA REPTILE: Performant Tiling of Recurrences 10:45 - 11:00			SPLASH OOPSLA SPLAT: A framework for optimised GPU code-generation for SParse reguLar ... 11:00 - 11:15			SPLASH OOPSLA Statically Analyzing the Dataflow of R Programs 11:15 - 11:30			SPLASH OOPSLA Static Inference of Regular Grammars for Ad Hoc Parsers 11:30 - 11:45			SPLASH OOPSLA Syntactic Completions with Material Obligations 11:45 - 12:00																								SPLASH OOPSLA An Empirical Evaluation of Property-Based Testing 13:45 - 14:00			SPLASH OOPSLA Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM 14:00 - 14:15			SPLASH OOPSLA Fuzzing C++ Compilers via Type-Driven Mutation 14:15 - 14:30			SPLASH OOPSLA Interleaving Large Language Models for Compiler Testing 14:30 - 14:45			SPLASH OOPSLA Model-guided Fuzzing of Distributed Systems 14:45 - 15:00			SPLASH OOPSLA Tuning Random Generators: Property-Based Testing as Probabilistic Progr ... 15:00 - 15:15			SPLASH OOPSLA UTFix: Change Aware Unit Test Repairing using LLM 15:15 - 15:30									SPLASH OOPSLA Bennet: Randomized Specification Testing for Heap-Manipulating Programs 16:00 - 16:15			SPLASH OOPSLA DepFuzz: Efficient Smart Contract Fuzzing with Function Dependence Guidance 16:15 - 16:30			SPLASH OOPSLA Extraction and Mutation at a High Level: Template-Based Fuzzing for Jav ... 16:30 - 16:45			SPLASH OOPSLA Finding Compiler Bugs through Cross-Language Code Generator and Differe ... 16:45 - 17:00			SPLASH OOPSLA Formalizing Linear Motion G-code for Invariant Checking and Differentia ... 17:00 - 17:15			SPLASH OOPSLA Understanding and Improving Flaky Test Classification 17:15 - 17:30			SPLASH OOPSLA SPLASH Awards 17:30 - 17:45

Sat 18 Oct
Displayed time zone: Perth change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Orchid Plenary Ballroom	SPLASH Keynotes Software Stacks for Confidential Computing Hardware 09:00 - 10:00																		SPLASH OOPSLA Abstraction Refinement-guided Program Synthesis for Robot Learning from ... 10:30 - 10:45			SPLASH OOPSLA API-guided Dataset Synthesis to Finetune Large Code Models 10:45 - 11:00			SPLASH OOPSLA Fast Constraint Synthesis for C++ Function Templates 11:00 - 11:15			SPLASH OOPSLA Hambazi: Spatial Coordination Synthesis for Augmented Reality 11:15 - 11:30			SPLASH OOPSLA Inductive Synthesis of Inductive Heap Predicates 11:30 - 11:45			SPLASH OOPSLA LOUD: Synthesizing Strongest and Weakest Specifications 11:45 - 12:00			SPLASH OOPSLA Metamorph: Synthesizing Large Objects from Dafny Specifications 12:00 - 12:15																					SPLASH OOPSLA Active Learning for Neurosymbolic Program Synthesis 13:45 - 14:00			SPLASH OOPSLA Language-Parametric Reference Synthesis 14:00 - 14:15			SPLASH OOPSLA Multi-Modal Sketch-based Behavior Tree Synthesis 14:15 - 14:30			SPLASH OOPSLA Synthesizing DSLs for Few-Shot Learning 14:30 - 14:45			SPLASH OOPSLA Synthesizing Implication Lemmas for Interactive Theorem Proving 14:45 - 15:00			SPLASH OOPSLA Synthesizing Sound and Precise Abstract Transformers for Nonlinear Hype ... 15:00 - 15:15			SPLASH OOPSLA Tunneling Through the Hill: Multi-Way Intersection for Version-Space Al ... 15:15 - 15:30									SPLASH OOPSLA A Refinement Methodology for Distributed Programs in Rust 16:00 - 16:15			SPLASH OOPSLA AutoVerus: Automated Proof Generation for Rust Code 16:15 - 16:30			SPLASH OOPSLA Carapace: Static–Dynamic Information Flow Control in Rust 16:30 - 16:45			SPLASH OOPSLA From Linearity to Borrowing 16:45 - 17:00			SPLASH OOPSLA Garbage Collection for Rust: The Finalizer Frontier 17:00 - 17:15			SPLASH OOPSLA Place Capability Graphs: A General-Purpose Model of Rust’s Ownership an ... 17:15 - 17:30

Room information: Orchid Plenary Ballroom

This program is tentative and subject to change.

Program Display Configuration

Mon 13 OctDisplayed time zone: Perth change

Tue 14 OctDisplayed time zone: Perth change

Wed 15 OctDisplayed time zone: Perth change

Thu 16 OctDisplayed time zone: Perth change

Fri 17 OctDisplayed time zone: Perth change

Sat 18 OctDisplayed time zone: Perth change

Mon 13 OctDisplayed time zone: Perth change

ICFP Keynotes

ICFP Papers

ICFP Papers

ICFP Papers + ICFP JFP First Papers

Tue 14 OctDisplayed time zone: Perth change

ICFP Keynotes

ICFP Papers + ICFP JFP First Papers

ICFP Papers

ICFP Papers + ICFP Student Research Competition

Wed 15 OctDisplayed time zone: Perth change

ICFP Keynotes

ICFP Papers + ICFP JFP First Papers

ICFP Papers

ICFP Papers

Thu 16 OctDisplayed time zone: Perth change

SPLASH Keynotes

OOPSLA

OOPSLA

OOPSLA

Fri 17 OctDisplayed time zone: Perth change

SPLASH Keynotes

OOPSLA

OOPSLA

OOPSLA

OOPSLA

Sat 18 OctDisplayed time zone: Perth change

SPLASH Keynotes

OOPSLA

OOPSLA

OOPSLA

Mon 13 OctDisplayed time zone: Perth change

Tue 14 OctDisplayed time zone: Perth change

Wed 15 OctDisplayed time zone: Perth change

Thu 16 OctDisplayed time zone: Perth change

Fri 17 OctDisplayed time zone: Perth change

Sat 18 OctDisplayed time zone: Perth change

Mon 13 Oct
Displayed time zone: Perth change

Tue 14 Oct
Displayed time zone: Perth change

Wed 15 Oct
Displayed time zone: Perth change

Thu 16 Oct
Displayed time zone: Perth change

Fri 17 Oct
Displayed time zone: Perth change

Sat 18 Oct
Displayed time zone: Perth change

Mon 13 Oct
Displayed time zone: Perth change

Tue 14 Oct
Displayed time zone: Perth change

Wed 15 Oct
Displayed time zone: Perth change

Thu 16 Oct
Displayed time zone: Perth change

Fri 17 Oct
Displayed time zone: Perth change

Sat 18 Oct
Displayed time zone: Perth change

Mon 13 Oct
Displayed time zone: Perth change

Tue 14 Oct
Displayed time zone: Perth change

Wed 15 Oct
Displayed time zone: Perth change

Thu 16 Oct
Displayed time zone: Perth change

Fri 17 Oct
Displayed time zone: Perth change

Sat 18 Oct
Displayed time zone: Perth change