Get the latest tech news

Evolving the OCaml Programming Language (2025)

S 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 Concurrency – lessons from the engine room ICFP Keynote, Sep 2022 [slides (pdf)] [slides (key)] [video (youtube)] Certified Mergeable Replicated Data Types PLDI, Jun 2022 [slides (pdf)] [slides (key)] [video (youtube)] Certified Mergeable Replicated Data Types Nomadic Labs Research Seminars, Apr 2022 [slides (pdf)] [slides (key)] [video (youtube)] Retrofitting Parallelism onto OCaml Marigold Tech Talk, Dec 2021 Future of OCaml : Effect Handlers in OCaml 5.00 Hwawei Strategy and Technology Workshop (STW), Oct 2021 [slides (pdf)] [slides (key)] Retrofitting Effect Handlers onto OCaml SimCorp, Sep 2021 [slides (pdf)] [slides (key)] Retrofitting Parallelism onto OCaml SimCorp, Sep 2021 [slides (pdf)] [slides (key)] ParaFuzz: Fuzzing Multicore OCaml programs Dagstuhl Meeting on Scalable Handling of Effects, Jul 2021 [slides (pdf)] [slides (key)] Retrofitting Effect Handlers onto OCaml Dagstuhl Meeting on Scalable Handling of Effects, Jul 2021 [slides (pdf)] [slides (key)] Effective Programming in OCaml WebAssembly Stacks Sub-group, Jun 2021 Retrofitting Effect Handlers onto OCaml PLDI 2021, Jun 2021 Multicore Support for Tezos Blockchain IITM / UZH Blockchain center round table, May 2021 [slides (pdf)] [slides (key)] Effective Programming in OCaml Tarides Tech Talks, Apr 2021 Effective Programming in OCaml Jet Brains, Apr 2021 [slides (pdf)] [slides (key)] Effective Programming in OCaml Lambda Days, Feb 2021 [slides (pdf)] [slides (key)] Effect handlers in Multicore OCaml NUS PLV Research Seminar, Dec 2020 [slides (pdf)] [slides (key)] Multicore OCaml – What’s coming in 2021 Nomadic Labs Research Seminar, Dec 2020 [slides (pdf)] [slides (key)] Retrofitting Parallelism onto OCaml ICFP 2020, Aug 2020 [slides (pdf)] [slides (key)] Effect Handlers in Multicore OCaml WebAssembly Community Group meeting, Aug 2020 [slides (pdf)] [slides (key)] Relational Reasoning for Mergeable Replicated Data Structures MIT, Boston, May 2019 [slides (pdf)] [slides (key)] Version Control is for your Data too PACE Seminar, IIT Madras, Mar 2019 Retrofitting a Concurrent GC onto OCaml [slides (pdf)] [slides (key)] GLASS Seminar, University of Glasgow, Oct 2018 Concurrent System Programming with Effect Handlers [slides (pdf)] [slides (key)] Invited Seminar, University of Sussex, Oct 2018 State of Multicore OCaml INRIA Gallium, Paris, Jun 2018 [slides (pdf)] [slides (key)] Bounding Data Races in Space and Time Department Seminar, Computer Science and Engineering, IIT Madras, Feb 2018 [slides (pdf)] [slides (key)] A Deep Dive into Multicore OCaml Garbage Collector † Department Seminar, Computer Science and Engineering, IIT Madras, Oct 2017 † System Research Group (SRG) seminar, Computer Laboratory, University of Cambridge, Jul 2017 † JaneStreet Group, New York, Jul 2017 [Annotated slides][slides (pdf)] [slides (key)] Composable lock-free programming for Multicore OCaml ABCD Meeting, University of Edinburgh, Nov 2016 [slides (pdf)] [slides (key)] Practical Algebraic Effect Handlers in Multicore OCaml LFCS Seminar, University of Edinburgh, Nov 2016 [slides (pdf)] [slides (key)] Effective Concurrency and Parallelism in Multicore OCaml † Invited Seminar, IIT Madras, Nov 2016 † Invited Seminar, IIT Bombay, Nov 2016 Effective parallelism with Reagents London Facebook Faculty Summit - Facebook London, UK, Sep 2016 [slides (pdf)] [slides (key)] Multicore OCaml and Programming with Reagents LDN Functionals, Jane Street UK, London, Aug 2016 [video] [slides (pdf)] [slides (key)] Effect handlers in Multicore OCaml Dagstuhl Seminar, Mar 2016 [slides (pdf)] [slides (key)] Arrows and Reagents Invited Lecture, Advanced Functional Programming, Mar 2016 [slides (pdf)] [slides (key)] Concurrent and Multicore OCaml: A deep dive Facebook, Menlo Park, CA, Jan 2016 [slides (pdf)] [slides (key)] Multicore OCaml: Status Report OCaml Developer’s workshop, Paris, Nov 2015 The state of the OCaml Platform OCaml Consortium Meeting, Paris, Nov 2015 Silence is Golden: Controlling Communication and Coordination in Distributed Databases Darwin College Science Seminar, University of Cambridge, Oct 2015 Effective Concurrency with Algebraic Effects OCaml Workshop, Sep 2015 Quelea: Declarative Programming over Eventually Consistent Data Stores University of Cambridge, Apr 2015 Functional Programming Abstractions for Weakly Consistent Systems Purdue University, Dec 2014 Functional Abstractions for Practical and Scalable Concurrent Programming Microsoft Research, Cambridge, UK, Mar 2014 [slides (pdf)] [slides (pptx)] Rx-CML: A Prescription for Safely Relaxing Synchrony PADL ‘14, Jan 2014 Migrating MultiMLton to the Cloud ML Workshop ‘13, Sep 2013 A Coherent and Managed Runtime for ML on the SCC MARC ‘12, Nov 2012 Eliminating Read Barriers through Procrastination and Cleanliness † ISMM ‘12, Jun 2012 † Wrestling Wednesdays, Microsoft Research, Cambridge, May 2012 Lightweight Concurrency in GHC Microsoft Research, Cambridge, May 2012 [slides (pdf)] [slides (pptx)] Efficient Session Type guided Distributed Interaction COORDINATION ‘12, Jun 201.

Silence is Golden: Controlling Communication and Coordination in Distributed Databases Darwin College Science Seminar, University of Cambridge, Oct 2015 Quelea: Declarative Programming over Eventually Consistent Data Stores University of Cambridge, Apr 2015 Eliminating Read Barriers through Procrastination and Cleanliness † ISMM ‘12, Jun 2012 † Wrestling Wednesdays, Microsoft Research, Cambridge, May 2012

Get the Android app