19 Jan 2020
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. While the course had
been traditionally offered in Lisp and Prolog, I introduced OCaml instead of
Lisp. All of the lectures were delivered through interactive Jupyter
notebooks. The assignments were also distributed as Jupyter notebooks and
evaluated through autograder facility in Jupyter. There has since been several
requests to replicate this setup elsewhere. Hence, I thought I should write
about the set up and experience of teaching through Jupyter notebooks.
16 Sep 2019
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.
28 Apr 2019
Multicore OCaml comes with
a concurrent garbage
the garbage collector and the mutator threads run concurrently. Debugging
concurrent GC bugs has been the most frustrating / satisfying (when fixed) part
of Multicore OCaml development. rr, a record and
replay tool has made debugging concurrent GC bugs a sustainable exercise. In
this short post, I’ll describe why.
22 Apr 2019
I am chairing the PC for ML family workshop this year. The PC is happy to invite
submissions for the workshop to be held during the ICFP conference week on
Thursday 22nd August 2019.
ML family workshop invites submissions touching on the programming languages
traditionally seen as part of the “ML family”. However, we are also keen to
receive submissions from other related language groups. If you have questions
about the suitability of your work for the workshop, please feel free to write
29 Mar 2019
It has been 3 months since I joined IIT Madras and it
has been good fun so far. Along with the members of the RISE
group, we’ve initiated a project to build secure
applications on top of secure extensions of the open-source
Shakti RISC-V processor ecosystem. Unsurprisingly, my
language of choice to build the applications is OCaml.
Given the availability of rich ecosystem of libraries under the
MirageOS library operating system for building unikernels,
we hope to minimise the amount of unsafe C code that the hardware has to contend
with and protect exploits against. As a first step, we have managed to get OCaml
programs to run on directly on top of the Shakti processor running in simulation
under QEMU and Spike ISA simulators without an intervening operating system.
13 Sep 2018
Over the past few weeks, at OCaml Labs, we’ve deployed
continuous benchmarking infrastructure for Multicore
OCaml. Live results are available
at http://ocamllabs.io/multicore. Continuous
benchmarking has already enabled us to make informed
decisions about the
impact of our changes, and should come in handy over the next few months where
we polish off and tune the multicore runtime.
16 Aug 2018
Andrej Bauer and I are editing a special issue of JFP
on the theory and practice of algebraic effects and handlers. The CfP is below.
06 Jul 2017
I recently gave a talk on the internals of multicore OCaml GC at Jane Street
offices in NYC. The slides from the talk are available
online. But I felt that
the slides alone aren’t particularly edifying. This post is basically the slides
from the talk annotated with notes.
13 Jun 2017
We recently published a paper on concurrent system programming with effect
handlers. In this paper, we show
that with the help of effect handlers, we could express in direct-style,
various interactions of a concurrent program with OS services that typically
require callbacks. The question is what do we do about legacy code that uses
monadic concurrency libraries such as Lwt and Async. Surely a wholesale rewrite
of all Lwt and Async code is a no go. This post is an exploration of some ideas
to make Lwt and Async compatible with direct-style code.
05 Mar 2017
One of the key indicators of maturity of a language ecosystem is the ease of
building, managing and publishing software packages in that language. OCaml
platform has made steady progress in the last few years to this end. While
OPAM simplified package (and compiler) management,
the developing and publishing packages remained a constant pain point. This
situation has remarkably improved recently with the
Carcass. This post provides a short
overview of my workflow for building and publishing an OCaml package using Topkg