Evolving the OCaml Programming Language (2025)

Summary

Evolving the OCaml Programming Language CS Colloquium, Ashoka University, Sep 2025 [slides (pdf)] [slides (key)] Automatically Verifying Replicated Data Types School of Computing, National University of Singapore, Aug 2025 [slides (pdf)] [slides (key)] Superpowers for the Curious: Using AI tools in your research journey IIT Madras, July 2025 [slides (pdf)] [slides (key)] OCaml’s Parallel Runtime System Guest Lecture, Parallel Functional Programming Chalmers University of Technology, May 2025 [slides (pdf)] [slides (key)] Automatically Verifying Replicated Data Types WG 2.8 2025, May 2025 [slides (pdf)] [slides (key)] Concurrent and Parallel Programming with OCaml 5 Bloomberg, Mar 2025 [slides (pdf)] [slides (key)] Concurrent and Parallel Programming with OCaml 5 IIT Gandhinagar, Mar 2025 [slides (pdf)] [slides (key)] Concurrent and Parallel Programming with OCaml 5 (part 1) PACE Lab Research Huddle, Feb 2025 [slides (pdf)] [slides (key)] Memory Safety & Programming Languages Schaeffler Group @ IITM, Feb 2025 [slides (pdf)] [slides (key)] Towards smaller, safer, bespoke OSes with Unikernels Daekin Cyber – IITM Research Workshop, Jan 2025 [slides (pdf)] [slides (key)] Securing the foundations: Hardware-assisted secure Unikernels CAIR, DRDO, Nov 2024 [slides (pdf)] [slides (key)] Concurrent and Parallel Programming in OCaml 5 Meta, London, Sep 2024 [slides (pdf)] [slides (key)] Why OCaml? Rezilyens, Coimbatore, Aug 2024 [slides (pdf)] [slides (key)] Concurrent Programming with Effect Handlers Chalmers University of Technology, May 2024 [slides (pdf)] [slides (key)] Securing Functional Programs with Hardware Support WG 2.8 2024, Apr 2024 [slides (pdf)] [slides (key)] Effective Composition of Concurrency Libraries EHOP Seminar, Jul 2023 [slides (pdf)] [slides (key)] Mergeable Replicated Data Types Seminar at Collège de France, Apr 2023 [slides (pdf)] [slides (key)] [video (youtube)] OCaml 5.0 OCaml Workshop Keynote, Sep 2022 [slides (pdf)] [slides (key)] Retrofitting Con...