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 2012