Publications

#

Planetary computing for data-driven environmental policy-making

Patrick Ferris, Michael Dales, Sadiq Jaffer, Amelia Holcomb, Eleanor Toye Scott, Thomas Swinfield, Alison Eyres, Andrew Balmford, David Coomes, Srinivasan Keshav and Anil Madhavapeddy

Working paper at arXiv, Jun 2024

#

Towards Scalable Deep Species Distribution Modelling using Global Remote Sensing

Emily Morris, Anil Madhavapeddy, Sadiq Jaffer and David Coomes

In proceedings of the ICLR 2024 Workshop on Tackling Climate Change with Machine Learning, May 2024

#

LIFE: A metric for quantitatively mapping the impact of land-cover change on global extinctions

Alison Eyres, Thomas Ball, Michael Dales, Tom Swinfield, Andy Arnell, Daniele Baisero, América Paz Durán, Jonathan Green, Rhys E. Green, Anil Madhavapeddy and Andrew Balmford

Working paper at Cambridge Open Engage, May 2024

#

Quantifying the impact of the food we eat on species extinctions

Thomas Ball, Michael Dales, Alison Eyres, Jonathan Green, Anil Madhavapeddy, David Williams and Andrew Balmford

Working paper at Cambridge Open Engage, May 2024

#

Mitigating risk of credit non-delivery in nature-based climate solutions by optimally anticipating carbon release

E.-Ping Rau, James Gross, David Coomes, Thomas Swinfield, Anil Madhavapeddy, Andrew Balmford and Srinivasan Keshav

Working paper at Cambridge Open Engage, Apr 2024

#

Global, robust and comparable digital carbon assets

Sadiq Jaffer, Michael Dales, Patrick Ferris, Thomas Swinfield, Derek Sorensen, Robin Message, Srinivasan Keshav and Anil Madhavapeddy

In proceedings of the 6th IEEE International Conference on Blockchain and Cryptocurrency (poster), Apr 2024

#

Green Urban Equity: Analyzing the 3-30-300 Rule in UK Cities and Its Socioeconomic Implications

Andres Zuñiga-Gonzalez, Anil Madhavapeddy and Ronita Bardhan

Technical report (EGU24-20833) at Copernicus Meetings, Mar 2024

#

Uncertainty at scale: how CS hinders climate research

Patrick Ferris, Michael Dales, Tom Swinfield, Sadiq Jaffer, Srinivasan Keshav and Anil Madhavapeddy

Working paper at Undone Computer Science, Feb 2024

#

Nature-based credit markets at a crossroads

Tom Swinfield, Siddarth Shrikanth, Joseph Bull, Anil Madhavapeddy and Sophus zu Ermgassen

Working paper at Cambridge Open Engage, May 2024

#

Where on Earth is the Spatial Name System?

Ryan Gibb, Anil Madhavapeddy and Jon Crowcroft

In proceedings of the 22nd ACM Workshop on Hot Topics in Networks, Nov 2023

#

Information Flow Tracking for Heterogeneous Compartmentalized Software

Zahra Tarkhani and Anil Madhavapeddy

In proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses, Oct 2023

#

State of the OCaml Platform 2023

Thibaut Mattio, Anil Madhavapeddy, Thomas Gazagnaire and David Allsopp

In proceedings of the 2023 OCaml Users and Developers Workshop, Sep 2023

#

Eio 1.0 – Effects-based IO for OCaml 5

Thomas Leonard, Patrick Ferris, Christiano Haesbaert, Lucas Pluvinage, Vesa Karvonen, Sudha Parimala, KC Sivaramakrishnan, Vincent Balat and Anil Madhavapeddy

In proceedings of the 2023 OCaml Users and Developers Workshop, Sep 2023

#

Enabling Lightweight Privilege Separation in Applications with MicroGuards

Zahra Tarkhani and Anil Madhavapeddy

In applied Cryptography and Network Security Workshops, Jan 2023

#

Credit credibility threatens forests

Andrew Balmford, Pedro H. S. Brancalion, David Coomes, Ben Filewod, Ben Groom, Alejandro Guizar-Coutiño, Julia P. G. Jones, Srinivasan Keshav, Andreas Kontoleon, Anil Madhavapeddy, Yadvinder Malhi, Erin O. Sills, Bernardo B. N. Strassburg, Frank Venmans, Thales A. P. West, Charlotte Wheeler and Tom Swinfield

