ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore

This program is tentative and subject to change.

Fri 17 Oct 2025 14:45 - 15:15 at Peony NE - Community & Ecosystem

This presentation introduces smaws, a new Amazon Web Services (AWS) Software Development Kit (SDK) implementation for OCaml that leverages its type safety and effects-based concurrency to create a modern library for interfacing with AWS cloud computing services. smaws uses AWS’s Smithy interface definition language (IDL) to generate the SDK, taking advantage of an existing ecosystem of specifications and compliance tests. It explores the fundamental design challenges of creating developer-facing libraries in OCaml, where decisions about abstraction, validation, and ecosystem integration have long-standing implications for both usability and maintainability. We will also look at existing OCaml libraries in this space, and the relative merits of Smithy as a new IDL.

This program is tentative and subject to change.

Fri 17 Oct

Displayed time zone: Perth change

13:45 - 15:30
Community & EcosystemOCaml at Peony NE
13:45
30m
Talk
How the OCaml Community Established Its Code of ConductInvited Talk
OCaml
14:15
30m
Talk
Embedding WebAssembly in OCaml for Safe Program Construction
OCaml
Hunter DeMeyer University of Illinois Urbana-Champaign
14:45
30m
Talk
smaws: An AWS SDK for OCaml
OCaml