Peony NE - PLMW @ ICFP/SPLASH 2025

VenueMarina Bay Sands Convention Centre

Room namePeony NE

Floor4

Room number4412

Capacity90

Room Information

Venue floor plan

app-screen

Program

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

10:50 - 12:05	Programming for biodiversity and climatePROPL at Peony NE Chair(s): Dominic Orchard University of Cambridge; University of Kent

10:50 10m Day opening		Welcome to the 2nd PROPL PROPL Anil Madhavapeddy University of Cambridge, UK, KC Sivaramakrishnan IIT Madras and Tarides, Dominic Orchard University of Cambridge; University of Kent DOI File Attached
11:00 20m Talk		Programming Opportunities for the Global Biodiversity Observation Network Remote PROPL Jean-Michel Lord McGill University, Jamie M. Kass Tohoko University, Andrew Gonzalez McGill University, Michael Dales University of Cambridge, UK, Anil Madhavapeddy University of Cambridge, UK Link to publication Pre-print File Attached
11:20 20m Paper		Bridging Disciplinary Gaps in Climate Research Through Programming Accessibility and Interdisciplinary Collaboration Remote PROPL Cristian Urlea University Of Glasgow, Ana Denisa Urlea Romanian Air Traffic Services Administration, Wim Vanderbauwhede University of Glasgow, Adriana Laura Voinea University of Glasgow, UK, Syed Waqar Nabi University of Glasgow Link to publication DOI
11:40 20m Talk		Precision Action Towards Climate and Health (PATCH) Remote PROPL Dr. Angela Chaudhuri Swasti, Nitish Kumar Venkatesan Catalyst Management Services Pvt. Ltd., Prerakkumar Mukeshkumar Shah Catalyst Management Services Pvt. Ltd., Sabhimanvi Dua Swasti

13:40 - 15:20	Principled scientific programmingPROPL at Peony NE Chair(s): KC Sivaramakrishnan IIT Madras and Tarides

13:40 20m Paper		GPU-accelerated Hydrology Algorithms for On-prem Computation: Flow accumulation, Drainage lines, Watershed delineation, Runoff simulation PROPL rahul kumar , Vatsal Jingar IIT Delhi, Abhilash Jindal IIT Delhi, India, Aaditeshwar Seth Indian Institute Of Technology Delhi DOI
14:00 20m Talk		Authoring Tools for Transparent Climate Reporting PROPL Roly Perera University of Cambridge/University of Bristol, Joe Bond University of Bristol, UK, Cristina David University of Bristol, Andrew McNutt University of Utah, Alfonso Piscitelli University of Salerno
14:20 20m Talk		What we talk about when we talk about scientific programming PROPL Patrick Ferris University of Cambridge, UK Media Attached
14:40 20m Paper		A FAIR Case for a Live Computational Commons PROPL Cyrus Omar University of Michigan, Michael Coblenz University of California, San Diego, Anil Madhavapeddy University of Cambridge, UK DOI Pre-print
15:00 20m Paper		Towards Modelling and Verification of Coupler Behaviour in Climate Models PROPL Chinmayi Prabhu Baramashetru University of Oslo, Dominic Orchard University of Cambridge; University of Kent DOI Pre-print

16:00 - 17:40	Lightning talks and demosPROPL at Peony NE Chair(s): Anil Madhavapeddy University of Cambridge, UK