Journal paper in Science (vol 380 issue 6644), May 2023

#

PACT Tropical Moist Forest Accreditation Methodology v2.0

Andrew Balmford, David Coomes, Michael Dales, Patrick Ferris, James Hartup, Sadiq Jaffer, Srinivasan Keshav, Miranda Lam, Anil Madhavapeddy, Robin Message, E.-Ping Rau, Thomas Swinfield and Charlotte Wheeler

Working paper at Cambridge Open Engage, Dec 2023

#

Realizing the social value of impermanent carbon credits

Andrew Balmford, Srinivasan Keshav, Frank Venmans, David Coomes, Ben Groom, Anil Madhavapeddy and Tom Swinfield

Journal paper in Nature Climate Change (vol 13 issue 11), Nov 2023

#

Homogeneous Builds with OBuilder and OCaml

Tim McGilchrist, David Allsopp, Patrick Ferris, Antonin Décimo, Thomas Leonard, Anil Madhavapeddy and Kate Deplaix

In proceedings of the 2022 OCaml Users and Developers Workshop, Sep 2022

#

Enhancing the Security & Privacy of Wearable Brain-Computer Interfaces

Zahra Tarkhani, Lorena Qendro, Malachy O'Connor Brown, Oscar Hill, Cecilia Mascolo and Anil Madhavapeddy

Working paper at arXiv, Jan 2022

#

How Computer Science Can Aid Forest Restoration

Gemma Gordon, Amelia Holcomb, Tom Kelly, Srinivasan Keshav, Jon Ludlum and Anil Madhavapeddy

Working paper at arXiv, Aug 2021

#

Experiences with Effects

Thomas Leonard, Craig Ferguson, Patrick Ferris, Sadiq Jaffer, Tom Kelly, KC Sivaramakrishnan and Anil Madhavapeddy

In proceedings of the 2021 OCaml Users and Developers Workshop, Aug 2021

#

Retrofitting effect handlers onto OCaml

KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer and Anil Madhavapeddy

In proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Jun 2021

#

Retrofitting parallelism onto OCaml

KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman and Anil Madhavapeddy

Journal paper in Proceedings of the ACM on Programming Languages (vol 4 issue ICFP), Aug 2020

#

OCaml-CI: A Zero-Configuration CI

Thomas Leonard, Craig Ferguson, Kate Deplaix, Magnus Skjegstad and Anil Madhavapeddy

In proceedings of the 2020 OCaml Users and Developers Workshop, Aug 2020

#

Parallelising your OCaml Code with Multicore OCaml

Sadiq Jaffer, Sudha Parimala, KC Sivaramakrishnan, Tom Kelly and Anil Madhavapeddy

In proceedings of the 2020 OCaml Users and Developers Workshop, Aug 2020

#

Banyan: Coordination-Free Distributed Transactions over Mergeable Types

Shashank Shekhar Dubey, KC Sivaramakrishnan, Thomas Gazagnaire and Anil Madhavapeddy

In programming Languages and Systems, Jan 2020

#

Snape: The Dark Art of Handling Heterogeneous Enclaves

Zahra Tarkhani, Anil Madhavapeddy and Richard Mortier

In proceedings of the 2nd International Workshop on Edge Systems, Analytics and Networking, Mar 2019

#

A modular foreign function interface

Jeremy Yallop, David Sheets and Anil Madhavapeddy

Journal paper in Science of Computer Programming (vol 164), Oct 2018

#

Bounding data races in space and time

Stephen Dolan, KC Sivaramakrishnan and Anil Madhavapeddy

In proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2018

#

An architecture for interspatial communication

Anil Madhavapeddy, KC Sivaramakrishnan, Gemma Gordon and Thomas Gazagnaire

In iEEE INFOCOM 2018 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Apr 2018

#

Concurrent System Programming with Effect Handlers

Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan and Leo White

In trends in Functional Programming, Jan 2018

#

Effectively tackling the awkward squad

Stephen Dolan, Spiros Eliopoulos, Daniel Hillerstr"om, Anil Madhavapeddy, KC Sivaramakrishnan and Leo White

In mL Workshop, Jan 2017

#

DaLi: Database as a Library

Gowtham Kaki, KC Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy and Suresh Jagannathan

In 2nd Summit on Advances in Programming Languages (SNAPL), Jan 2017

#

Declarative Foreign Function Binding Through Generic Programming

