Talks
- 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