I was gobsmacked to get a note from the SIGARCH ASPLOS steering committee that our 2013 paper "Unikernels: library operating systems for the cloud" won the most influential paper award at the conference last week! I couldn't make it to Rotterdam myself due to the travel time, but Richard Mortier was already there and so accepted the award on the whole team's behalf!

Over in my EEG group, we have a lot of primary and secondary datasets lying around: 100s of terabytes of satellite imagery, biodiversity data, academic literature, and the intermediate computations that go along with them. Our trusty central shared storage server running TrueNAS stores data in ZFS and serves it over NFSv4 to a bunch of hosts.

Dominic Orchard and I had a blast running the first PROPL workshop a couple of years ago, with a full room and engaged audience in POPL in London. Last year, our sister conference LOCO took over, and it's our turn again this year! PROPL will return for a second outing in October, co-located with ICFP/SPLASH in Singapore in October.

Effects based scheduling for the OCaml compiler pipeline This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Lucas Ma. It is co-supervised with David Allsopp. In order to compile the OCaml program foo.ml containing: Stdlib.print_endline "Hello, world" the OCaml compilers only require the compiled stdlib.cmi interface to exist in order to determine the type of Stdlib.print_endline.

Battery-free wildlife monitoring with Riotee This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Dominico Parish. It is co-supervised with Josh Millar. Monitoring wildlife in the field today relies heavily on battery-powered devices, like GPS collars or acoustic recorders.

3D printing the planet (or bits of it) This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Finley Stirk. It is co-supervised with Michael Dales. Thanks to a combination of satellite information, remote sensors and data-science, we now are able to reason about places all over the globe from the comfort of our desks and offices.

Runtimes à la carte: crossloading native and bytecode OCaml This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Jeremy Chen. It is co-supervised with David Allsopp.

Using graph theory to define data-driven ecoregion and bioregion maps This is an idea proposed in 2025 as a good starter project, and is available for being worked on. It may be co-supervised with Daniele Baisero and Michael Dales.

An access library for the world crop, food production and consumption datasets This is an idea proposed in 2025 as a good starter project, and is available for being worked on. It may be co-supervised with Alison Eyres and Thomas Ball. Agricultural habitat degradation is a leading threat to global biodiversity.

Bidirectional Hazel to OCaml programming This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Max Carroll. It is co-supervised with Patrick Ferris and Cyrus Omar. Hazel is a pure subset of OCaml with a live functional programming environment that is able to typecheck, manipulate, and even run incomplete programs.

Autoscaling geospatial computation with Python and Yirgacheffe This is an idea proposed in 2025 as a good starter project, and is available for being worked on. It may be co-supervised with Michael Dales. Python is a popular tool for geospatial data-science, but it, along with the GDAL library, handle resource management poorly. Python does not deal with parallelism well and GDAL can be a memory hog when parallelised.