Jeremy Yallop, David Sheets and Anil Madhavapeddy

In functional and Logic Programming, Jan 2016

#

FLICK: Developing and Running Application-Specific Network Services

Abdul Alim, Richard G. Clegg, Luo Mai, Lukas Rupprecht, Eric Seckler, Paolo Costa, Peter Pietzuch, Alexander L. Wolf, Nik Sultana, Jon Crowcroft, Anil Madhavapeddy, Andrew W. Moore, Richard Mortier, Masoud Koleni, Luis Oviedo, Matteo Migliavacca and Derek McAuley

In 2016 USENIX Annual Technical Conference (USENIX ATC 16), Jun 2016

#

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems

Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy and Peter Sewell

In proceedings of the 25th Symposium on Operating Systems Principles, Oct 2015

#

Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation

David Kaloper-Mer sinjak, Hannes Mehnert, Anil Madhavapeddy and Peter Sewell

In 24th USENIX Security Symposium (USENIX Security 15), Aug 2015

#

Personal Data: Thinking Inside the Box

Amir Chaudhry, Jon Crowcroft, Heidi Howard, Anil Madhavapeddy, Richard Mortier, Hamed Haddadi and Derek McAuley

Journal paper in Aarhus Series on Human Centered Computing (vol 1 issue 1), Oct 2015

#

Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles

Magnus Skjegstad, Anil Madhavapeddy and Jon Crowcroft

In proceedings of the 2015 Workshop on Do-it-yourself Networking: an Interdisciplinary Approach, May 2015

#

Jitsu: Just-In-Time Summoning of Unikernels

Anil Madhavapeddy, Thomas Leonard, Magnus Skjegstad, Thomas Gazagnaire, David Sheets, Dave Scott, Richard Mortier, Amir Chaudhry, Balraj Singh, Jon Ludlam, Jon Crowcroft and Ian Leslie

In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15), May 2015

#

Raft Refloated: Do We Have Consensus?

Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy and Jon Crowcroft

Journal paper in ACM SIGOPS Operating Systems Review (vol 49 issue 1), Jan 2015

#

Mergeable persistent data structures

Benjamin Farinier, Thomas Gazagnaire and Anil Madhavapeddy

In vingt-sixiemes Journees Francophones des Langages Applicatifs (JFLA 2015), Jan 2015

#

The OCaml Platform v1.0

Anil Madhavapeddy, Amir Chaudhry, Jeremie Dimino, Thomas Gazagnaire, Louis Gesbert, Thomas Leonard, David Sheets, Mark Shinwell, Leo White and Jeremy Yallop

In the 4th ACM OCaml Users and Developers Workshop, Sep 2014

#

Irminsule: a branch-consistent distributed library database

Thomas Gazagnaire, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier, David J. Scott, David Sheets and Gregory Tsipenyuk

In the 4th ACM OCaml Users and Developers Workshop, Sep 2014

#

Multicore OCaml

Stephen Dolan, Leo White and Anil Madhavapeddy

In the 4th ACM OCaml Users and Developers Workshop, Sep 2014

#

CUFP'13 scribe's report

Marius Eriksen, Michael Sperber and Anil Madhavapeddy

Journal paper in Journal of Functional Programming (vol 25), Jan 2015

#

Unikernels: Rise of the Virtual Library Operating System

Anil Madhavapeddy and David J. Scott

Journal paper in ACM Queue (vol 11 issue 11), Dec 2013

#

Commercial users of functional programming workshop report

Michael Sperber and Anil Madhavapeddy

Journal paper in Journal of Functional Programming (vol 23 issue 6), Nov 2013

#

Real World OCaml: Functional Programming for the Masses

Anil Madhavapeddy and Yaron Minsky

Book published by Cambridge University Press, Jan 2022

#

Perceived risks of personal data sharing

Anya Skatova, Jaspreet Johal, Robert Houghton, Richard Mortier, Neelam Bhandari, Tom Lodge, Christian Wagner, James Goulding, Jon Crowcroft and Anil Madhavapeddy

Journal paper in Digital Economy: Open Digital, Jan 2013

#

Trevi: watering down storage hotspots with cool fountain codes

George Parisis, Toby Moncaster, Anil Madhavapeddy and Jon Crowcroft

In proceedings of the Twelfth ACM Workshop on Hot Topics in Networks, Nov 2013

#