16:00 15m Talk		Challenges in Practice: Building a Usable Library for Planetary-Scale Embeddings PROPL Sadiq Jaffer University of Cambridge, Frank Feng University of Cambridge, Robin Young University of Cambridge, Srinivasan Keshav University of Cambridge, Anil Madhavapeddy University of Cambridge, UK, Robin Young University of Cambridge
16:15 15m Paper		STACD: STAC Extension with DAGs for Geospatial Data and Algorithm Management PROPL Saharsh Laud Indian Institute Of Technology Delhi, Saurabh Joshi Indian Institute Of Technology Delhi, Tarun Mangla Indian Institute Of Technology Delhi, Abhilash Jindal IIT Delhi, India, Aaditeshwar Seth Indian Institute Of Technology Delhi DOI
16:30 15m Talk		Spatial Programming for Environmental Monitoring PROPL Josh Millar Imperial College London, Ryan Gibb University of Cambridge, Roy Ang University of Cambridge, Hamed Haddadi Imperial College London, Anil Madhavapeddy University of Cambridge, UK
16:45 15m Paper		Yirgacheffe: a declarative approach to geospatial data Remote PROPL Michael Dales University of Cambridge, UK, Alison Eyres University of Cambridge, Patrick Ferris University of Cambridge, UK, Anil Madhavapeddy University of Cambridge, UK, Francesca A. Ridley Newcastle University, Simon Tarr IUCN DOI Media Attached
17:00 15m Other		Should we use LLMs to program for the planet? Remote PROPL Jay Torry University of Cambridge
17:15 15m Talk		Scaling the Urban Forest: An Integrated Framework for Managing Cities by Fusing Raster and Vector Data PROPL Andrés C. Zúñiga-González University of Cambridge, Anil Madhavapeddy University of Cambridge, UK, Ronita Bardhan University of Cambridge
17:30 10m Day closing		Closing thoughts from the chairs PROPL Anil Madhavapeddy University of Cambridge, UK, KC Sivaramakrishnan IIT Madras and Tarides, Dominic Orchard University of Cambridge; University of Kent

Tue 14 Oct
Displayed time zone: Perth change

10:50 - 12:05	Capabilities and ownership in ScalaThe Scala Workshop / IWACO at Peony NE Chair(s): Oliver Bračevac EPFL, LAMP, Hamza Remmal EPFL, LAMP

10:50 35m Keynote		Where Are We With Scala's Capabilities? The Scala Workshop K: Martin Odersky EPFL File Attached
11:25 20m Talk		System Capybara: Capture Tracking for Ownership and Borrowing The Scala Workshop Yichen Xu EPFL, Oliver Bračevac EPFL, LAMP, Martin Odersky EPFL File Attached
11:45 20m Talk		Capability-Safe Erasure in ScalaRemote The Scala Workshop Eugene Flesselle EPFL, Dimi Racordon EPFL, LAMP, Hamza Remmal EPFL, LAMP File Attached

13:40 - 15:20	Type systems 1IWACO at Peony NE Chair(s): Hemant Gouni Carnegie Mellon University

13:40 35m Keynote		Against Borrowing: Own the forest, not the trees! IWACO James Noble Independent. Wellington, NZ
14:15 25m Talk		A Verified Thread-Safe Array in Rust IWACO Sasha Pak Australian National University, Fabian Muehlboeck Australian National University, Alex Potanin Australian National University
14:40 25m Talk		Temporal Resource Typing: Enriching Substructural Typing for Liveness Reasoning IWACO Yiyuan Cao Peking University, Taro Sekiyama National Institute of Informatics
15:05 25m Talk		Bringing Fearless Concurrency to Swift IWACO Mae Milano Princeton University

16:00 - 17:40	Type systems 2IWACO at Peony NE Chair(s): Hemant Gouni Carnegie Mellon University

16:00 25m Talk		Type Universes as Kripke Worlds: Memory Management Edition IWACO Paulette Koronkevich University of British Columbia
16:25 25m Talk		Gradual Verification: Assuring Software Incrementally IWACO Jonathan Aldrich Carnegie Mellon University
16:50 25m Talk		Unfolding Expressions for Gradual Verification IWACO Hazel Torek Clemson University, Long Tien Nguyen Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University
17:15 25m Panel		Round table on ownership challenges IWACO Dimi Racordon EPFL, LAMP, Tobias Wrigstad Uppsala University, Hemant Gouni Carnegie Mellon University

Wed 15 Oct
Displayed time zone: Perth change

13:40 - 15:20	Session 1PAINT at Peony NE Chair(s): Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany

13:40 70m Talk		[Invited Talk] Notational Freedom via Self-Raising Diagrams PAINT Joel Jakubovic Charles University in Prague Media Attached
14:50 30m Talk		Block-based Editing in a Textual World PAINT Tom Beckmann Hasso Plattner Institute, Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam DOI Pre-print

16:00 - 17:40	Session 2PAINT at Peony NE Chair(s): Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany

16:00 30m Talk		TIDE: An Educational Live Programming Environment to Compose Graphics with PyTamaro PAINT Joey Bevilacqua USI Lugano, Nathan Coquerel Rennes University, Luca Chiodini USI Lugano, Igor Moreno Santos USI Lugano, Matthias Hauswirth USI Lugano DOI Pre-print Media Attached
16:30 30m Talk		The MNL: A Block-based Functional Programming Language with Reactive Blocks PAINT Steven Lolong University of Tübingen DOI Pre-print
17:00 30m Talk		Toward Bridging the Tool Gap: Equipping Large Language Models with Tools to Answer Programmers’ Questions PAINT Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany, Christoph Thiede Hasso Plattner Institute, University of Potsdam, Germany, Toni Mattis University of Potsdam; Hasso Plattner Institute, Tom Beckmann Hasso Plattner Institute, Jens Lincke Hasso Plattner Institute; University of Potsdam, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam DOI Pre-print
17:30 10m Day closing		Closing PAINT

Thu 16 Oct
Displayed time zone: Perth change

10:30 - 12:15	ML Workshop 1ML Family Workshop at Peony NE Chair(s): Chris Casinghino Jane Street

10:30 5m Day opening		Welcome ML Family Workshop Sam Westrick New York University
10:35 30m Talk		MsML: A Proposal for a successor MLRemote ML Family Workshop David MacQueen University of Chicago (Emeritus)
11:05 30m Talk		Range-Analysis-Based Optimization for SML/NJ ML Family Workshop John Reppy University of Chicago, Byron Zhong University of Chicago Pre-print
11:35 30m Talk		LunarML: From Standard ML to Scripting Languages ML Family Workshop Mizuki Arata None File Attached

13:45 - 15:30	ML Workshop 2ML Family Workshop at Peony NE Chair(s): Sam Westrick New York University

13:45 30m Talk		Freezing Bidirectional Typing (Extended Abstract) ML Family Workshop Wenhao Tang The University of Edinburgh, Shengyi Jiang The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Sam Lindley University of Edinburgh Pre-print
14:15 30m Talk		A typed approach to ontology manipulation (experience report) ML Family Workshop Davide Camino University of Torino, Italy, Andrea Zito University of Torino, Italy, Viviana Bono University of Torino, Lorenzo Bafunno University of Torino, Italy, Lorenzo Pasini University of Torino, Italy, Emanuele Rovaretto University of Torino, Italy
14:45 45m Talk		From CakeML to Proof Checking, and Back AgainInvited Talk ML Family Workshop Yong Kiam Tan Institute for Infocomm Research, A*STAR

16:00 - 17:30	ML Workshop 3ML Family Workshop at Peony NE Chair(s): Anton Lorenzen University of Edinburgh

16:00 30m Talk		Implicit modules, a middle step towards modular implicitsRemote ML Family Workshop Samuel Vivien INRIA & PSL, Didier Rémy Inria
16:30 30m Talk		A Core Language for Extended Pattern Matching and Binding Boolean Expressions ML Family Workshop Arthur Charguéraud Inria, Yanni Lefki Inria
17:00 30m Talk		Compositional Deep Argument Flattening ML Family Workshop Martin Elsman University of Copenhagen Pre-print

Fri 17 Oct
Displayed time zone: Perth change

10:30 - 12:15	Compiler & RuntimeOCaml at Peony NE Chair(s): Fermin Reig

10:30 30m Talk		Taming the Flat Float Array Optimization: Tracking Separability in the Type System OCaml Diana Kalinichenko Jane Street, Richard A. Eisenberg Jane Street File Attached
11:00 30m Talk		A Mechanically Verified Garbage Collector for OCaml OCaml Sheera Shamsu IIT Madras, Dipesh Kafle NIT Trichy, Tiruchirappalli, India, Dhruv Maroo IIT Madras, Chennai, Kartik Nagar IIT Madras, Karthikeyan Bhargavan Cryspen, France, KC Sivaramakrishnan IIT Madras and Tarides Link to publication DOI Pre-print Media Attached File Attached
11:30 30m Talk		OCaml Package Management with (only!) Dune OCaml Stephen Sherratt Tarides, Marek Kubica Tarides, Rudi Grinberg OCaml Labs File Attached

