February 2026
First TESSERA hackathon held at the Indian AI Impact Summit in Delhi, exploring integration with IIT-Delhi's CoRE Stack for geospatial analysis and testing TESSERA labeling workflows.
Growing the Ceph cluster for TESSERA embeddings, a Lego brainstorming session for the Evidence TAP, hosting Echo Labs from ARIA, and Shane's IUCN Red List seminar.
PhD viva for Maddy, presenting TESSERA at ARIA, Nature covers the conservation evidence conference, giving evidence to Parliamentary POST, and a CACM interview.
Hosting the UK chief scientists for nature conservation at Pembroke to discuss TESSERA and AI for biodiversity, followed by the Conservation Evidence conference where I talked about choosing the open red pill over black-box AI for conservation decision-making.
Building httpz, a high-performance HTTP/1.1 parser with zero heap allocation using OxCaml's unboxed types, local allocations, and mutable local variables.
Deploying an OxCaml zero-allocation webserver, OCaml CI maintenance and opam versioning, and OCaml Workshop and FOSDEM talks
January 2026
Tracking TESSERA activity including a new preprint and podcast, wrestling with Zarr, and saying farewell to David Allsopp.
Scaling TESSERA embeddings on Vultr AMD GPUs, speaking at the AI4Nature launch in London, and picking up Tomas Petricek's new PL book.
Our new paper in Biological Conservation demonstrates how the LIFE extinction risk metric can be applied across five diverse case studies, from real-time tropical deforestation monitoring to evaluating conservation project effectiveness.
Hosting the Conservation Evidence conference at Pembroke, recovering from the India trip, and keeping up with LLM developments.
A prebuilt Docker devcontainer for sandboxed OCaml and OxCaml development with Claude Code, including multiarch builds and network isolation.
Family travels through Udaipur, Vijayawada and Hyderabad, visiting temples and villages, plus kicking off the TESSERA 2025 embeddings.
My favourite books, podcasts and recommendations from 2025, covering moral ambition, maps, wolves, AI dystopias, geopolitics, Chennai history, and the best tech podcasts.
December 2025
An exploration of agentic programming through building useful OCaml libraries daily using Claude Code while establishing groundrules for responsible development.
Wrapping up 25 days of agentic coding with a Claude Code OCaml plugin marketplace to share the skills and tools developed throughout the series.
Tuatara is a feed aggregator that integrates Claude to evolve and patch its own code when encountering parsing errors, embodying the concept of self-healing software.
Introducing unpac, a tool that unifies git and package management into a single workflow where all code dependencies live in one repository as trackable branches.
Critiquing ACM's paywalled AI paper summaries and proposing better alternatives like open feeds, easier downloads, provenance tracking, and personalised agentic interfaces.
Materialising opam metadata into git submodules and monorepos, enabling cross-cutting fixes and unified odoc3 documentation across dozens of OCaml libraries.
Porting the W3C's Nu HTML Validator from Java to OCaml and running in the browser dynamically
Porting the Nu HTML Validator's language detection to OCaml, then optimizing from 115MB to 28MB and fixing WASM array limits for browser deployment.
Building an OCaml Zulip bot framework with functional handlers, and pivoting from TOML to INI codecs for Python configparser compatibility
Building tomlt, a pure OCaml TOML 1.1 parser with bidirectional codecs following the jsont design patterns
Building an OCaml JMAP client that runs in browsers and CLI, then using it to build personalised email workflows for taming notification overload.
Building interactive OCaml tutorials that compile to JavaScript, using agents to generate executable documentation that teaches protocols like JSON Pointer while you code review.
Vibespiling JustHTML from Python to pure OCaml, achieving 100% pass rate on the browser html5lib test suite using agentic workflows.
Vibe coding an OCaml library for the Karakeep bookmarking service by giving an agent a live API key and letting it debug jsont codecs against the real service.
Agentically synthesising a batteries-included OCaml HTTP client by gathering recommendations from fifty open-source implementations across JavaScript, Python, Java, Rust, Swift, Haskell, Go, C++, PHP and shell.
Building a TCP/TLS connection pooling library for Eio with DNS-based load balancing, stacked error handling, and self-contained HTML visualisations for stress test results.
Synthesizing three RFC-compliant libraries (punycode, public-suffix, and cookeio) directly from Internet RFC specifications, establishing a workflow for automating standards implementation with proper cross-referencing to spec sections.
Building a simpler single-process terminal UI for Sortal using Mosaic's effects-based direct-style API, with Eio integration and discovering multimodal image debugging for terminal layouts.
Experimenting with OxCaml's bonsai_term framework for Sortal's terminal UI, navigating Eio-Async interoperability challenges through JSON-RPC while discovering image-based debugging techniques for terminal applications.
Report from a COAR conference on transforming scholarly publishing through the Publish, Review, Curate model, discussing diamond open access, early career challenges, and expanding open infrastructure to datasets and code.
Creating Sortal, a CLI contacts management application using Yaml storage, XDG directories, Git-based synchronization, and integrating all previously built libraries into a cohesive CLI tool.
Building yamlt to enable jsont codec definitions to work with both JSON and Yaml, providing data manipulation with location tracking and good error messages for both formats.
Implementing a pure OCaml Yaml 1.2 parser using bytesrw by synthesizing from the specification and existing C library behavior, passing thousands of test suite cases while being 20% faster than the C-based implementation.
Building Bytesrw-Eio adapters for composable byte stream I/O while discovering Claude Skills as a powerful way to automate opam package metadata management through reusable workflow templates.
Creating OCaml bindings for the Claude API using Eio and jsont codecs by reverse-engineering the JSON-RPC protocol from Python and Go SDKs, enabling Claude to write more Claude-powered OCaml code.
Workshop report combining TESSERA geospatial foundation models with Concordia agent-based modeling to simulate ecosystem resilience, covering causal modeling for ecology and AI applications in nature conservation.
Building an XDG Base Directory Specification library with Eio capabilities and Cmdliner integration, providing sandboxed filesystem access patterns with full environment variable and CLI override support.
Implementing a JSONFeed specification library using jsont codecs, discovering how Claude can automate the construction of complex combinators from prose specifications with excellent error messages.
Reflections on the Franco-British AI collaboration workshops exploring how AI is transforming scientific practice, plus follow-up funding for the Conservation Copilot project.
Building a Base32 Crockford encoding library in OCaml using Claude Code, establishing the development workflow with sandboxed Docker containers and local development environments.
November 2025
Design principles for collective knowledge systems—permanence, provenance, permission, and placement—that enable robust networks for evidence-based decision making.
GeoTessera 0.7 switches to GeoParquet manifests for faster initialisation, adds Zarr tensor storage support, and provides new sampling APIs for building downstream tasks like solar panel detection.
Reflections on UK-India AI collaboration from meetings at the Alan Turing Institute and OpenUK, discussing ethical AI deployment, open source infrastructure, and the challenges of building community in the age of AI-assisted coding.
A Cambridge article explores our research on how food consumption affects the extinction risk of 30,875 land-dwelling animal species, with an interactive tool to examine biodiversity impacts across different countries and diets.
Reflections on meeting Jensen Huang as he received the 2025 Hawking Fellowship, discussing his views on education, assessment, risk-taking culture at Nvidia, and the future of AI in scientific discovery and biological research.
October 2025
Five-part series overview covering workshops, tutorials, talks and keynotes from ICFP/SPLASH 2025 in Singapore.
Highlights from ICFP/SPLASH 2025 including Hazel live programming, OCaml AI tooling, formally verified GC, and cross-community discussions between Haskell and OCaml.
VMIL keynote arguing for post-POSIX shared memory interfaces like io_uring in language runtimes for high-performance concurrent computing.
Jane Street's production deployment of OCaml 5 and Docker's migration to direct-style programming with Eio presented at ICFP.
Tutorial at ICFP 2025 on OxCaml extensions for performance engineering with modes and locals.
Report on second Programming for the Planet workshop featuring papers on climate modeling, geospatial computation and planetary-scale collaborative systems.
September 2025
Open letter to UN Article 6.4 supervisory body advocating for nature-based climate solutions alongside durable carbon sequestration technologies.
Nature Food paper revealing food choice biodiversity impacts vary by three orders of magnitude with interactive global explorer tool.
August 2025
Release of GeoTessera Python library and CLI for accessing TESSERA geospatial foundation model embeddings with interactive visualization tools.
Presentation at Aarhus 2025 on Internet ecology, proposing AI-driven software diversity to fight protocol ossification and create more resilient networks.
The Tangled git forge has recently gained support for CI, stacked pull requests and also the Dune build system can generate Tangled metadata easily now for OCaml packages hosted there.
Setting up self-hosted location tracking using OwnTracks and reverse engineering Life Cycle app data with Claude Code for field work in Botswana.
July 2025
Community efforts to improve agentic coding experience for OCaml including MCP libraries, opam embeddings, and tooling improvements.
Quick setup guide for running Kyutai's high-quality speech-to-text model locally on Mac using their MLX implementation.
Live notes from Royal Society conference on scientific publishing challenges including peer review crisis, AI poisoning threats and open access economics.
Nature comment on AI-generated paper threats to evidence synthesis proposing federated living evidence databases with human-in-loop review.
June 2025
Coordination note for summer 2025 undergraduate and graduate internships covering projects from evidence databases to remote sensing and embedded systems.
ESA's BIOMASS satellite successfully launches, featuring first global P-band SAR instrument capable of penetrating forest canopy to measure tree health and carbon flux.
Paper exploring biological ecosystem models as inspiration for Internet architecture evolution towards trillion-node scale at Aarhus 2025.
Technical deep dive into Apple's new macOS Tahoe containerization framework using Kata Containers and Swift-based implementation.
Visit to National Geographic HQ for workshop on global urban wildlife tracking initiative and human-wildlife coexistence research.
Report from NAS/Royal Society forum on standardized biodiversity measurement technologies covering foundation models, eDNA and evidence synthesis.
May 2025
Earning Junior Ranger badges at Shenandoah National Park and recording Conservation Concepts video series episode.
Survey paper on energy-aware approaches for optimizing deep learning training and inference on embedded devices.
PLOS One publication showing pretrained LLMs perform poorly on conservation questions but improve dramatically with Conservation Evidence database training.
Insights from Cambridge University's Environmental Sustainability Strategy Committee on carbon reduction, biodiversity, and operational sustainability progress.
Discussion of responsible AI adoption in conservation, emphasizing human agency and equity over technological solutions.
Thinking about a Cambridge "Green Blue" competition to reduce emissions among Colleges, promoting cooperation through a semi-competitive league
Guide to deploying Komodo container management tool with Wireguard mesh networking for coordinating Docker services across multiple hosts.
April 2025
Response to critique of AI in conservation emphasizing participatory design, open source tools and equitable capacity building in Global South.
Guide to using Goaccess privacy-preserving server-side log analyzer with Caddy JSON logs for web analytics.
LOCO24 conference talks now available on self-hosted video platforms with peer-to-peer redundancy.
Survey of WebAssembly implementations on non-traditional targets including native Linux port, kernel-mode runtime, POSIX browser support and FPGA ports.
Report on ESA's first Biodiversity Insights from Space conference featuring presentations on urban tree management and remote sensing biodiversity metrics.
2013 MirageOS unikernels paper wins ASPLOS influential paper award with reflections on the journey from rejection to recognition.
Exploring ZFS and Sanoid for distributed filesystem management with automated snapshots and replication to replace centralized NFS storage.
Call for papers for PROPL 2025 workshop on programming methods for climate and biodiversity research at ICFP/SPLASH Singapore.
March 2025
Preprint analyzing dedicated ultra-low-power neural network accelerators in modern embedded chipsets for edge computing applications.
LIFE biodiversity metric becomes UK government Official Statistic to track consumption's environmental impact.
"AI-generated paper passes peer review, sparking discussion on evidence synthesis and AI's role in policymaking."
Self-host source code with Tangled on Bluesky for decentralized Git repositories.
EEG group discusses useful AI tools and emerging techniques in productivity and research.
OCaml users: share your needs regarding older versions to help determine support for OCaml 4.08 and earlier.
Claude Code auto-generates OCaml bindings, but lacks robust sandboxing.
February 2025
IETF's new AI Preferences Working Group aims to standardize protocols for expressing preferences on AI content collection and processing.
Exploring biodiversity and forests through 3 papers on AI, 3D reconstruction, and a tree-measuring mobile app.
Exploring the National Data Library and its potential to improve access to private research data while balancing security and privacy concerns.
Professor Anil Madhavapeddy's research combines computer science and conservation at the University of Cambridge
Revised preprint on quantifying biodiversity cost of global food consumption using LIFE metric combined with supply chain data and provenance modeling.
Clarifying carbon credits, offsets, and contributions to understand effective climate action strategies
Explore alternative uses for AT Proto beyond Bluesky posts, enabling self-sovereign digital infrastructure and innovative apps.
Hookshot integrates Matrix with external services like GitHub and Atom feeds for enhanced group communications.
Learn FPGA programming with OCaml using HardCaml.
AI-generated papers are contaminating scientific literature at a rapid pace
Satellites are getting too accurate for forest carbon estimation due to high resolution.
Explore DeepSeek's advances in AI technology, including Multi-headed Latent Attention and Mixture of Experts.
January 2025
Publish custom OCaml Homebrew taps with a simple GitHub workflow.
Experts outline steps to restore scientific credibility in the voluntary carbon market.
Learn about my sixth generation oxidised website built with a bleeding-edge OCaml variant.
Updated preprint with additional evaluation results on using LLMs for expert-level evidence synthesis queries in conservation.
Publication of LIFE biodiversity metric quantifying relative impacts of human actions on species extinctions through spatially explicit habitat loss analysis.
Teaching computer science courses at Cambridge University since 2012.
Resources for teaching Foundations of Computer Science with OCaml and Jupyter notebooks.
December 2024
Horizon scan published in Trends in Ecology and Evolution on prioritizing AI projects to accelerate conservation efforts while minimizing harm.
Paper on mechanisms for verifiable and privacy-preserving carbon emissions reporting across cloud service supply chains at LOCO workshop.
LOCO paper presenting Shark shell for deterministic, reusable Linux computation using kernel namespaces to reduce computational costs.
Extending DNS with carbon-aware load balancing and OCaml-based DNS server for sustainable Internet infrastructure presented at LOCO.
LOCO 2024 presentation on Terracorder project combining machine learning and ESP32 for cooperative biodiversity monitoring networks.
November 2024
The Royal Society and DeepMind hosted an AI for Science Forum, exploring AI's role in revolutionizing scientific discovery and its potential to benefit society.
Paper exploring legal framework for forest carbon credits that separates carbon tenure from carbon rights, published in Climate and Carbon Law Review.
Poster presentation at ACM Sensys 2024 on biodiversity sensing work with Terracorder platform.
Preprint on using LLMs for conservation evidence based on large-scale academic literature crawling.
SOCC 2024 presentation on Murmuration scheduler achieving 15-25% faster Kubernetes job completion times in busy datacenters.
October 2024
Lecture to UCL Institute for Global Prosperity Masters students on planetary computing, covering LIFE and FOOD papers.
Serving on the ACM SOCC 2024 program committee revealed a shift towards machine learning research.
The discussion centered around the relationship between ecological and commercial risk, highlighting the need for a more comprehensive understanding of natural capital and its role in the economy. The equation presented by Sir Partha Dasgupta summarizes the two days of discussion, emphasizing the importance of balancing human demand with nature's regeneration rates. The talks touched on various topics, including greenwashing risks, standardization of biodiversity metrics, and the need for verification of nature-positive claims. The conversation also stressed the importance of shifting accounting away from GDP and towards calculations of stock and inequalities, incorporating natural capital into the notion of wealth. Overall, the event aimed to raise awareness about the interconnectedness of ecological and commercial risk and the need for a more sustainable approach to economic development.
September 2024
Serving on HotNets 2024 program committee was a great experience with a novel structure.
Mitigating credit reversal risks in nature-based solutions with predictive release schedules.
ACM HOPE talk on using F* specifications to protect systems against over-eager or rogue AI agents.
Explore my new teaching page featuring Computer Science courses and materials.
Researchers receive £1.2m grant to build species models for planetary intelligence.
August 2024
Journal of Carbon Management publication on ex-ante projection methodologies for evaluating nature-based carbon solutions.
Release of Tropical Moist Forest v2.1 specification with new explainer and clarifications for buffer zones and base tiles.
Experts discuss reforming carbon and biodiversity credits markets for effective forest conservation and climate benefit.
Preprint on ultra-low-power ESP32-based biodiversity sensor using Q-learning to optimize cooperative network operations.
Nature Sustainability commentary on nature-based carbon and biodiversity credit markets.
July 2024
Explore new project ideas for CST Part II, MPhil, and PhD students starting in 2024-2025.
Report from COMPASS 2024 on the CoRE stack RIC meeting on climate adaptation for rural communities using digital public infrastructure and commoning technologies
Updated LIFE biodiversity metric preprint based on reviewer feedback, accepted for publication in Royal Society special issue.
June 2024
Talk at CCI Effectiveness Revolution workshop on conservation copilots and embedding evidence into conservation decision-making.
Discussing conservation with AI@CAM and using AI to transform biodiversity conservation efforts.
Preprint on using hyperspectral sensors and CNN tree-crown segmentation for tropical tree species identification.
May 2024
Planetary computing keynote at LambdaDays conference featuring interview video on biodiversity and satellite sensing work.
Preprint on quantifying biodiversity cost of global food consumption submitted for peer review.
MPhil research on using CNNs with satellite data for species distribution modeling presented at ICLR CCAI workshop in Vienna.
April 2024
Lecturers step in to teach Software and Security Engineering course after Ross Anderson's passing.
Paper on PACT stablecoin implementation using blockchain smart contracts for transparent and scalable carbon credit transactions at ICBC 2024.
New site design launched after 20 year redesign featuring Bushel content manager preview.
March 2024
Preprint on ex-ante pricing models for mitigating credit reversal risk in nature-based climate solutions through optimal carbon release anticipation.
Abstract on analyzing urban green space access and equity across UK cities using remote sensing and machine learning at EGU 2024.
Revised preprint on planetary-scale infrastructure for ingesting and analyzing global environmental data with traceability and reproducibility.
February 2024
Won the AI@CAM challenge towards climate and nature conservation research using remote sensing and LLMs
Paper examining how computer science approaches to uncertainty impact climate research practices at Undone CS workshop.
December 2023
I joined the Royal Society's Newton International Fellowships committee to help select international researchers for UK-based projects.
Release of Tropical Moist Forest v2.0 specification with significant methodology updates.
November 2023
BBC interview about the Dawn supercomputer announced at 2023 AI Summit.
Paper on spatial name system architecture extending DNS with geographic routing capabilities at HotNets 2023.
Publication of research on valuing impermanent carbon credits in Nature Climate Change with extensive press coverage.
First preprint on new LIFE metric for global biodiversity now available for review.
October 2023
Cambridge University highlights climate efforts at NYC Climate Week.
RAID 2023 paper on Deluminator interface for decentralized information flow control in compartmentalized software.
Paper on MicroGuards memory API for lightweight privilege separation presented at ACNSW.
September 2023
Keynote presentation at ICFP 2023 on functional programming for the planet.
Annual OCaml Workshop presentation reviewing a decade of progress from opam 1.0 to modern toolchain including Dune and LSP server.
OCaml Workshop 2023 update on the Eio effects-based IO library for OCaml 5.
July 2023
Preprint using Social Cost of Carbon to create a discount function for valuing impermanent carbon credits.
June 2023
OCaml wins 2023 ACM Programming Languages Software Award for its impact on research and tools.
Publication of Tropical Moist Forest v1.0 specification using counterfactual dynamic baselines for calculating REDD+ project additionality, leakage and permanence.
May 2023
Perspective in Science magazine on the credibility of carbon credits and their importance for tropical forest protection.
March 2023
Discussion with Mantle Labs exploring applications of AI to carbon credits markets.
Preprint presenting the case for planetary-scale computing infrastructure and applications.
January 2023
Recapping OCaml's 2022 progress and exploring Fediverse integration.
November 2022
Wednesday seminar presentation on using carbon credits to finance tropical forest conservation.
Opening talk at Pembroke College's climate change seminar on global biodiversity status and individual agency for conservation action.
October 2022
Second edition of Real World OCaml now available from Cambridge University Press, with free online and PDF versions.
September 2022
Paper on OCurrent incremental computation DSL presented at OCaml Workshop 2022.
May 2022
Interview in Vox magazine expressing skepticism about Adam Neumann's carbon credit startup, emphasizing supply shortage over trading efficiency.
April 2022
OCaml 5.0 approaches with BSD support and ARM64 multicore.
February 2022
OCaml 5.0 merge complete, focusing on release preparation.
January 2022
Preprint introducing Argus information flow control system addressing security vulnerabilities in wearable BCI devices.
December 2021
OCaml multicore support code review completed with Inria developers.
November 2021
Introducing the Cambridge Centre for Carbon Credits to combat climate change and biodiversity loss.
Learn what an operating system is and its evolving role.
October 2021
OCaml 5.0 to include effect handling and multicore support.
September 2021
Forest preservation and restoration efforts and resources compiled for reference.
Recoil's decentralized tech stack includes email, web, and chat services.
August 2021
Overhauling OCaml's online presence with a modern new website.
Preprint exploring how computer science techniques could contribute to forest preservation and restoration efforts.
Paper on programming with effects in OCaml presented at OCaml Workshop.
June 2021
Paper on retrofitting effect handlers into OCaml runtime presented at PLDI 2021.
November 2020
Paper on coordination-free distributed transactions using mergeable replicated data types at ASPLAS 2020.
September 2020
Annual OCaml Workshop update on the OCaml Platform development toolchain.
August 2020
Talk on next steps for the OCaml Platform development tools, delivered online during the pandemic.
OCaml Multicore now supports systhreads compatibility for seamless integration.
Best paper award at ICFP 2020 for multicore garbage collector design maintaining backwards compatibility for sequential OCaml code.
OCaml Workshop paper on techniques for parallelizing OCaml code using multicore features.
Presentation of new OCaml DSL for continuous integration at the OCaml Workshop.
April 2020
Preprint of OCaml 5 multicore runtime paper available now
February 2020
Discussion of unikernel deployments at scale reaching billions of users.
Distinguished lecture series at University of St Andrews on functional programming principles applied to operating systems design.
Talk on programming approaches for the coming wave of embedded devices.
January 2020
Upstreaming multicore OCaml to mainline OCaml has begun, with opportunities for community contribution through testing and feedback.
August 2019
Explore OpenBSD cloud hosting options for bare-metal and dedicated servers.
Annual update on OCaml Platform development and ecosystem progress.
Paper on the MirageOS 4 build system presented at OCaml Workshop.
May 2019
Preprint on programming unikernels using ML modules and functors.
March 2019
EdgeSys 2019 paper on framework for rearchitecting applications to better support trusted execution environments.
November 2018
Introducing a new opam repository layout for managing large libraries and packages.
October 2018
Journal paper on building modular foreign function interfaces.
June 2018
Paper on the OCaml memory model and underlying theory presented at PLDI 2018.
April 2018
Paper on concurrent systems programming using effect handlers presented at TFP 2017.
Paper on interspatial networking architecture presented at HotPOST 2018.
March 2018
Tarides, a Paris-based startup, seeks OCaml hackers to build secure network services with MirageOS and Irmin.
September 2017
Talk presenting the current state of the OCaml Platform toolchain and development ecosystem.
Annual update on OCaml Platform development presented at ICFP.
Paper on tackling awkward IO patterns using effect handlers.
May 2017
Introducing discuss.ocaml.org, a new community forum for OCaml discussion and feedback.
Position paper on building databases-as-a-library presented at SNAPL 2017.
October 2016
DockerCon talk on integrating MirageOS unikernels with Docker using library hypervisor approach for Docker Desktop.
June 2016
MirageOS holds summer 2016 hack retreat to advance its unikernel technology.
Talk at Functional Works meetup discussing how Docker for Mac and Windows use OCaml and unikernels internally.
Interview with The New Stack about unikernels and Docker at OSCON in Austin, Texas.
Paper on framework for developing and deploying application-specific network services at USENIX ATC 2016.
May 2016
Introducing HyperKit, VPNKit, and DataKit to enhance Docker performance.
February 2016
Paper on flexible declarative approaches to foreign function interfaces through generic programming at FLOPS 2016.
January 2016
Announcement that Unikernel Systems has been acquired by Docker.
Docker acquires Unikernel Systems to bring unikernel tech to developers and IT pros.
October 2015
Paper on formal specification and testing of filesystems presented at SOSP 2015.
Paper on personal databoxes presented at the decennial Aarhus conference.
September 2015
Invited talk at NetPL on immutable distributed infrastructure using unikernels.
Update on the state of the OCaml Platform development environment and toolchain.
August 2015
Paper on rebuilding TLS securely but practically presented at USENIX Security 2015.
May 2015
Talk at Esper on functional programming with unikernels using MirageOS.
NSDI 2015 talk on Jitsu system for on-demand unikernel instantiation.
Workshop paper on using virtual currencies and time-locked puzzles to incentivize heterogeneous multihop mesh networking.
Paper on low-latency unikernel spawning per-connection presented at NSDI 2015.
April 2015
Reviewing OCaml Labs' progress in 2014, covering tooling, compiler, community efforts, and research projects.
February 2015
ICFP 2015 seeks sponsors to support students and growth of the functional programming community.
January 2015
Opening keynote at BOB 2015 conference in Berlin on functional operating systems and MirageOS unikernels.
Paper reproducing Raft consensus protocol with optimizations and empirical validation using clean-slate OCaml implementation.
Paper on mergeable data structures using Irmin presented at JFLA 2015.
Scribe's report from CUFP 2013 workshop on commercial uses of functional programming published in JFP.
December 2014
Talk on Nymote presented at Codemesh 2014.
November 2014
Talk on Jitsu at New Directions in Operating Systems conference.
Report examining technical considerations for regional cloud computing and legal compliance.
October 2014
Xen Summit talk on implementing branch consistency for MirageOS 2.0 Xen Stub Domains.
September 2014
Talk on the OCaml Platform reaching v1.0.
Keynote presentation at Haskell Symposium 2014 on functional operating system design.
Paper on OCaml Platform version 1.0 status and features.
First paper on multicore OCaml's design presented at the OCaml Workshop.
Paper on Irmin branch-consistent distributed database library supporting Git-like operations at OCaml Workshop 2014.
August 2014
OCaml Labs talks at ICFP 2014, covering language improvements & MirageOS
July 2014
Interview with Randal Schwartz and Simon Phipps about MirageOS on FLOSS Weekly podcast episode 302.
MirageOS v2.0 adds ARM support, Irmin storage and OCaml TLS stack.
MirageOS v1.2 released, paving way for MirageOS 2.0 with new features.
May 2014
Software Engineering Radio podcast episode discussing Mirage cloud operating system and OCaml language.
March 2014
Build Mirage unikernels from a browser with Codio's OPAM support and interactive Ubuntu shell.
Switch between OCaml compilers easily with OPAM and GitHub pull requests.
Support functional programming community growth by sponsoring ICFP 2014, starting at $500.
Paper on building dust clouds for anonymous communication systems.
January 2014
Unikernels and virtual library operating systems are on the rise, changing the face of cloud computing.
December 2013
Reviewing OCaml Labs' first year, including progress on OPAM, the compiler, and community efforts.
November 2013
Build OPAM packages in bulk on Linux using Docker containers.
Update presentation on MirageOS and XAPI project development at XenSummit.
Notes from the 2013 Programming Languages and Operating Systems workshop at SOSP.
Article on unikernels published in Communications of the ACM.
Paper on fountain coding for datacenter networking presented at HotNets 2013.
Release announcement for first edition of Real World OCaml book published by O'Reilly with upcoming signing events.
Published the scribe's report for CUFP 2012.
October 2013
Notes on the first Human Data Interaction workshop discussing social networks and decentralization.
September 2013
Live notes from the OCaml 2013 workshop covering key events and discussions.
Live notes from Commercial Uses of Functional Programming 2013 workshop
OPAM 1.1 beta is available with improved stability and new features.
Paper presenting first version of OCaml Platform development tools and infrastructure at OCaml Workshop 2013.
Presentation of online testing system for the OCaml ecosystem at OCaml Users and Developers Workshop.
August 2013
Paper on DNSSEC-based Signposts system for improved peer-to-peer communications and NAT traversal at USENIX FOCI.
July 2013
Screencast demonstration of Mirage Developer Preview 1 release.
April 2013
Run grep on every OCaml package in OPAM using a simple script.
March 2013
First paper on unikernels published at ASPLOS 2013.
February 2013
Paper on dataware computing in the digital economy.
December 2012
Paper on extending TCP in a backwards compatible way presented at CoNeXT 2012.
October 2012
Introducing OCaml Labs, a new project at Cambridge Computer Lab to develop and improve the OCaml programming language.
Build isolated services with ease using MirageOS and OPAM on Xen hypervisors.
September 2012
Recording of OCaml Labs announcement and OCaml Platform vision at OCaml Users and Developers workshop.
Learn how to build a Xenstore stub domain using MirageOS for improved security and performance.
Demo of Signposts DNSSEC system for end-to-end networking presented at SIGCOMM.
Paper on programming Xen cloud infrastructure using OCaml at the OCaml Workshop.
Paper on control flow analysis techniques for compartmentalizing applications into isolated components.
June 2012
Paper on using MirageOS to improve software-defined networking infrastructure with OpenFlow.
April 2012
Paper on privacy-sensitive data locker architecture to incentivize greener commuting patterns in Cambridge.
March 2012
Workshop paper proposing reconfigurable I/O channel architecture for heterogeneous software and hardware environments at RESoLVE ASPLOS.
February 2012
Getting OCaml running on an ARM-based Dreamplug device with Debian and native code generation.
January 2012
October 2011
Presentation on MirageOS at the OCaml Meeting 2011 conference.
September 2011
Attending CUFP 2011 with MirageOS tutorial at ICFP.
July 2011
Workshop on Generative Technologies paper on dyntype library for ML meta-programming.
Paper on statically typed value persistence for OCaml published in ENTCS 2011.
June 2011
Delimited continuations and Lwt compared for threading purposes.
DataCaml brings distributed dataflow programming to OCaml using the CIEL engine.
May 2011
Paper exploring Xen and FPGA integration for cloud computing presented at FCCM.
April 2011
Exploring functional programming projects in the SRG, including OCaml and Haskell.
Report from the 2011 OCaml Users Meeting in Paris, covering talks on js_of_ocaml, OCaml on PIC, and more.
March 2011
Paper on CIEL universal execution engine for distributed data-flow computing using dynamic task graphs at USENIX NSDI 2011.
January 2011
Paper on Droplets architecture enabling controlled trade-offs between centralized cloud and fully decentralized personal data approaches at ICDCN.
November 2010
Talk on building the Xen toolstack using OCaml.
October 2010
Tech talk at LinkedIn presenting Mirage operating system for cloud computing.
Running the MirageOS website on its own self-hosted infrastructure using the TCP/IP stack.
Paper on personal containers for managing personal data presented at UK Digital Economy meeting.
September 2010
Paper on experiences writing the Xen control stack in OCaml presented at ICFP 2010.
June 2010
First HotCloud talk presenting the initial MirageOS concept for cloud software specialization.
Workshop paper presenting early MirageOS architecture for running OCaml applications directly on cloud platforms as unikernels.
May 2010
PhD thesis on type-safe network application development now published as print book.
April 2010
Digital nomads can secure their personal data with digital yurts, a system for diverse data handling and storage.
Building a user interface for personal containers on App Engine with extjs.
Paper on vision for multiscale programming presented at BCS Visions 2010 conference.
March 2010
Learn about opening a personal data tracking website with a customizable database system.
Paper on privacy butler services for more private data management.
PhD thesis published as technical report on building secure network applications using ML type systems and model checking.
November 2009
Paper on DSL for specifying temporal protocol automata presented at ICFEM 2009.
September 2008
Learn how XenServer's High Availability feature works, including host failure detection and automatic VM restarts.
August 2008
Optimize XenApp performance on XenServer with expert tuning tips.
July 2008
This guide provides step-by-step instructions for installing Ubuntu as a paravirtualized (PV) guest on Citrix XenServer 4.1, including configuring the grub boot loader, installing XenServer tools, and setting up VNC for graphical console access.
June 2008
Paper on splitting trust between smartphones and web browsers presented at MobiSys 2008.
June 2007
Won best student paper award at Eurosys 2007 for PhD work on high-performance functional packet parsing DSL.
February 2007
April 2006
Paper presenting architecture for split-trust web applications to combat crimeware attacks.
August 2005
Workshop paper on temporal automata for protocol specifications presented at SPIN 2005.
July 2005
Position paper on ubiquitous computing approaches for emerging stream media appliances.
Paper exploring audio-based networking as overlooked wireless communication technology.
Ubicomp paper studying indoor Bluetooth signal propagation characteristics using Active Bat ultrasonic location system.
June 2005
Reflections on OpenBSD C2K5 hackathon projects and progress.
Paper on using temporal automata for protocol implementations presented at HotDep 2005.
January 2005
IEEE Pervasive Computing article on using camera phones to access location-based services.
Report on context-aware telephony experiments with AT&T Broadband Phone network.
December 2004
Technical report on SpotCode visual tag system with user study comparing benefits against conventional mobile interfaces.
October 2004
Researchers use cellphones to connect physical and online worlds, replacing public displays with portable technology.
September 2004
Demo of SpotCode visual tag system at UbiComp 2004 conference in Tokyo.
MIT Technology Review covers SpotCodes technology by High Energy Magic.
August 2004
Paper on location-aware Capture The Flag game using Symbian phones, public displays, and ActiveBAT tracking, presented at SIGCOMM NetGames workshop.
June 2004
Talk at NotCon 2004 on SpotCodes and camera phone technology covered in Wired Magazine.
May 2004
Use your cellphone as a virtual mouse and keyboard with innovative software.
October 2003
Research project using inaudible audio beacons for location discovery on smartphones without additional hardware, conducted as intern at Intel Research Cambridge.
June 2003
OpenBSD merges static C bounds checker extension into its codebase.
First academic paper on system call policy language to constrain application access to privileged resources, implemented on OpenBSD using systrace and presented at SAM 2003.
May 2003
Redesigned homepage now at anil.recoil.org
January 2003
September 2002
Started PhD in Systems Research at Cambridge University, focusing on Xen hypervisor.
June 2002
Improved PHP on OpenBSD with simplified pkg_add usage and modular extensions.
April 2002
Technical report on setting up CDN for U2's live concert stream from Sardinia, reaching 5 million viewers globally while working as NetApp product architect.
August 2001
Horde PHP framework now includes a general caching subsystem for improved performance.
Chora is now the production CVS viewer for PHP, replacing viewcvs on cvs.php.net.
Chora viewer now supports internationalisation with multiple language translations available.
February 2001
OpenFX is now available under the GPL with advanced features like raytracing and NURBS support.
January 2001
I'm now a core PHP developer with commit access to the central repository.
December 2000
I'm now an official OpenBSD developer, contributing fixes and ports.
October 2000
Author joins Horde core team, contributing to IMP and webmail development.
July 2000
Technical report on Mars Polar Lander website acceleration architecture, one of the busiest websites during approach to landing.
December 1999
Mars Polar Lander's webmaster shares story of website survival despite spacecraft crash.