The OCaml Platform v0.1

Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire, David Sheets, Philippe Wang, Leo White and Jeremy Yallop

In the 2nd ACM OCaml Users and Developers Workshop, Sep 2013

#

Lost in the Edge: Finding Your Way with DNSSEC Signposts

Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Anil Madhavapeddy, Amir Chaudhry and Jon Crowcroft

In 3rd USENIX Workshop on Free and Open Communications on the Internet (FOCI 13), Aug 2013

#

Unikernels: library operating systems for the cloud

Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David J. Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand and Jon Crowcroft

In proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, Mar 2013

#

Evolving TCP: how hard can it be?

Zubair Nabi, Toby Moncaster, Anil Madhavapeddy, Steven Hand and Jon Crowcroft

In proceedings of the 2012 ACM conference on CoNEXT student workshop, Dec 2012

#

Exploring Compartmentalisation Hypotheses with SOAAP

Khilan Gudka, Robert N.M. Watson, Steven Hand, Ben Laurie and Anil Madhavapeddy

In 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops, Sep 2012

#

Signposts: end-to-end networking in a world of middleboxes

Amir Chaudhry, Anil Madhavapeddy, Charalampos Rotsos, Richard Mortier, Andrius Aucinas, Jon Crowcroft, Sebastian Probst Eide, Steven Hand, Andrew W. Moore and Narseo Vallina-Rodriguez

Journal paper in ACM SIGCOMM Computer Communication Review (vol 42 issue 4), Aug 2012

#

Cost, Performance & Flexibility in OpenFlow: Pick three

Charalampos Rotsos, Richard Mortier, Anil Madhavapeddy, Balraj Singh and Andrew W. Moore

In 2012 IEEE International Conference on Communications (ICC), Jun 2012

#

The case for reconfigurable I/O channels

Steven Smith, Anil Madhavapeddy, Christopher Smowton, Malte Schwarzkopf, Richard Mortier, Robert M Watson and Steven Hand

In rESoLVE workshop at ASPLOS, Jan 2012

#

CUFP 2011 Workshop Report

Anil Madhavapeddy, Yaron Minsky and Marius Eriksen

Journal paper in Journal of Functional Programming (vol 22 issue 1), Jan 2012

#

Dynamics for ML using Meta-Programming

Thomas Gazagnaire and Anil Madhavapeddy

Journal paper in Electronic Notes in Theoretical Computer Science (vol 264 issue 5), Jul 2011

#

Reconfigurable Data Processing for Clouds

Anil Madhavapeddy and Satnam Singh

In 2011 IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, May 2011

#

CIEL: A universal execution engine for distributed Data-Flow computing

Derek G Murray, Malte Schwarzkopf, Christopher Smowton, Steven Smith, Anil Madhavapeddy and Steven Hand

In 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11), Jan 2011

#

Unclouded vision

Jon Crowcroft, Anil Madhavapeddy, Malte Schwarzkopf, Theodore Hong and Richard Mortier

In proceedings of the 12th International Conference on Distributed Computing and Networking, Jan 2011

#

The personal container, or your life in bits

Richard Mortier, Chris Greenhalgh, Derek McAuley, Alexa Spence, Anil Madhavapeddy, Jon Crowcroft and Steven Hand

Journal paper in Digital Futures (vol 10), Jan 2010

#

Using functional programming within an industrial product group: perspectives and perceptions

David J. Scott, Richard Sharp, Thomas Gazagnaire and Anil Madhavapeddy

In proceedings of the 15th ACM SIGPLAN international conference on Functional programming, Sep 2010

#

Turning Down the LAMP: Software Specialisation for the Cloud

Anil Madhavapeddy, Richard Mortier, Ripduman Sohan, Thomas Gazagnaire, Steven Hand, Tim Deegan, Derek McAuley and Jon Crowcroft

In 2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 10), Jun 2010

#

Multiscale not multicore: efficient heterogeneous cloud computing

Anil Madhavapeddy, Richard Mortier, Jon Crowcroft and Steven Hand

In proceedings of the 2010 ACM-BCS Visions of Computer Science Conference, Jan 2010

#

Using Dust Clouds to Enhance Anonymous Communication

Richard Mortier, Anil Madhavapeddy, Theodore Hong, Derek Murray and Malte Schwarzkopf

In security Protocols XVIII, Jan 2014

#

Programming Unikernels in the Large via Functor Driven Development

Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston and David J. Scott