13:45 - 15:30	Community & EcosystemOCaml at Peony NE Chair(s): Sheera Shamsu IIT Madras

13:45 30m Talk		How the OCaml Community Established Its Code of ConductInvited Talk OCaml Sudha Parimala Tarides
14:15 30m Talk		Embedding WebAssembly in OCaml for Safe Program Construction OCaml Hunter DeMeyer University of Illinois Urbana-Champaign File Attached
14:45 30m Talk		smaws: An AWS SDK for OCaml OCaml Chris Armstrong File Attached

16:00 - 17:30	Future of OCamlOCaml at Peony NE Chair(s): Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)

16:00 30m Talk		Toward a More Secure OCaml EcosystemInvited Talk OCaml Maksim Grankin Bloomberg
16:30 30m Talk		Three steps for OCaml to crest the AI humps OCaml Sadiq Jaffer University of Cambridge, Jonathan Ludlam University of Cambridge, Ryan Gibb University of Cambridge, Thomas Gazagnaire Tarides, Anil Madhavapeddy University of Cambridge, UK File Attached
17:00 30m Talk		A New Era of OCaml Editing: Powered by Merlin, Delivered via LSP OCaml Xavier Van de Woestyne Tarides, Sonja Heinze Tarides, Ulysse Gérard Tarides, Muluh Godson Tarides File Attached

Sat 18 Oct
Displayed time zone: Perth change

10:30 - 12:15	Software EngineeringSponsor Invited Talks at Peony NE Chair(s): Qingkai Shi Nanjing University

10:30 15m Talk		Sponsors' Message Sponsor Invited Talks Yan Zhang
10:45 30m Talk		Modal Cangjie: A Preliminary Design Sponsor Invited Talks Xinyu Feng Nanjing University & Huawei
11:15 30m Talk		In the Specifications We Pursue Sponsor Invited Talks Zhendong Su ETH Zurich
11:45 30m Talk		Enhancing Software Engineering with Large Language Models: Insights, Challenges, and Future Directions Sponsor Invited Talks Xin Xia Zhejiang University

13:45 - 15:30	Programming Language & CompilerSponsor Invited Talks at Peony NE Chair(s): Zhiyang Chen University of Toronto 13:45 - 15:45 (Instead of 15:30), 30 min each talk

13:45 26m Talk		Programming Language Design for GPU Systems Sponsor Invited Talks Michel Steuwer Technische Universität Berlin
14:11 26m Talk		CStar: Unifying Programming and Verification in C Sponsor Invited Talks Di Wang Peking University
14:37 26m Talk		Supercharge Compiler Engineering with LLMs Sponsor Invited Talks Yongqiang Tian Monash University
15:03 26m Talk		Python, Is It Being Killed by Incremental Improvements? Sponsor Invited Talks Stefan Marr Johannes Kepler University Linz

16:00 - 17:30	Program Analysis & TestingSponsor Invited Talks at Peony NE Chair(s): Hongyu Liu Huawei China

16:00 30m Talk		Live Program Analysis for Security-Critical Scenarios Sponsor Invited Talks Zhiqiang Zuo Nanjing University
16:30 30m Talk		Automated Approaches for Software Migration and Evolution Sponsor Invited Talks Jiasi Shen The Hong Kong University of Science and Technology
17:00 30m Talk		SQLancer: From Research Prototype to Industry Use Sponsor Invited Talks Manuel Rigger National University of Singapore

Mon 13 Oct
Displayed time zone: Perth change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Peony NE											PROPL Programming for biodiversity and climate																																		PROPL Principled scientific programming																												PROPL Lightning talks and demos

Tue 14 Oct
Displayed time zone: Perth change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Peony NE											The Scala Workshop + IWACO Capabilities and ownership in Scala																																		IWACO Type systems 1																												IWACO Type systems 2

Wed 15 Oct
Displayed time zone: Perth change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Peony NE											PAINT																																		PAINT Session 1																												PAINT Session 2

Thu 16 Oct
Displayed time zone: Perth change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Peony NE							ML Family Workshop ML Workshop 1																																							ML Family Workshop ML Workshop 2																											ML Family Workshop ML Workshop 3

