2026Informing conservation problems and actions using an indicator of extinction risk: A detailed assessment of applying the LIFE metricMar 2026Alison Eyres, Andy Arnell, Thomas Ball, Richard Cuthbert, Michael Dales, Alejandro Guizar-Coutiño, Jody Holland, Emilio Luz-Ricca, Anil Madhavapeddy, Leila Pain, Thomas Swinfield, Thomas White, and Andrew Balmford. Journal paper in Biological Conservation (vol 315). Mar 2026DOIBIBPDFURL(linkinghub.elsevier.com)Applications of the TESSERA Geospatial Foundation Model to Diverse Environmental Mapping TasksJan 2026Frank Feng, Clement Atzberger, Sadiq Jaffer, Jovana Knezevic, Silja Sormunun, Robin Young, Madeline Lisaius, Markus Immitzer, Toby Jackson, James G. C. Ball, David Coomes, Anil Madhavapeddy, Andrew Blake, and Srinivasan Keshav. Working paper at SSRN. Jan 2026DOIBIBURL(ssrn.com)2025TESSERA: Temporal Embeddings of Surface Spectra for Earth Representation and AnalysisNov 2025Frank Feng, Clement Atzberger, Sadiq Jaffer, Jovana Knezevic, Silja Sormunen, Robin Young, Madeline Lisaius, Markus Immitzer, Toby Jackson, James G. C. Ball, David Coomes, Anil Madhavapeddy, Andrew Blake, and Srinivasan Keshav. Working paper at arXiv. Nov 2025DOIBIBPDFURL(arxiv.org)Benchmarking Ultra-Low-Power μNPUsNov 2025Josh Millar, Yushan Huang, Sarab Sethi, Hamed Haddadi, and Anil Madhavapeddy. Paper in the Proceedings of the 31st Annual International Conference on Mobile Computing and Networking. Nov 2025DOIBIBPDFURL(dl.acm.org)Learning lessons from over-crediting to ensure additionality in forest carbon creditsNov 2025Thomas Swinfield, Abby Williams, David Coomes, Michael Dales, Patrick Ferris, Alejandro Guizar-Coutiño, James Hartup, Jody Holland, Sadiq Jaffer, Julia P.G. Jones, Miranda Lam, Srinivasan Keshav, Anil Madhavapeddy, Eleanor Toye Scott, Thales West, and Andrew Balmford. Working paper at Cambridge Open Engage. Nov 2025DOIBIBPDFURL(cambridge.org)Programming Opportunities for the Global Biodiversity Observation NetworkOct 2025Jean-Michel Lord, Jamie Kass, Andrew Gonzalez, Michael Dales, and Anil Madhavapeddy. Paper in the abstracts of the 2025 ACM SIGPLAN Programming for the Planet Workshop. Oct 2025BIBPDFURL(conf.researchr.org)The path to robust evaluation of carbon credits generated by forest restoration and REDD+ projectsOct 2025Charlotte Wheeler, Felipe Begliomini, Amelia Holcomb, Srinivasan Keshav, Anil Madhavapeddy, and David Coomes. Journal paper in Remote Sensing of Environment (vol 332). Oct 2025DOIBIBPDFURL(linkinghub.elsevier.com)Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the PlanetOct 2025Anil Madhavapeddy, Dominic Orchard, and KC Sivaramakrishnan. Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet. Oct 2025DOIBIBPDFURL(dl.acm.org)Yirgacheffe: A Declarative Approach to Geospatial DataOct 2025Michael Dales, Alison Eyres, Patrick Ferris, Francesca A. Ridley, Simon Tarr, and Anil Madhavapeddy. Paper in the Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet. Oct 2025DOIBIBPDFURL(dl.acm.org)AI-assisted Living Evidence Databases for Conservation ScienceOct 2025Sadiq Jaffer, William Morgan, Sam Reynolds, Alec Christie, Anil Madhavapeddy, and Bill Sutherland. Working paper at Cambridge Open Engage. Oct 2025DOIBIBPDFURL(cambridge.org)A FAIR Case for a Live Computational CommonsOct 2025Cyrus Omar, Michael Coblenz, and Anil Madhavapeddy. Paper in the Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet. Oct 2025DOIBIBPDFURL(dl.acm.org)Airborne assessment uncovers socioeconomic stratification of urban nature in EnglandOct 2025Andres Zuñiga-Gonzalez, Anil Madhavapeddy, and Ronita Bardhan. Working paper at arXiv. Oct 2025DOIBIBPDFURL(arxiv.org)Generating a corpus of Hazel programs from ill-typed OCaml programsOct 2025Patrick Ferris, and Anil Madhavapeddy. Paper in the proceedings of the 2025 Workshop on Type-Driven Development (TyDe). Oct 2025BIBPDFURL(conf.researchr.org)An Architecture for Spatial NetworkingOct 2025Josh Millar, Ryan Gibb, Roy Ang, Hamed Haddadi, and Anil Madhavapeddy. Working paper at arXiv. Oct 2025DOIBIBPDFURL(arxiv.org)Three steps for OCaml to crest the AI humpsOct 2025Sadiq Jaffer, Jon Ludlam, Ryan Gibb, Thomas Gazagnaire, and Anil Madhavapeddy. Paper in the proceedings of the 2025 OCaml Workshop. Oct 2025BIBPDFURL(conf.researchr.org)Nine changes needed to deliver a radical transformation in biodiversity measurementSep 2025Bill Sutherland, Neil Burgess, Scott Edwards, Julia P.G. Jones, Pamela S. Soltis, David Tilman, Julie M. Allen, Herizo T. Andrianandrasana, Tom August, Kamal Bawa, Sallie Bailey, Tanya Birch, Philipp Boersch-Supan, Jeannine Cavender-Bares, Mark Blaxter, Rebecca Chaplin-Kramer, Barnabus H. Daru, Adriana de Palma, Cristina Eisenberg, Chris Elphick, Rob Freckleton, Winifred F. Frick, Andrew Gonzalez, Scott Goetz, Lior Greenspoon, Christina M. Grozinger, Don L. Hankins, Jonny Hazell, Nick J. B. Isaac, Marco Lambertini, Harris A. Lewin, Oisin Mac Aodha, Anil Madhavapeddy, E. J. Milner-Gulland, James P. O'Dwyer, Andy Purvis, Nick Salafsky, Heather Tallis, Iroro Tanshi, Varsha Vijay, Martin Wikelski, David Williams, Hollis Woodard, and Gene E. Robinson. Working paper at EcoEvoRxiv. Sep 2025BIBPDFURL(ecoevorxiv.org)What if we could hot swap our Biometrics?Sep 2025Jon Crowcroft, Anil Madhavapeddy, Chris Hicks, Richard Mortier, and Vasilios Mavroudis. Working paper at arXiv. Sep 2025DOIBIBPDFURL(arxiv.org)From Data to Decisions: Towards a Biodiversity Monitoring Standards FrameworkSep 2025Andrew Gonzalez, Tom August, Sallie Bailey, Kyle Bobiwash, Philipp Boersch-Supan, Neil Burgess, Barnabus H. Daru, Chris Elphick, Rob Freckleton, Winifred F. Frick, Alice C. Hughes, Nick J. B. Isaac, Julia P.G. Jones, Marco Lambertini, Oisin Mac Aodha, Anil Madhavapeddy, E. J. Milner-Gulland, Andy Purvis, Nick Salafsky, Bill Sutherland, Iroro Tanshi, Varsha Vijay, Hollis Woodard, and David Williams. Working paper at EcoEvoRxiv. Sep 2025BIBURL(ecoevorxiv.org)Food impacts on species extinction risks can vary by three orders of magnitudeSep 2025Thomas Ball, Michael Dales, Alison Eyres, Jonathan Green, Anil Madhavapeddy, David Williams, and Andrew Balmford. Journal paper in Nature Food. Sep 2025DOIBIBPDFURL(nature.com)Functional Networking for Millions of Docker DesktopsAug 2025Anil Madhavapeddy, Dave Scott, Patrick Ferris, Ryan Gibb, and Thomas Gazagnaire. Journal paper in Proceedings of ACM Programming Languages (vol 9 issue ICFP). Aug 2025DOIBIBPDFURL(dl.acm.org)Steps towards an Ecology for the InternetAug 2025Anil Madhavapeddy, Sam Reynolds, Alec Christie, David Coomes, Michael Dales, Patrick Ferris, Ryan Gibb, Hamed Haddadi, Sadiq Jaffer, Josh Millar, Cyrus Omar, Bill Sutherland, and Jon Crowcroft. Paper in the Proceedings of the sixth decennial Aarhus conference: Computing X Crisis. Aug 2025DOIBIBPDFURL(dl.acm.org)Will AI speed up literature reviews or derail them entirely?Jul 2025Sam Reynolds, Alec Christie, Lynn Dicks, Sadiq Jaffer, Anil Madhavapeddy, and Bill Sutherland. Journal paper in Nature (vol 643 issue 8071). Jul 2025DOIBIBPDFURL(rdcu.be)Solving Package Management via Hypergraph Dependency ResolutionJun 2025Ryan Gibb, Patrick Ferris, David Allsopp, Michael Dales, Mark Elvers, Thomas Gazagnaire, Sadiq Jaffer, Thomas Leonard, Jon Ludlam, and Anil Madhavapeddy. Working paper at arXiv. Jun 2025DOIBIBPDFURL(arxiv.org)Emission Impossible: privacy-preserving carbon emissions claimsJun 2025Jessica Man, Sadiq Jaffer, Patrick Ferris, Martin Kleppmann, and Anil Madhavapeddy. Working paper at arXiv. Jun 2025DOIBIBPDFURL(arxiv.org)Energy-Aware Deep Learning on Resource-Constrained HardwareMay 2025Josh Millar, Hamed Haddadi, and Anil Madhavapeddy. Working paper at arXiv. May 2025DOIBIBPDFURL(arxiv.org)Careful design of Large Language Model pipelines enables expert-level retrieval of evidence-based information from syntheses and databasesMay 2025Radhika Iyer, Alec Christie, Anil Madhavapeddy, Sam Reynolds, Bill Sutherland, and Sadiq Jaffer. Journal paper in PLOS ONE (vol 20 issue 5). May 2025DOIBIBPDFURL(journals.plos.org)Conservation changed but not dividedApr 2025Sam Reynolds, Sara Beery, Neil Burgess, Mark Burgman, Stuart Butchart, Steven J. Cooke, David Coomes, Finn Danielsen, Enrico Di Minin, América Paz Durán, Amy Hinsley, Sadiq Jaffer, Julia P.G. Jones, Binbin V. Li, Anil Madhavapeddy, Lloyd Peck, Nathalie Pettorelli, Jon Paul Rodríguez, and Bill Sutherland. Journal paper in Trends in Ecology & Evolution. Apr 2025DOIBIBPDFURL(authors.elsevier.com)LIFE: A metric for mapping the impact of land-cover change on global extinctionsJan 2025Alison Eyres, Thomas Ball, Michael Dales, Thomas Swinfield, Andy Arnell, Daniele Baisero, América Paz Durán, Jonathan Green, Rhys Green, Anil Madhavapeddy, and Andrew Balmford. Journal paper in Phil. Transactions of the Royal Society (vol 380 issue 1917). Jan 2025DOIBIBPDFURL(royalsocietypublishing.org)2024Lineage first computing: towards a frugal userspace for LinuxDec 2024Michael Dales, Patrick Ferris, and Anil Madhavapeddy. Abstract in the 1st International Workshop on Low Carbon Computing. Dec 2024BIBPDFURL(sicsa.ac.uk)Cooperative Sensor Networks for Long-Term Biodiversity MonitoringDec 2024Josh Millar, Sarab Sethi, Hamed Haddadi, Michael Dales, and Anil Madhavapeddy. Abstract in the 1st International Workshop on Low Carbon Computing. Dec 2024BIBPDFURL(sicsa.ac.uk)The potential for AI to revolutionize conservation: a horizon scanDec 2024Sam Reynolds, Sara Beery, Neil Burgess, Mark Burgman, Stuart Butchart, Steven J. Cooke, David Coomes, Finn Danielsen, Enrico Di Minin, América Paz Durán, Francis Gassert, Amy Hinsley, Sadiq Jaffer, Julia P.G. Jones, Binbin V. Li, Oisin Mac Aodha, Anil Madhavapeddy, Stephanie O'Donnell, Bill Oxbury, Lloyd Peck, Nathalie Pettorelli, Jon Paul Rodríguez, Emily Shuckburgh, Bernardo Strassburg, Hiromi Yamashita, Zhongqi Miao, and Bill Sutherland. Journal paper in Trends in Ecology & Evolution. Dec 2024DOIBIBPDFURL(linkinghub.elsevier.com)Carbon-aware Name ResolutionDec 2024Ryan Gibb, Patrick Ferris, and Anil Madhavapeddy. Abstract in the 1st International Workshop on Low Carbon Computing. Dec 2024BIBPDFURL(sicsa.ac.uk)A Legal Perspective on Supply-side Integrity Issues in the Forest Carbon MarketNov 2024Sophie Chapman, Eleanor Toye Scott, Thomas Swinfield, Robin Daniels, and Anil Madhavapeddy. Journal paper in Carbon & Climate Law Review (vol 18 issue 3). Nov 2024DOIBIBPDFURL(cclr.lexxion.eu)Poster: Towards Low-Power Comprehensive Biodiversity MonitoringNov 2024Josh Millar, Sarab Sethi, Hamed Haddadi, and Anil Madhavapeddy. Abstract in the Proceedings of the 22nd ACM Conference on Embedded Networked Sensor Systems. Nov 2024DOIBIBPDFURL(dl.acm.org)Scheduling for Reduced Tail Task Latencies in Highly Utilized DatacentersNov 2024Smita Vijayakumar, Anil Madhavapeddy, and Evangelia Kalyvianaki. Paper in the Proceedings of the 2024 ACM Symposium on Cloud Computing. Nov 2024DOIBIBPDFURL(acmsocc.org)Modularizing Reasoning about AI Capabilities via Abstract Dijkstra MonadsSep 2024Cyrus Omar, Patrick Ferris, and Anil Madhavapeddy. Paper in the the 12th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE). Sep 2024BIBPDFURL(icfp24.sigplan.org)Terracorder: Sense Long and ProsperAug 2024Josh Millar, Sarab Sethi, Hamed Haddadi, and Anil Madhavapeddy. Working paper at arXiv. Aug 2024DOIBIBPDFURL(arxiv.org)PACT Tropical Moist Forest Accreditation Methodology v2.1Aug 2024Andrew Balmford, David Coomes, Michael Dales, Patrick Ferris, James Hartup, Sadiq Jaffer, Srinivasan Keshav, Miranda Lam, Anil Madhavapeddy, Robin Message, E.-Ping Rau, Thomas Swinfield, Charlotte Wheeler, and Abby Williams. Working paper at Cambridge Open Engage. Aug 2024DOIBIBPDFURL(cambridge.org)Nature-based credit markets at a crossroadsAug 2024Thomas Swinfield, Siddarth Shrikanth, Joseph Bull, Anil Madhavapeddy, and Sophus zu Ermgassen. Journal paper in Nature Sustainability. Aug 2024DOIBIBPDFURL(nature.com)Mitigating risk of credit reversal in nature-based climate solutions by optimally anticipating carbon releaseAug 2024E.-Ping Rau, James Gross, David Coomes, Thomas Swinfield, Anil Madhavapeddy, Andrew Balmford, and Srinivasan Keshav. Journal paper in Carbon Management (vol 15 issue 1). Aug 2024DOIBIBPDFURL(tandfonline.com)Harnessing temporal & spectral dimensionality to identify individual trees in tropical forestsJun 2024James G. C. Ball, Sadiq Jaffer, Anthony Laybros, Colin Prieur, Toby Jackson, Anil Madhavapeddy, Nicolas Barbier, Gregoire Vincent, and David Coomes. Working paper at bioRxiv. Jun 2024DOIBIBPDFURL(biorxiv.org)Towards Scalable Deep Species Distribution Modelling using Global Remote SensingMay 2024Emily Morris, Anil Madhavapeddy, Sadiq Jaffer, and David Coomes. Paper in the proceedings of the ICLR 2024 Workshop on Tackling Climate Change with Machine Learning. May 2024BIBPDFURL(climatechange.ai)Global, robust and comparable digital carbon assetsApr 2024Sadiq Jaffer, Michael Dales, Patrick Ferris, Thomas Swinfield, Derek Sorensen, Robin Message, Srinivasan Keshav, and Anil Madhavapeddy. Paper in the proceedings of the 6th IEEE International Conference on Blockchain and Cryptocurrency. Apr 2024DOIBIBPDFURL(arxiv.org)Green Urban Equity: Analyzing the 3-30-300 Rule in UK Cities and Its Socioeconomic ImplicationsMar 2024Andres Zuñiga-Gonzalez, Anil Madhavapeddy, and Ronita Bardhan. Technical report (EGU24-20833) at Copernicus Meetings. Mar 2024DOIBIBURL(meetingorganizer.copernicus.org)Planetary computing for data-driven environmental policy-makingMar 2024Patrick 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. Mar 2024DOIBIBURL(arxiv.org)Uncertainty at scale: how CS hinders climate researchFeb 2024Patrick Ferris, Michael Dales, Thomas Swinfield, Sadiq Jaffer, Srinivasan Keshav, and Anil Madhavapeddy. Working paper at Undone Computer Science. Feb 2024BIBPDFURL(undonecs.sciencesconf.org)2023Realizing the social value of impermanent carbon creditsNov 2023Andrew Balmford, Srinivasan Keshav, Frank Venmans, David Coomes, Ben Groom, Anil Madhavapeddy, and Thomas Swinfield. Journal paper in Nature Climate Change (vol 13 issue 11). Nov 2023DOIBIBPDFURL(nature.com)Where on Earth is the Spatial Name System?Nov 2023Ryan Gibb, Anil Madhavapeddy, and Jon Crowcroft. Paper in the Proceedings of the 22nd ACM Workshop on Hot Topics in Networks. Nov 2023DOIBIBPDFURL(dl.acm.org)Enabling Lightweight Privilege Separation in Applications with MicroGuardsOct 2023Zahra Tarkhani, and Anil Madhavapeddy. Paper in the Applied Cryptography and Network Security Workshops. Oct 2023DOIBIBPDFURL(link.springer.com)Information Flow Tracking for Heterogeneous Compartmentalized SoftwareOct 2023Zahra Tarkhani, and Anil Madhavapeddy. Paper in the Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses. Oct 2023DOIBIBPDFURL(dl.acm.org)Eio 1.0 – Effects-based IO for OCaml 5Sep 2023Thomas Leonard, Patrick Ferris, Christiano Haesbaert, Lucas Pluvinage, Vesa Karvonen, Sudha Parimala, KC Sivaramakrishnan, Vincent Balat, and Anil Madhavapeddy. Paper in the proceedings of the 2023 OCaml Users and Developers Workshop. Sep 2023BIBPDFURL(icfp23.sigplan.org)State of the OCaml Platform 2023Sep 2023Thibaut Mattio, Anil Madhavapeddy, Thomas Gazagnaire, and David Allsopp. Paper in the proceedings of the 2023 OCaml Users and Developers Workshop. Sep 2023BIBPDFURL(icfp23.sigplan.org)Credit credibility threatens forestsMay 2023Andrew 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 Strassburg, Frank Venmans, Thales West, Charlotte Wheeler, and Thomas Swinfield. Journal paper in Science (vol 380 issue 6644). May 2023DOIBIBPDFURL(science.org)2022Real World OCaml: Functional Programming for the MassesOct 2022Anil Madhavapeddy, and Yaron Minsky. Book published by Cambridge University Press. Oct 2022DOIBIBURL(cambridge.org)Homogeneous Builds with OBuilder and OCamlSep 2022Tim McGilchrist, David Allsopp, Patrick Ferris, Antonin Décimo, Thomas Leonard, Anil Madhavapeddy, and Kate Deplaix. Paper in the proceedings of the 2022 OCaml Users and Developers Workshop. Sep 2022BIBURL(icfp22.sigplan.org)Enhancing the Security & Privacy of Wearable Brain-Computer InterfacesJan 2022Zahra Tarkhani, Lorena Qendro, Malachy O'Connor Brown, Oscar Hill, Cecilia Mascolo, and Anil Madhavapeddy. Working paper at arXiv. Jan 2022DOIBIBPDFURL(arxiv.org)2021Experiences with EffectsAug 2021Thomas Leonard, Craig Ferguson, Patrick Ferris, Sadiq Jaffer, Tom Kelly, KC Sivaramakrishnan, and Anil Madhavapeddy. Paper in the proceedings of the 2021 OCaml Users and Developers Workshop. Aug 2021BIBPDFURL(icfp21.sigplan.org)How Computer Science Can Aid Forest RestorationAug 2021Gemma Gordon, Amelia Holcomb, Tom Kelly, Srinivasan Keshav, Jon Ludlam, and Anil Madhavapeddy. Working paper at arXiv. Aug 2021DOIBIBPDFURL(arxiv.org)Retrofitting effect handlers onto OCamlJun 2021KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy. Paper in the Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jun 2021DOIBIBPDFURL(dl.acm.org)2020Banyan: Coordination-Free Distributed Transactions over Mergeable TypesNov 2020Shashank Shekhar Dubey, KC Sivaramakrishnan, Thomas Gazagnaire, and Anil Madhavapeddy. Paper in the proceedings of the Asian Symposium on Programming Languages and Systems. Nov 2020DOIBIBPDFURL(link.springer.com)The OCaml Platform: 2020Sep 2020Anil Madhavapeddy. Paper in the the 10th ACM OCaml Users and Developers Workshop. Sep 2020BIBURL(icfp20.sigplan.org)Parallelising your OCaml Code with Multicore OCamlAug 2020Sadiq Jaffer, Sudha Parimala, KC Sivaramakrishnan, Tom Kelly, and Anil Madhavapeddy. Paper in the proceedings of the 2020 OCaml Users and Developers Workshop. Aug 2020BIBPDFURL(github.com)Retrofitting parallelism onto OCamlAug 2020KC 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 Programming Languages (vol 4 issue ICFP). Aug 2020DOIBIBPDFURL(dl.acm.org)OCaml-CI: A Zero-Configuration CIAug 2020Thomas Leonard, Craig Ferguson, Kate Deplaix, Magnus Skjegstad, and Anil Madhavapeddy. Paper in the proceedings of the 2020 OCaml Users and Developers Workshop. Aug 2020BIBURL(icfp20.sigplan.org)2019MirageOS 4: the dawn of practical build systems for exotic targetsAug 2019Lucas Pluvinage, Romain Calascibetta, Rudi Grinberg, and Anil Madhavapeddy. Paper in the Proceedings of the OCaml Workshop 2019. Aug 2019BIBPDFURL(icfp19.sigplan.org)The OCaml Platform in 2019Aug 2019Anil Madhavapeddy, and Gemma Gordon. Paper in the Proceedings of the OCaml Workshop 2019. Aug 2019BIBURL(icfp19.sigplan.org)Programming Unikernels in the Large via Functor Driven DevelopmentMay 2019Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, and Dave Scott. Working paper at arXiv. May 2019DOIBIBPDFURL(arxiv.org)Snape: The Dark Art of Handling Heterogeneous EnclavesMar 2019Zahra Tarkhani, Anil Madhavapeddy, and Richard Mortier. Paper in the Proceedings of the 2nd International Workshop on Edge Systems, Analytics and Networking. Mar 2019DOIBIBPDFURL(dl.acm.org)2018A modular foreign function interfaceOct 2018Jeremy Yallop, David Sheets, and Anil Madhavapeddy. Journal paper in Science of Computer Programming (vol 164). Oct 2018DOIBIBPDFURL(linkinghub.elsevier.com)Bounding data races in space and timeJun 2018Stephen Dolan, KC Sivaramakrishnan, and Anil Madhavapeddy. Paper in the Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. Jun 2018DOIBIBPDFURL(dl.acm.org)Concurrent System Programming with Effect HandlersApr 2018Stephen Dolan, Spiros Eliopoulos, Daniel Hillerstrom, Anil Madhavapeddy, KC Sivaramakrishnan, and Leo White. Paper in the Trends in Functional Programming. Apr 2018DOIBIBPDFURL(link.springer.com)An architecture for interspatial communicationApr 2018Anil Madhavapeddy, KC Sivaramakrishnan, Gemma Gordon, and Thomas Gazagnaire. Paper in the Proceedings of the HotPOST 2018 workshop at the IEEE Conference on Computer Communications. Apr 2018DOIBIBPDFURL(ieeexplore.ieee.org)2017The State of the OCaml Platform: Sep 2017Sep 2017Anil Madhavapeddy. Paper in the the 7th ACM OCaml Users and Developers Workshop. Sep 2017BIBPDFEffectively tackling the awkward squadSep 2017Stephen Dolan, Spiros Eliopoulos, Daniel Hillerstrom, Anil Madhavapeddy, KC Sivaramakrishnan, and Leo White. Paper in the the ACM ML Workshop. Sep 2017BIBPDFDaLi: Database as a LibraryMay 2017Gowtham Kaki, KC Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy, and Suresh Jagannathan. Paper in the 2nd Summit on Advances in Programming Languages (SNAPL). May 2017BIBPDFURL(anil.recoil.org)2016FLICK: Developing and Running Application-Specific Network ServicesJun 2016Abdul Alim, Richard 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 Miliavacca, and Derek McAuley. Paper in the 2016 USENIX Annual Technical Conference. Jun 2016BIBPDFURL(usenix.org)Declarative Foreign Function Binding Through Generic ProgrammingFeb 2016Jeremy Yallop, David Sheets, and Anil Madhavapeddy. Paper in the the proceedings of Functional and Logic Programming (FLOPS). Feb 2016DOIBIBPDFURL(link.springer.com)2015Personal Data: Thinking Inside the BoxOct 2015Amir 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 2015DOIBIBPDFURL(tidsskrift.dk)SibylFS: formal specification and oracle-based testing for POSIX and real-world file systemsOct 2015Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, and Peter Sewell. Paper in the Proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP). Oct 2015DOIBIBPDFURL(dl.acm.org)Not-Quite-So-Broken TLSAug 2015David Kaloper-Mersinjak, Hannes Mehnert, Anil Madhavapeddy, and Peter Sewell. Paper in the 24th USENIX Security Symposium (USENIX Security 15). Aug 2015BIBPDFURL(usenix.org)Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked PuzzlesMay 2015Magnus Skjegstad, Anil Madhavapeddy, and Jon Crowcroft. Paper in the Proceedings of the 2015 Workshop on Do-it-yourself Networking: an Interdisciplinary Approach. May 2015DOIBIBPDFURL(dl.acm.org)Jitsu: Just-In-Time Summoning of UnikernelsMay 2015Anil Madhavapeddy, Thomas Leonard, Magnus Skjegstad, Thomas Gazagnaire, David Sheets, Dave Scott, Richard Mortier, Amir Chaudhry, Balraj Singh, Jon Ludlam, Jon Crowcroft, and Ian Leslie. Paper in the 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). May 2015BIBPDFURL(usenix.org)Mergeable persistent data structuresJan 2015Benjamin Farinier, Thomas Gazagnaire, and Anil Madhavapeddy. Paper in the Vingt-sixiemes Journees Francophones des Langages Applicatifs (JFLA 2015). Jan 2015BIBPDFRaft Refloated: Do We Have Consensus?Jan 2015Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy, and Jon Crowcroft. Journal paper in ACM SIGOPS Operating Systems Review (vol 49 issue 1). Jan 2015DOIBIBPDFURL(dl.acm.org)CUFP'13 scribe's reportJan 2015Marius Eriksen, Michael Sperber, and Anil Madhavapeddy. Journal paper in Journal of Functional Programming (vol 25). Jan 2015DOIBIBURL(cambridge.org)2014Regional clouds: technical considerationsNov 2014Jatinder Singh, Jean Bacon, Jon Crowcroft, Anil Madhavapeddy, Thomas Pasquier, W. Kuan Hon, and Christopher Millard. Technical report (UCAM-CL-TR-863) at University of Cambridge, Computer Laboratory. Nov 2014DOIBIBPDFURL(cl.cam.ac.uk)Multicore OCamlSep 2014Stephen Dolan, Leo White, and Anil Madhavapeddy. Paper in the the 4th ACM OCaml Users and Developers Workshop. Sep 2014BIBPDFThe OCaml Platform v1.0Sep 2014Anil Madhavapeddy, Amir Chaudhry, Jeremie Dimino, Thomas Gazagnaire, Louis Gesbert, Thomas Leonard, David Sheets, Mark Shinwell, Leo White, and Jeremy Yallop. Paper in the the 4th ACM OCaml Users and Developers Workshop. Sep 2014BIBPDFIrminsule: a branch-consistent distributed library databaseSep 2014Thomas Gazagnaire, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier, Dave Scott, David Sheets, and Gregory Tsipenyuk. Paper in the the 4th ACM OCaml Users and Developers Workshop. Sep 2014BIBPDF2013Unikernels: Rise of the Virtual Library Operating SystemNov 2013Anil Madhavapeddy, and Dave Scott. Journal paper in ACM Queue (vol 11 issue 11). Nov 2013DOIBIBURL(dl.acm.org)Commercial users of functional programming workshop reportNov 2013Michael Sperber, and Anil Madhavapeddy. Journal paper in Journal of Functional Programming (vol 23 issue 6). Nov 2013DOIBIBURL(cambridge.org)Trevi: watering down storage hotspots with cool fountain codesNov 2013George Parisis, Toby Moncaster, Anil Madhavapeddy, and Jon Crowcroft. Paper in the Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks. Nov 2013DOIBIBPDFURL(dl.acm.org)Ocamlot: Online OCaml TestingSep 2013David Sheets, Anil Madhavapeddy, Amir Chaudhry, and Thomas Gazagnaire. Paper in the the 3rd ACM OCaml Users and Developers Workshop. Sep 2013BIBPDFURL(github.com)The OCaml Platform v0.1Sep 2013Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire, David Sheets, Phillipe Wang, Leo White, and Jeremy Yallop. Paper in the the 2nd ACM OCaml Users and Developers Workshop. Sep 2013BIBPDFLost in the Edge: Finding Your Way with DNSSEC SignpostsAug 2013Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Anil Madhavapeddy, Amir Chaudhry, and Jon Crowcroft. Paper in the 3rd USENIX Workshop on Free and Open Communications on the Internet (FOCI 13). Aug 2013BIBPDFURL(usenix.org)Unikernels: library operating systems for the cloudMar 2013Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, Dave Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand, and Jon Crowcroft. Paper in the Proceedings of the 18th international conference on architectural support for programming languages and operating systems (ASPLOS). Mar 2013DOIBIBPDFURL(dl.acm.org)Perceived risks of personal data sharingFeb 2013Anya 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. Feb 2013BIBPDF2012Evolving TCP: how hard can it be?Dec 2012Zubair Nabi, Toby Moncaster, Anil Madhavapeddy, Steven Hand, and Jon Crowcroft. Paper in the Proceedings of the 2012 ACM conference on CoNEXT student workshop. Dec 2012DOIBIBPDFURL(dl.acm.org)Signposts: end-to-end networking in a world of middleboxesSep 2012Amir 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). Sep 2012DOIBIBURL(dl.acm.org)Programming the Xen cloud using OCamlSep 2012Dave Scott, Richard Sharp, and Anil Madhavapeddy. Paper in the the 1st ACM OCaml Users and Developers Workshop. Sep 2012BIBPDFExploring Compartmentalisation Hypotheses with SOAAPSep 2012Khilan Gudka, Robert M Watson, Steven Hand, Ben Laurie, and Anil Madhavapeddy. Paper in the 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops. Sep 2012DOIBIBPDFURL(ieeexplore.ieee.org)Cost, Performance & Flexibility in OpenFlow: Pick threeJun 2012Charalampos Rotsos, Richard Mortier, Anil Madhavapeddy, Balraj Singh, and Andrew W. Moore. Paper in the 2012 IEEE International Conference on Communications (ICC). Jun 2012DOIBIBPDFURL(ieeexplore.ieee.org)Confidential carbon commuting: exploring a privacy-sensitive architecture for incentivising 'greener' commutingApr 2012Chris Elsmore, Anil Madhavapeddy, Ian Leslie, and Amir Chaudhry. Paper in the Proceedings of the First Workshop on Measurement, Privacy, and Mobility. Apr 2012DOIBIBPDFURL(doi.org)The case for reconfigurable I/O channelsMar 2012Steven Smith, Anil Madhavapeddy, Christopher Smowton, Malte Schwarzkopf, Richard Mortier, Robert M Watson, and Steven Hand. Paper in the RESoLVE workshop at ASPLOS. Mar 2012BIBPDFCUFP 2011 Workshop ReportJan 2012Anil Madhavapeddy, Yaron Minsky, and Marius Eriksen. Journal paper in Journal of Functional Programming (vol 22 issue 1). Jan 2012DOIBIBURL(cambridge.org)2011Dynamics for ML using Meta-ProgrammingJul 2011Thomas Gazagnaire, and Anil Madhavapeddy. Journal paper in Electronic Notes in Theoretical Computer Science (vol 264 issue 5). Jul 2011DOIBIBPDFURL(linkinghub.elsevier.com)Reconfigurable Data Processing for CloudsMay 2011Anil Madhavapeddy, and Satnam Singh. Paper in the 2011 IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines. May 2011DOIBIBPDFURL(ieeexplore.ieee.org)CIEL: A universal execution engine for distributed data-flow computingMar 2011Derek G Murray, Malte Schwarzkopf, Christopher Smowton, Steven Smith, Anil Madhavapeddy, and Steven Hand. Paper in the 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11). Mar 2011BIBPDFURL(usenix.org)Statically-typed value persistence for MLMar 2011Thomas Gazagnaire, and Anil Madhavapeddy. Paper in the Workshop on Generative Technologies. Mar 2011BIBPDFURL(cl.cam.ac.uk)Unclouded visionJan 2011Jon Crowcroft, Anil Madhavapeddy, Malte Schwarzkopf, Theodore Hong, and Richard Mortier. Paper in the Proceedings of the 12th International Conference on Distributed Computing and Networking. Jan 2011BIBPDF2010The personal container, or your life in bitsOct 2010Richard Mortier, Chris Greenhalgh, Derek McAuley, Alexa Spence, Anil Madhavapeddy, Jon Crowcroft, and Steven Hand. Journal paper in Digital Futures (vol 10). Oct 2010BIBPDFURL(mort.io)Using functional programming within an industrial product group: perspectives and perceptionsSep 2010Dave Scott, Richard Sharp, Thomas Gazagnaire, and Anil Madhavapeddy. Paper in the Proceedings of the 15th ACM SIGPLAN international conference on Functional programming. Sep 2010DOIBIBPDFURL(dl.acm.org)Turning Down the LAMP: Software Specialisation for the CloudJun 2010Anil Madhavapeddy, Richard Mortier, Ripduman Sohan, Thomas Gazagnaire, Steven Hand, Tim Deegan, Derek McAuley, and Jon Crowcroft. Paper in the 2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 10). Jun 2010BIBPDFURL(usenix.org)Creating High-Performance, Statically Type-Safe Network ApplicationsMay 2010Anil Madhavapeddy. Book published by Lambert Academic Publishing. May 2010BIBPDFURL(biblio.co.uk)Multiscale not multicore: efficient heterogeneous cloud computingApr 2010Anil Madhavapeddy, Richard Mortier, Jon Crowcroft, and Steven Hand. Paper in the Proceedings of the 2010 ACM-BCS Visions of Computer Science Conference. Apr 2010BIBPDFURL(dl.acm.org)Using Dust Clouds to Enhance Anonymous CommunicationMar 2010Richard Mortier, Anil Madhavapeddy, Theodore Hong, Derek Murray, and Malte Schwarzkopf. Paper in the Security Protocols XVIII. Mar 2010DOIBIBPDFURL(link.springer.com)Privacy Butler: A Personal Privacy Rights Manager for Online PresenceMar 2010Ryan Wishart, Domenico Corapi, and Morris Sloman. Paper in the 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops). Mar 2010DOIBIBPDFURL(ieeexplore.ieee.org)2009Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy LanguageNov 2009Anil Madhavapeddy. Paper in the Formal Methods and Software Engineering. Nov 2009DOIBIBPDFURL(link.springer.com)2008Enhancing web browsing security on public terminals using mobile compositionJun 2008Richard Sharp, Anil Madhavapeddy, Roy Want, and Trevor Pering. Paper in the Proceedings of the 6th international conference on Mobile systems, applications, and services. Jun 2008DOIBIBPDFURL(dl.acm.org)2007Melange: creating a "functional" internetJun 2007Anil Madhavapeddy, Alex Ho, Tim Deegan, Dave Scott, and Ripduman Sohan. Journal paper in ACM SIGOPS Operating Systems Review (vol 41 issue 3). Jun 2007DOIBIBPDFURL(dl.acm.org)Interacting with mobile services: an evaluation of camera-phones and visual tagsFeb 2007Eleanor Toye Scott, Richard Sharp, Anil Madhavapeddy, Dave Scott, Eben Upton, and Alan Blackwell. Journal paper in Personal and Ubiquitous Computing (vol 11 issue 2). Feb 2007DOIBIBPDFURL(doi.org)2006Fighting Crimeware: An Architecture for Split-Trust Web ApplicationsApr 2006Richard Sharp, Anil Madhavapeddy, Roy Want, Trevor Pering, and John Light. Technical report (IRC-TR-06-053) at Intel Research. Apr 2006BIBPDF2005A Study of Bluetooth Propagation Using Accurate Indoor Location MappingSep 2005Anil Madhavapeddy, and Alastair Tse. Paper in the UbiComp 2005: Ubiquitous Computing. Sep 2005DOIBIBPDFSPLAT: A Tool for Model-Checking and Dynamically-Enforcing AbstractionsAug 2005Anil Madhavapeddy, Dave Scott, and Richard Sharp. Paper in the Model Checking Software. Aug 2005DOIBIBPDFURL(link.springer.com)Ubiquitious Computing needs to catch up with Ubiquitous MediaJul 2005Richard Sharp, and Kasim Rehman. Journal paper in IEEE Pervasive Computing (vol 4 issue 3). Jul 2005DOIBIBPDFURL(ieeexplore.ieee.org)Audio networking: the forgotten wireless technologyJul 2005Anil Madhavapeddy, Richard Sharp, Dave Scott, and Alastair Tse. Journal paper in IEEE Pervasive Computing (vol 4 issue 3). Jul 2005DOIBIBPDFURL(ieeexplore.ieee.org)On the challenge of delivering high-performance, dependable, model-checked internet serversJun 2005Anil Madhavapeddy, and Dave Scott. Paper in the Proceedings of the First Conference on Hot Topics in System Dependability. Jun 2005BIBPDFURL(dl.acm.org)Using smart phones to access site-specific servicesJan 2005Eleanor Toye Scott, Richard Sharp, Anil Madhavapeddy, and Dave Scott. Journal paper in IEEE Pervasive Computing (vol 4 issue 2). Jan 2005DOIBIBPDFURL(ieeexplore.ieee.org)Using visual tags to bypass Bluetooth device discoveryJan 2005Dave Scott, Richard Sharp, Anil Madhavapeddy, and Eben Upton. Journal paper in SIGMOBILE Mob. Comput. Commun. Rev. (vol 9 issue 1). Jan 2005DOIBIBURL(doi.org)The Broadband Phone Network: Experiences with Context-Aware TelephonyJan 2005Ripduman Sohan, Alastair Tse, and Anil Madhavapeddy. Technical report (CUED/F INFENG/TR.533) at Cambridge University Engineering Department. Jan 2005BIBPDFURL(cam-orl.co.uk)2004Using camera-phones to interact with context-aware mobile servicesDec 2004Eleanor Toye Scott, Anil Madhavapeddy, Richard Sharp, Dave Scott, Alan Blackwell, and Eben Upton. Technical report (UCAM-CL-TR-609) at University of Cambridge, Computer Laboratory. Dec 2004DOIBIBPDFURL(cl.cam.ac.uk)Using Camera-Phones to Enhance Human-Computer InteractionSep 2004Anil Madhavapeddy, Dave Scott, Richard Sharp, and Eben Upton. Paper in the Adjunct Proceedings of Ubicomp 2004 (Demo Track). Sep 2004BIBPDFURL(ubicomp.org)Feedback, latency, accuracy: exploring tradeoffs in location-aware gamingAug 2004Kieran Mansley, Dave Scott, Alastair Tse, and Anil Madhavapeddy. Paper in the Proceedings of ACM SIGCOMM 2004 workshops on NetGames '04 Network and system support for games - SIGCOMM 2004 Workshops. Aug 2004DOIBIBPDFURL(portal.acm.org)2003Context-Aware Computing with SoundOct 2003Anil Madhavapeddy, Dave Scott, and Richard Sharp. Paper in the UbiComp 2003: Ubiquitous Computing. Oct 2003DOIBIBPDFURL(link.springer.com)The Case for Abstracting Security PoliciesJun 2003Anil Madhavapeddy, Alan Mycroft, Dave Scott, and Richard Sharp. Paper in the Proceedings of the International Conference on Security and Management, SAM 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1. Jun 2003BIBPDFURL(cl.cam.ac.uk)Xen 2002Jan 2003Paul R. Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Evangelos Kotsovinos, Anil Madhavapeddy, Rolf Neugebauer, Ian Pratt, and Andrew Warfield. Technical report (UCAM-CL-TR-553) at University of Cambridge, Computer Laboratory. Jan 2003DOIBIBURL(cl.cam.ac.uk)2002Tiscali: How to build a Content Delivery NetworkApr 2002Anil Madhavapeddy, and Alberto Crivelli. Technical report (TR-3152) at NetApp. Apr 2002BIBPDFURL(tr.netapp.link)2000Application of a Distributed Web Site Acceleration: Mars Polar LanderJul 2000Niall Doherty, and Anil Madhavapeddy. Technical report (TR-3071) at NetApp. Jul 2000BIBPDFURL(tr.netapp.link)