Evolving the OCaml Programming Language (2025)
5 days ago
- #Programming Languages
- #OCaml
- #Concurrency
- Evolving the OCaml Programming Language at Ashoka University, Sep 2025
- Automatically Verifying Replicated Data Types at National University of Singapore, Aug 2025
- Superpowers for the Curious: Using AI tools in research at IIT Madras, July 2025
- OCaml’s Parallel Runtime System at Chalmers University of Technology, May 2025
- Concurrent and Parallel Programming with OCaml 5 at Bloomberg and IIT Gandhinagar, Mar 2025
- Memory Safety & Programming Languages at Schaeffler Group @ IITM, Feb 2025
- Towards smaller, safer, bespoke OSes with Unikernels at Daekin Cyber – IITM Research Workshop, Jan 2025
- Securing the foundations: Hardware-assisted secure Unikernels at CAIR, DRDO, Nov 2024
- Why OCaml? at Rezilyens, Coimbatore, Aug 2024
- Effective Composition of Concurrency Libraries at EHOP Seminar, Jul 2023
- OCaml 5.0 at OCaml Workshop Keynote, Sep 2022
- Retrofitting Concurrency – lessons from the engine room at ICFP Keynote, Sep 2022
- Certified Mergeable Replicated Data Types at PLDI, Jun 2022
- Retrofitting Parallelism onto OCaml at Marigold Tech Talk, Dec 2021
- Future of OCaml : Effect Handlers in OCaml 5.00 at Hwawei Strategy and Technology Workshop (STW), Oct 2021
- ParaFuzz: Fuzzing Multicore OCaml programs at Dagstuhl Meeting on Scalable Handling of Effects, Jul 2021
- Effective Programming in OCaml at Tarides Tech Talks, Apr 2021
- Multicore OCaml – What’s coming in 2021 at Nomadic Labs Research Seminar, Dec 2020
- Retrofitting Parallelism onto OCaml at ICFP 2020, Aug 2020
- Relational Reasoning for Mergeable Replicated Data Structures at MIT, Boston, May 2019
- Version Control is for your Data too at PACE Seminar, IIT Madras, Mar 2019
- State of Multicore OCaml at INRIA Gallium, Paris, Jun 2018
- Bounding Data Races in Space and Time at IIT Madras, Feb 2018
- A Deep Dive into Multicore OCaml Garbage Collector at IIT Madras, University of Cambridge, and JaneStreet Group, 2017
- Composable lock-free programming for Multicore OCaml at ABCD Meeting, University of Edinburgh, Nov 2016
- Practical Algebraic Effect Handlers in Multicore OCaml at LFCS Seminar, University of Edinburgh, Nov 2016
- Effective Concurrency and Parallelism in Multicore OCaml at IIT Madras and IIT Bombay, Nov 2016
- Effect handlers in Multicore OCaml at Dagstuhl Seminar, Mar 2016
- Concurrent and Multicore OCaml: A deep dive at Facebook, Menlo Park, CA, Jan 2016
- Multicore OCaml: Status Report at OCaml Developer’s workshop, Paris, Nov 2015
- Silence is Golden: Controlling Communication and Coordination in Distributed Databases at Darwin College Science Seminar, University of Cambridge, Oct 2015
- Effective Concurrency with Algebraic Effects at OCaml Workshop, Sep 2015
- Quelea: Declarative Programming over Eventually Consistent Data Stores at University of Cambridge, Apr 2015
- Functional Programming Abstractions for Weakly Consistent Systems at Purdue University, Dec 2014
- Functional Abstractions for Practical and Scalable Concurrent Programming at Microsoft Research, Cambridge, UK, Mar 2014
- Rx-CML: A Prescription for Safely Relaxing Synchrony at PADL ‘14, Jan 2014
- Migrating MultiMLton to the Cloud at ML Workshop ‘13, Sep 2013
- A Coherent and Managed Runtime for ML on the SCC at MARC ‘12, Nov 2012
- Eliminating Read Barriers through Procrastination and Cleanliness at ISMM ‘12 and Microsoft Research, Cambridge, 2012
- Lightweight Concurrency in GHC at Microsoft Research, Cambridge, May 2012
- Efficient Session Type guided Distributed Interaction at COORDINATION ‘12, Jun 2012