KC Sivaramakrishnan - Scalable Functional Programming

I am building a course, “Functional Programming with OCaml”, for the NPTEL MOOC platform: twelve modules of recorded lectures.

In the previous post on capsules, I cheated.

In the previous post we fixed the racy gensym with Portable.Atomic.

A while back I wired up x-ocaml so this blog could embed live, editable OCaml notebooks.

What does it mean for a replicated data type to be correct?

How do you acquire the fundamental computer skills to hack on a complex systems project like OCaml?

Can we have OCaml notebooks as pure client-side code?

In the last post, we looked at uniqueness mode and how uniqueness may be used to optimise.

Jane Street has been developing modal types for OCaml – an extension to the type system where modes track properties of values, such as their scope, thread sharing, and aliasing.

Recently, I posted on X and LinkedIn that I am always looking for excellent people to join my group.

Off-CPU analysis is where the program behavior when it is not running is recorded and analysed.

A number of folks who regularly use OCaml were surprised to learn that you can reasonably debug OCaml programs using gdb.

Last semester at IIT Madras, I taught a revamped core course CS3100 Paradigms of Programming, which introduces 3rd-year students to functional and logic programming paradigms.

Multiple Research Software Engineer positions are available in the Department of Computer Science and Engineering at the Indian Institute of Technology, Madras to develop Multicore OCaml and enable Tezos ecosystem to benefit from Multicore OCaml.

Multicore OCaml comes with a concurrent garbage collector, where the garbage collector and the mutator threads run concurrently.

I am chairing the PC for ML family workshop this year.

It has been 3 months since I joined IIT Madras and it has been good fun so far.

Over the past few weeks, at OCaml Labs, we’ve deployed continuous benchmarking infrastructure for Multicore OCaml.

Andrej Bauer and I are editing a special issue of JFP on the theory and practice of algebraic effects and handlers.

I recently gave a talk on the internals of multicore OCaml GC at Jane Street offices in NYC.

We recently published a paper on concurrent system programming with effect handlers.

One of the key indicators of maturity of a language ecosystem is the ease of building, managing and publishing software packages in that language.

Ezirmin is an easy interface over the Irmin, a library database for building persistent mergeable data structures based on the principles of Git.

Behavioural types such as session types, contracts and choreography describe the behaviour of a software entity as a sequence of operations on a resource such as a communication channel, web service session or a file descriptor.

Efficient concurrent programming libraries are essential for taking advantage of fine-grained parallelism on multicore hardware.

This is a short tutorial on how to build Reason apps for an ARM target with the help of Docker.

In the last post, I described a flat allocation profiler for OCaml 4.02 bytecode interpreter.

This post describes a simple flat allocation profiler for OCaml 4.02 bytecode interpreter.

I recently gave a talk on Algebraic Effects in OCaml at the OCaml Workshop 2015.

In the previous post, I presented a simple cooperative multithreaded scheduler written using algebraic effects and their handlers.

Algebraic effects and handlers provide a modular abstraction for expressing effectful computation, allowing the programmer to separate the expression of an effectful computation from its implementation.

OPAM has a great compiler switch feature that lets you simultaneously host several OCaml installations, each with its own compiler version and a set of installed packages.