Fri 17 Oct
Displayed time zone: Perth change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Peony NE							OCaml Compiler & Runtime																																							OCaml Community & Ecosystem																											OCaml Future of OCaml

Sat 18 Oct
Displayed time zone: Perth change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Peony NE							Sponsor Invited Talks Software Engineering																																							Sponsor Invited Talks Programming Language & Compiler																											Sponsor Invited Talks Program Analysis & Testing

Mon 13 Oct
Displayed time zone: Perth change


Room	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
Peony NE											PROPL Welcome to the 2nd PROPL 10:50 - 11:00		PROPLRemote Programming Opportunities for the Global Biodiversity Observation Network 11:00 - 11:20				PROPLRemote Bridging Disciplinary Gaps in Climate Research Through Programming Acce ... 11:20 - 11:40				PROPLRemote Precision Action Towards Climate and Health (PATCH) 11:40 - 12:00																								PROPL GPU-accelerated Hydrology Algorithms for On-prem Computation: Flow accu ... 13:40 - 14:00				PROPL Authoring Tools for Transparent Climate Reporting 14:00 - 14:20				PROPL What we talk about when we talk about scientific programming 14:20 - 14:40				PROPL A FAIR Case for a Live Computational Commons 14:40 - 15:00				PROPL Towards Modelling and Verification of Coupler Behaviour in Climate Models 15:00 - 15:20												PROPL Challenges in Practice: Building a Usable Library for Planetary-Scale E ... 16:00 - 16:15			PROPL STACD: STAC Extension with DAGs for Geospatial Data and Algorithm Manag ... 16:15 - 16:30			PROPL Spatial Programming for Environmental Monitoring 16:30 - 16:45			PROPLRemote Yirgacheffe: a declarative approach to geospatial data 16:45 - 17:00			PROPLRemote Should we use LLMs to program for the planet? 17:00 - 17:15			PROPL Scaling the Urban Forest: An Integrated Framework for Managing Cities b ... 17:15 - 17:30			PROPL Closing thoughts from the chairs 17:30 - 17:40

Tue 14 Oct
Displayed time zone: Perth change


Room	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
Peony NE											The Scala Workshop Where Are We With Scala's Capabilities? 10:50 - 11:25							The Scala Workshop System Capybara: Capture Tracking for Ownership and Borrowing 11:25 - 11:45				The Scala WorkshopRemote Capability-Safe Erasure in Scala 11:45 - 12:05																							IWACO Against Borrowing: Own the forest, not the trees! 13:40 - 14:15							IWACO A Verified Thread-Safe Array in Rust 14:15 - 14:40					IWACO Temporal Resource Typing: Enriching Substructural Typing for Liveness R ... 14:40 - 15:05					IWACO Bringing Fearless Concurrency to Swift 15:05 - 15:30											IWACO Type Universes as Kripke Worlds: Memory Management Edition 16:00 - 16:25					IWACO Gradual Verification: Assuring Software Incrementally 16:25 - 16:50					IWACO Unfolding Expressions for Gradual Verification 16:50 - 17:15					IWACO Round table on ownership challenges 17:15 - 17:40

Wed 15 Oct
Displayed time zone: Perth change


Room	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
Peony NE									PAINT [Invited Talk] Notational Freedom via Self-Raising Diagrams 13:40 - 14:50														PAINT Block-based Editing in a Textual World 14:50 - 15:20														PAINT TIDE: An Educational Live Programming Environment to Compose Graphics w ... 16:00 - 16:30						PAINT The MNL: A Block-based Functional Programming Language with Reactive Blocks 16:30 - 17:00						PAINT Toward Bridging the Tool Gap: Equipping Large Language Models with Tool ... 17:00 - 17:30						PAINT Closing 17:30 - 17:40

Thu 16 Oct
Displayed time zone: Perth change