Working paper at arXiv, May 2019

#

Dynamics for ML using Meta-Programming

Thomas Gazagnaire and Anil Madhavapeddy

Journal paper in Electronic Notes in Theoretical Computer Science (vol 264 issue 5), Jul 2011

#

Privacy Butler: A Personal Privacy Rights Manager for Online Presence

Ryan Wishart, Domenico Corapi, Anil Madhavapeddy and Morris Sloman

In 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops), Mar 2010

#

Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language

Anil Madhavapeddy

In formal Methods and Software Engineering, Jan 2009

#

Enhancing web browsing security on public terminals using mobile composition

Richard Sharp, Anil Madhavapeddy, Roy Want and Trevor Pering

In proceedings of the 6th international conference on Mobile systems, applications, and services, Jun 2008

#

Melange: creating a "functional" internet

Anil Madhavapeddy, Alex C. Ho, Tim Deegan, David J. Scott and Ripduman Sohan

Journal paper in ACM SIGOPS Operating Systems Review (vol 41 issue 3), Mar 2007

#

Creating high-performance, statically type-safe network applications

Anil Madhavapeddy

Technical report (UCAM-CL-TR-775) at University of Cambridge, Computer Laboratory, Mar 2010

#

Interacting with mobile services: an evaluation of camera-phones and visual tags

Eleanor Toye, Richard Sharp, Anil Madhavapeddy, David J. Scott, Eben Upton and Alan Blackwell

Journal paper in Personal and Ubiquitous Computing (vol 11 issue 2), Feb 2007

#

Audio networking: the forgotten wireless technology

Anil Madhavapeddy, Richard Sharp, David J. Scott and Alastair Tse

Journal paper in IEEE Pervasive Computing (vol 4 issue 3), Jul 2005

#

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions

Anil Madhavapeddy, David J. Scott and Richard Sharp

In model Checking Software, Jan 2005

#

On the challenge of delivering high-performance, dependable, model-checked internet servers

Anil Madhavapeddy and David J. Scott

In proceedings of the First Conference on Hot Topics in System Dependability, Jan 2005

#

Ubiquitious Computing needs to catch up with Ubiquitous Media

Anil Madhavapeddy and Nick Ludlam

Journal paper in IEEE Pervasive Computing (vol 4 issue 3), Jul 2005

#

The Broadband Phone Network: Experiences with Context-Aware Telephony

Ripduman Sohan, Alastair Tse and Anil Madhavapeddy

Technical report (CUED/F INFENG/TR.533) at Cambridge University Engineering Department, Jan 2005

#

Using smart phones to access site-specific services

Eleanor Toye, Richard Sharp, Anil Madhavapeddy and David J. Scott

Journal paper in IEEE Pervasive Computing (vol 4 issue 2), Jan 2005

#

Using camera-phones to interact with context-aware mobile services

Eleanor Toye, Anil Madhavapeddy, Richard Sharp, David J. Scott, Alan Blackwell and Eben Upton

Technical report (UCAM-CL-TR-609) at University of Cambridge, Computer Laboratory, Jan 2004

#

Using Camera-Phones to Enhance Human-Computer Interaction

Anil Madhavapeddy, Dave Scott, Richard Sharp and Eben Upton

In adjunct Proceedings of Ubicomp 2004 (Demo Track), Jan 2004

#

Feedback, latency, accuracy: exploring tradeoffs in location-aware gaming

Kieran Mansley, David J. Scott, Alastair Tse and Anil Madhavapeddy

In proceedings of 3rd ACM SIGCOMM workshop on Network and system support for games, Aug 2004

#

Context-Aware Computing with Sound

Anil Madhavapeddy, David J. Scott and Richard Sharp

In ubiComp 2003: Ubiquitous Computing, Jan 2003

#

The Case for Abstracting Security Policies

Anil Madhavapeddy, Alan Mycroft, David J. Scott and Richard Sharp

In proceedings of the International Conference on Security and Management, SAM 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1, Jan 2003

#

Xen 2002

Paul R. Barham, Boris Dragovic, Keir A. Fraser, Steven M. Hand, Timothy L. Harris, Alex C. Ho, Evangelos Kotsovinos, Anil Madhavapeddy, Rolf Neugebauer, Ian A. Pratt and Andrew K. Warfield

Technical report (UCAM-CL-TR-553) at University of Cambridge, Computer Laboratory, Jan 2003