Room	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
Peony NE							ML Family Workshop Welcome 10:30 - 10:35	ML Family WorkshopRemote MsML: A Proposal for a successor ML 10:35 - 11:05						ML Family Workshop Range-Analysis-Based Optimization for SML/NJ 11:05 - 11:35						ML Family Workshop LunarML: From Standard ML to Scripting Languages 11:35 - 12:05																										ML Family Workshop Freezing Bidirectional Typing (Extended Abstract) 13:45 - 14:15						ML Family Workshop A typed approach to ontology manipulation (experience report) 14:15 - 14:45						ML Family WorkshopInvited Talk From CakeML to Proof Checking, and Back Again 14:45 - 15:30															ML Family WorkshopRemote Implicit modules, a middle step towards modular implicits 16:00 - 16:30						ML Family Workshop A Core Language for Extended Pattern Matching and Binding Boolean Expre ... 16:30 - 17:00						ML Family Workshop Compositional Deep Argument Flattening 17:00 - 17:30

Fri 17 Oct
Displayed time zone: Perth change


Room	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
Peony NE							OCaml Taming the Flat Float Array Optimization: Tracking Separability in the ... 10:30 - 11:00						OCaml A Mechanically Verified Garbage Collector for OCaml 11:00 - 11:30						OCaml OCaml Package Management with (only!) Dune 11:30 - 12:00																											OCamlInvited Talk How the OCaml Community Established Its Code of Conduct 13:45 - 14:15						OCaml Embedding WebAssembly in OCaml for Safe Program Construction 14:15 - 14:45						OCaml smaws: An AWS SDK for OCaml 14:45 - 15:15															OCamlInvited Talk Toward a More Secure OCaml Ecosystem 16:00 - 16:30						OCaml Three steps for OCaml to crest the AI humps 16:30 - 17:00						OCaml A New Era of OCaml Editing: Powered by Merlin, Delivered via LSP 17:00 - 17:30

Sat 18 Oct
Displayed time zone: Perth change


Room	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
Peony NE							Sponsor Invited Talks Sponsors' Message 10:30 - 10:45			Sponsor Invited Talks Modal Cangjie: A Preliminary Design 10:45 - 11:15						Sponsor Invited Talks In the Specifications We Pursue 11:15 - 11:45						Sponsor Invited Talks Enhancing Software Engineering with Large Language Models: Insights, Ch ... 11:45 - 12:15																								Sponsor Invited Talks Programming Language Design for GPU Systems 13:45 - 14:11					Sponsor Invited Talks CStar: Unifying Programming and Verification in C 14:11 - 14:37					Sponsor Invited Talks Supercharge Compiler Engineering with LLMs 14:37 - 15:03						Sponsor Invited Talks Python, Is It Being Killed by Incremental Improvements? 15:03 - 15:30											Sponsor Invited Talks Live Program Analysis for Security-Critical Scenarios 16:00 - 16:30						Sponsor Invited Talks Automated Approaches for Software Migration and Evolution 16:30 - 17:00						Sponsor Invited Talks SQLancer: From Research Prototype to Industry Use 17:00 - 17:30

Room information: Peony NE

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

PROPL

PROPL

PROPL

Tue 14 Oct
Displayed time zone: Perth change

The Scala Workshop + IWACO

IWACO

IWACO

Wed 15 Oct
Displayed time zone: Perth change

PAINT

PAINT

PAINT

Thu 16 Oct
Displayed time zone: Perth change

ML Family Workshop

ML Family Workshop

ML Family Workshop

Fri 17 Oct
Displayed time zone: Perth change

OCaml

OCaml

OCaml

Sat 18 Oct
Displayed time zone: Perth change

Sponsor Invited Talks

Sponsor Invited Talks

Sponsor Invited Talks

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

Tracks

Room information: Peony NE

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

PROPL

PROPL

PROPL

Tue 14 OctDisplayed time zone: Perth change

The Scala Workshop + IWACO

IWACO

IWACO

Wed 15 OctDisplayed time zone: Perth change

PAINT

PAINT

PAINT

Thu 16 OctDisplayed time zone: Perth change

ML Family Workshop

ML Family Workshop

ML Family Workshop

Fri 17 OctDisplayed time zone: Perth change

OCaml

OCaml

OCaml

Sat 18 OctDisplayed time zone: Perth change

Sponsor Invited Talks

Sponsor Invited Talks

Sponsor Invited Talks

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