# Papers

Academic papers, most recent first. 149 papers: 75 full, 48 short, 26 preprint.

## 2026

- [NERVE Attacks: Breaking AI-Powered Brain-Computer Interfaces](https://anil.recoil.org/papers/2026-nerve-attacks) (Sep 2026, preprint)
  Zahra Tarkhani, Georgios Akkogiounoglou, Lorena Qendro, Isabel Tscherniak and Anil Madhavapeddy. Working paper at [arXiv](http://arxiv.org/abs/2609.08971).
  [DOI](https://doi.org/10.48550/arXiv.2609.08971), [BIB](https://anil.recoil.org/papers/2026-nerve-attacks.bib), [PDF](https://anil.recoil.org/papers/2026-nerve-attacks.pdf), [URL](http://arxiv.org/abs/2609.08971) (arxiv.org)
- [Benchmarking Ultra-Low-Power -NPUs](https://anil.recoil.org/papers/2026-benchmarking-npus) (Aug 2026, full)
  Josh Millar, Yushan Huang, Sarab Sethi, Hamed Haddadi and Anil Madhavapeddy. Journal paper in [GetMobile: Mobile Computing and Communications](https://dl.acm.org/doi/10.1145/3833428.3833430) (vol 30 issue 2).
  [DOI](https://doi.org/10.1145/3833428.3833430), [BIB](https://anil.recoil.org/papers/2026-benchmarking-npus.bib), [PDF](https://anil.recoil.org/papers/2026-benchmarking-npus.pdf), [URL](https://dl.acm.org/doi/10.1145/3833428.3833430) (dl.acm.org)
- [Package Managers à la Carte: A Formal Model of Dependency Resolution](https://anil.recoil.org/papers/2026-package-calculus) (Aug 2026, full)
  Ryan T. Gibb, Patrick Ferris, David Allsopp, Thomas Gazagnaire and Anil Madhavapeddy. Journal paper in [Proceedings of the ACM on Programming Languages](https://dl.acm.org/doi/10.1145/3828699) (vol 10 issue ICFP).
  [DOI](https://doi.org/10.1145/3828699), [BIB](https://anil.recoil.org/papers/2026-package-calculus.bib), [PDF](https://anil.recoil.org/papers/2026-package-calculus.pdf), [URL](https://dl.acm.org/doi/10.1145/3828699) (dl.acm.org)
- [Earth observation embeddings are effective sub-grid descriptors for probabilistic weather downscaling](https://anil.recoil.org/papers/2026-weather-downscaling) (Aug 2026, preprint)
  Pedro Sousa, Will Tebbutt, Sadiq Jaffer, Robin Young, Anil Madhavapeddy and Richard E. Turner. Working paper at [arXiv](http://arxiv.org/abs/2608.12271).
  [DOI](https://doi.org/10.48550/arXiv.2608.12271), [BIB](https://anil.recoil.org/papers/2026-weather-downscaling.bib), [PDF](https://anil.recoil.org/papers/2026-weather-downscaling.pdf), [URL](http://arxiv.org/abs/2608.12271) (arxiv.org)
- [Bidirectional Type Slicing](https://anil.recoil.org/papers/2026-bidirectional-type-slicing) (Jul 2026, preprint)
  Max Carroll, Anil Madhavapeddy and Cyrus Omar. Working paper at [arXiv](http://arxiv.org/abs/2607.12197).
  [DOI](https://doi.org/10.48550/arXiv.2607.12197), [BIB](https://anil.recoil.org/papers/2026-bidirectional-type-slicing.bib), [URL](http://arxiv.org/abs/2607.12197) (arxiv.org)
- [Geospatial foundation models enable data-efficient tree species mapping in temperate mountain forests](https://anil.recoil.org/papers/2026-tessera-trentino) (Jul 2026, full)
  James GC Ball, Jana Annika Wicklein, Zhengpeng Feng, Jovana Knezevic, Sadiq Jaffer, Anil Madhavapeddy, Clement Atzberger, Michele Dalponte and David Coomes. Journal paper in [Science of Remote Sensing](https://www.sciencedirect.com/science/article/pii/S2666017226001045).
  [DOI](https://doi.org/10.1016/j.srs.2026.100466), [BIB](https://anil.recoil.org/papers/2026-tessera-trentino.bib), [PDF](https://anil.recoil.org/papers/2026-tessera-trentino.pdf), [URL](https://www.sciencedirect.com/science/article/pii/S2666017226001045) (sciencedirect.com)
- [TESSERA v2: Scaling Pixel-wise Earth Foundation Models](https://anil.recoil.org/papers/2026-tessera-v2) (Jul 2026, preprint)
  Zhengpeng Feng, Sadiq Jaffer, Ira Shokar, Jovana Knezevic, Mark Elvers, Clement Atzberger, Robin Young, Aneesh Naik, Niall Robinson, Andrew Blake, David Coomes, Anil Madhavapeddy and Srinivasan Keshav. Working paper at [arXiv](http://arxiv.org/abs/2607.03949).
  [DOI](https://doi.org/10.48550/arXiv.2607.03949), [BIB](https://anil.recoil.org/papers/2026-tessera-v2.bib), [URL](http://arxiv.org/abs/2607.03949) (arxiv.org)
- [TESSERA: Temporal Embeddings of Surface Spectra for Earth Representation and Analysis](https://anil.recoil.org/papers/2025-tessera) (Jun 2026, full)
  Zhengpeng Feng, Clement Atzberger, Sadiq Jaffer, Jovana Knezevic, Silja Sormunen, Robin Young, Madeline C. Lisaius, Markus Immitzer, Toby Jackson, James Ball, David A. Coomes, Anil Madhavapeddy, Andrew Blake and Srinivasan Keshav. Paper in the [Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)](https://openaccess.thecvf.com/content/CVPR2026/html/Feng_TESSERA_Temporal_Embeddings_of_Surface_Spectra_for_Earth_Representation_and_CVPR_2026_paper.html).
  [DOI](https://doi.org/10.48550/arXiv.2506.20380), [BIB](https://anil.recoil.org/papers/2025-tessera.bib), [PDF](https://anil.recoil.org/papers/2025-tessera.pdf), [URL](https://openaccess.thecvf.com/content/CVPR2026/html/Feng_TESSERA_Temporal_Embeddings_of_Surface_Spectra_for_Earth_Representation_and_CVPR_2026_paper.html) (openaccess.thecvf.com)
- [Phenological regularity, not functional traits, determines whether tropical tree species can be mapped from imaging spectroscopy](https://anil.recoil.org/papers/2024-hyper-tropical-mapping) (May 2026, preprint)
  James G. C. Ball, Sadiq Jaffer, Anthony Laybros, Colin Prieur, Toby Jackson, Anil Madhavapeddy, Nicolas Barbier, Grégoire Vincent and David A. Coomes. Working paper at [bioRxiv](https://www.biorxiv.org/content/10.64898/2026.05.06.722428v1).
  [DOI](https://doi.org/10.64898/2026.05.06.722428), [BIB](https://anil.recoil.org/papers/2024-hyper-tropical-mapping.bib), [PDF](https://anil.recoil.org/papers/2024-hyper-tropical-mapping.pdf), [URL](https://www.biorxiv.org/content/10.64898/2026.05.06.722428v1) (biorxiv.org)
- [Learning lessons from over-crediting to ensure additionality in forest carbon credits](https://anil.recoil.org/papers/2025-redd-evals) (Apr 2026, full)
  Tom Swinfield, Abby Williams, David Coomes, Michael Dales, Patrick Ferris, Alejandro Guizar-Coutiño, James Hartup, Jody Holland, Sadiq Jaffer, Julia P. G. Jones, Miranda O. K. Lam, Srinivasan Keshav, Anil Madhavapeddy, Eleanor Toye-Scott, Thales A. P. West and Andrew Balmford. Journal paper in [Nature Communications](https://www.nature.com/articles/s41467-026-71552-3) (vol 17 issue 1).
  [DOI](https://doi.org/10.1038/s41467-026-71552-3), [BIB](https://anil.recoil.org/papers/2025-redd-evals.bib), [PDF](https://anil.recoil.org/papers/2025-redd-evals.pdf), [URL](https://www.nature.com/articles/s41467-026-71552-3) (nature.com)
- [Estimating the carbon impacts of leakage from forest restoration and the costs of reducing them](https://anil.recoil.org/papers/2026-forest-leakage) (Apr 2026, preprint)
  Francisco d'Albertas, Tom Swinfield, Ben Filewod, Stefan Wirsenius, Timothy Searchinger, Thomas Ball, Gianluca Cerullo, Jody Holland, Anil Madhavapeddy, Demetrius Martins, Sara Mortara and Andrew Balmford. Working paper at [Research Square](https://www.researchsquare.com/article/rs-9440067/v1).
  [DOI](https://doi.org/10.21203/rs.3.rs-9440067/v1), [BIB](https://anil.recoil.org/papers/2026-forest-leakage.bib), [PDF](https://anil.recoil.org/papers/2026-forest-leakage.pdf), [URL](https://www.researchsquare.com/article/rs-9440067/v1) (researchsquare.com)
- [Foundational AI could usher in a new era for models of all life on Earth](https://anil.recoil.org/papers/2026-ai-ecosystem-foundation) (Mar 2026, short)
  Joseph Millard, Arman Pili, Katherine Berthon, David Coomes, Srinivasan Keshav, Anil Madhavapeddy, Robert J. Fletcher and Lynn V. Dicks. Journal paper in [](https://ecoevorxiv.org/repository/view/12282/).
  [DOI](https://doi.org/10.32942/X26M2F), [BIB](https://anil.recoil.org/papers/2026-ai-ecosystem-foundation.bib), [URL](https://ecoevorxiv.org/repository/view/12282/) (ecoevorxiv.org)
- [A Decade of Docker Containers](https://anil.recoil.org/papers/2026-decade-docker) (Mar 2026, full)
  Anil Madhavapeddy, David J. Scott and Justin Cormack. Journal paper in [Communications of the ACM](https://dl.acm.org/doi/10.1145/3761803).
  [DOI](https://doi.org/10.1145/3761803), [BIB](https://anil.recoil.org/papers/2026-decade-docker.bib), [URL](https://dl.acm.org/doi/10.1145/3761803) (dl.acm.org)
- [Nine changes needed to deliver a radical transformation in biodiversity measurement](https://anil.recoil.org/papers/2025-biodiversity-9recs) (Jan 2026, full)
  William J. Sutherland, Neil D. Burgess, Scott V. Edwards, Julia P. G. Jones, Pamela S. Soltis, David Tilman, Julie M. Allen, Herizo T. Andrianandrasana, Cathrine J. Armour, Tom August, Kamaljit S. Bawa, Sallie Bailey, Tanya Birch, Philipp H. Boersch-Supan, Jeannine Cavender-Bares, Mark Blaxter, Rebecca Chaplin-Kramer, Barnabas H. Daru, Adriana De Palma, Cristina Eisenberg, Chris S. Elphick, Robert P. Freckleton, Winifred F. Frick, Andrew Gonzalez, Scott J. Goetz, Lior Greenspoon, Christina M. Grozingeree, Don L. Hankins, Jonny Hazell, Nick J. B. Isaac, Marco Lambertini, Harris A. Lewin, Oisin Mac Aodha, Anil Madhavapeddy, Ej Milner-Gulland, Ron Milo, James O’Dwyer, Andy Purvis, Nick Salafsky, Heather Tallis, Iroro Tanshi, Varsha Vijay, Martin Wikelski, David R. Williams, S. Hollis Woodard and Gene E. Robinson. Journal paper in [Proceedings of the National Academy of Sciences](https://pnas.org/doi/10.1073/pnas.2519345123) (vol 123 issue 10).
  [DOI](https://doi.org/10.1073/pnas.2519345123), [BIB](https://anil.recoil.org/papers/2025-biodiversity-9recs.bib), [PDF](https://anil.recoil.org/papers/2025-biodiversity-9recs.pdf), [URL](https://pnas.org/doi/10.1073/pnas.2519345123) (pnas.org)
- [From data to decisions: Toward a Biodiversity Monitoring Standards Framework](https://anil.recoil.org/papers/2025-biodiversity-msf) (Jan 2026, full)
  Andrew Gonzalez, Tom August, Sallie Bailey, Kyle Bobiwash, Philipp H. Boersch-Supan, Neil D. Burgess, Barnabas H. Daru, Chris S. Elphick, Robert P. 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, William J. Sutherland, Iroro Tanshi, Varsha Vijay, S. Hollis Woodard and David R. Williams. Journal paper in [Proceedings of the National Academy of Sciences](https://pnas.org/doi/10.1073/pnas.2519347123) (vol 123 issue 10).
  [DOI](https://doi.org/10.1073/pnas.2519347123), [BIB](https://anil.recoil.org/papers/2025-biodiversity-msf.bib), [PDF](https://anil.recoil.org/papers/2025-biodiversity-msf.pdf), [URL](https://pnas.org/doi/10.1073/pnas.2519347123) (pnas.org)
- [Informing conservation problems and actions using an indicator of extinction risk: A detailed assessment of applying the LIFE metric](https://anil.recoil.org/papers/2025-life-uses) (Jan 2026, full)
  Alison Eyres, Andy Arnell, Thomas S. Ball, Richard J. Cuthbert, Michael Dales, Alejandro Guizar-Coutiño, Jody Holland, Emilio Luz-Ricca, Anil Madhavapeddy, Leila Pain, Tom Swinfield, Thomas B. White and Andrew Balmford. Journal paper in [Biological Conservation](https://linkinghub.elsevier.com/retrieve/pii/S0006320725007001) (vol 315).
  [DOI](https://doi.org/10.1016/j.biocon.2025.111663), [BIB](https://anil.recoil.org/papers/2025-life-uses.bib), [PDF](https://anil.recoil.org/papers/2025-life-uses.pdf), [URL](https://linkinghub.elsevier.com/retrieve/pii/S0006320725007001) (linkinghub.elsevier.com)
- [Applications of the TESSERA Geospatial Foundation Model to Diverse Environmental Mapping Tasks](https://anil.recoil.org/papers/2025-tessera-tasks) (Jan 2026, preprint)
  Zhengpeng Feng, Clement Atzberger, Sadiq Jaffer, Jovana Knezevic, Silja Sormunun, Robin Young, Madeline Lisaius, Markus Immitzer, Toby Jackson, James Ball, David Coomes, Anil Madhavapeddy, Andrew Blake and Srinivasan Keshav. Working paper at [SSRN](https://www.ssrn.com/abstract=6142416).
  [DOI](https://doi.org/10.2139/ssrn.6142416), [BIB](https://anil.recoil.org/papers/2025-tessera-tasks.bib), [URL](https://www.ssrn.com/abstract=6142416) (ssrn.com)

## 2025

- [Benchmarking Ultra-Low-Power μNPUs](https://anil.recoil.org/papers/2025-npu-bench) (Nov 2025, full)
  Josh 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](https://dl.acm.org/doi/10.1145/3680207.3765264).
  [DOI](https://doi.org/10.1145/3680207.3765264), [BIB](https://anil.recoil.org/papers/2025-npu-bench.bib), [PDF](https://anil.recoil.org/papers/2025-npu-bench.pdf), [URL](https://dl.acm.org/doi/10.1145/3680207.3765264) (dl.acm.org)
- [An Architecture for Spatial Networking](https://anil.recoil.org/papers/2025-bifrost) (Oct 2025, preprint)
  Josh Millar, Ryan Gibb, Roy Ang, Hamed Haddadi and Anil Madhavapeddy. Working paper at [arXiv](http://arxiv.org/abs/2507.22687).
  [DOI](https://doi.org/10.48550/arXiv.2507.22687), [BIB](https://anil.recoil.org/papers/2025-bifrost.bib), [PDF](https://anil.recoil.org/papers/2025-bifrost.pdf), [URL](http://arxiv.org/abs/2507.22687) (arxiv.org)
- [Airborne assessment uncovers socioeconomic stratification of urban nature in England](https://anil.recoil.org/papers/2025-england-nature) (Oct 2025, preprint)
  Andres Camilo Zuniga-Gonzalez, Anil Madhavapeddy and Ronita Bardhan. Working paper at [arXiv](http://arxiv.org/abs/2510.13861).
  [DOI](https://doi.org/10.48550/arXiv.2510.13861), [BIB](https://anil.recoil.org/papers/2025-england-nature.bib), [PDF](https://anil.recoil.org/papers/2025-england-nature.pdf), [URL](http://arxiv.org/abs/2510.13861) (arxiv.org)
- [AI-assisted Living Evidence Databases for Conservation Science](https://anil.recoil.org/papers/2025-evidence-tap) (Oct 2025, preprint)
  Sadiq Jaffer, William Morgan, Sam Reynolds, Alec Christie, Anil Madhavapeddy and William Sutherland. Working paper at [Cambridge Open Engage](https://www.cambridge.org/engage/coe/article-details/68e52a47bc2ac3a0e0c0eda8).
  [DOI](https://doi.org/10.33774/coe-2025-rmsqf), [BIB](https://anil.recoil.org/papers/2025-evidence-tap.bib), [PDF](https://anil.recoil.org/papers/2025-evidence-tap.pdf), [URL](https://www.cambridge.org/engage/coe/article-details/68e52a47bc2ac3a0e0c0eda8) (cambridge.org)
- [A FAIR Case for a Live Computational Commons](https://anil.recoil.org/papers/2025-fairground) (Oct 2025, short)
  Cyrus Omar, Michael Coblenz and Anil Madhavapeddy. Paper in the [Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet](https://dl.acm.org/doi/10.1145/3759536.3763802).
  [DOI](https://doi.org/10.1145/3759536.3763802), [BIB](https://anil.recoil.org/papers/2025-fairground.bib), [PDF](https://anil.recoil.org/papers/2025-fairground.pdf), [URL](https://dl.acm.org/doi/10.1145/3759536.3763802) (dl.acm.org)
- [The path to robust evaluation of carbon credits generated by forest restoration and REDD+ projects](https://anil.recoil.org/papers/2025-forest-restoration-cc) (Oct 2025, full)
  Charlotte E. Wheeler, Felipe Begliomini, Amelia Holcomb, Srinivasan Keshav, Anil Madhavapeddy and David Coomes. Journal paper in [Remote Sensing of Environment](https://linkinghub.elsevier.com/retrieve/pii/S0034425725004456) (vol 332).
  [DOI](https://doi.org/10.1016/j.rse.2025.115041), [BIB](https://anil.recoil.org/papers/2025-forest-restoration-cc.bib), [PDF](https://anil.recoil.org/papers/2025-forest-restoration-cc.pdf), [URL](https://linkinghub.elsevier.com/retrieve/pii/S0034425725004456) (linkinghub.elsevier.com)
- [Generating a corpus of Hazel programs from ill-typed OCaml programs](https://anil.recoil.org/papers/2025-hazel-of-ocaml) (Oct 2025, short)
  Patrick Ferris and Anil Madhavapeddy. Paper in the [proceedings of the 2025 Workshop on Type-Driven Development (TyDe)](https://conf.researchr.org/details/icfp-splash-2025/tyde-2025-papers/8/Generating-a-corpus-of-Hazel-programs-from-ill-typed-OCaml-programs-Extended-Abstrac).
  [BIB](https://anil.recoil.org/papers/2025-hazel-of-ocaml.bib), [PDF](https://anil.recoil.org/papers/2025-hazel-of-ocaml.pdf), [URL](https://conf.researchr.org/details/icfp-splash-2025/tyde-2025-papers/8/Generating-a-corpus-of-Hazel-programs-from-ill-typed-OCaml-programs-Extended-Abstrac) (conf.researchr.org)
- [Three steps for OCaml to crest the AI humps](https://anil.recoil.org/papers/2025-ocaml-ai) (Oct 2025, short)
  Sadiq Jaffer, Jon Ludlam, Ryan T. Gibb, Thomas Gazagnaire and Anil Madhavapeddy. Paper in the [proceedings of the 2025 OCaml Workshop](https://conf.researchr.org/details/icfp-splash-2025/ocaml-2025-papers/5/Three-steps-for-OCaml-to-crest-the-AI-humps).
  [BIB](https://anil.recoil.org/papers/2025-ocaml-ai.bib), [PDF](https://anil.recoil.org/papers/2025-ocaml-ai.pdf), [URL](https://conf.researchr.org/details/icfp-splash-2025/ocaml-2025-papers/5/Three-steps-for-OCaml-to-crest-the-AI-humps) (conf.researchr.org)
- [Programming Opportunities for the Global Biodiversity Observation Network](https://anil.recoil.org/papers/2025-programming-gbon) (Oct 2025, short)
  Jean-Michel Lord, Jamie M. Kass, Andrew Gonzalez, Michael Dales and Anil Madhavapeddy. Paper in the [abstracts of the 2025 ACM SIGPLAN Programming for the Planet Workshop](https://conf.researchr.org/home/icfp-splash-2025/propl-2025#program).
  [BIB](https://anil.recoil.org/papers/2025-programming-gbon.bib), [PDF](https://anil.recoil.org/papers/2025-programming-gbon.pdf), [URL](https://conf.researchr.org/home/icfp-splash-2025/propl-2025#program) (conf.researchr.org)
- [Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet](https://anil.recoil.org/papers/2025-propl) (Oct 2025, full)
  Anil Madhavapeddy, Dominic Orchard and KC Sivaramakrishnan. [Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet](https://dl.acm.org/doi/proceedings/10.1145/3759536).
  [DOI](https://doi.org/10.1145/3759536), [BIB](https://anil.recoil.org/papers/2025-propl.bib), [PDF](https://anil.recoil.org/papers/2025-propl.pdf), [URL](https://dl.acm.org/doi/proceedings/10.1145/3759536) (dl.acm.org)
- [Yirgacheffe: A Declarative Approach to Geospatial Data](https://anil.recoil.org/papers/2025-yirgacheffe) (Oct 2025, short)
  Michael Winston 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](https://dl.acm.org/doi/10.1145/3759536.3763806).
  [DOI](https://doi.org/10.1145/3759536.3763806), [BIB](https://anil.recoil.org/papers/2025-yirgacheffe.bib), [PDF](https://anil.recoil.org/papers/2025-yirgacheffe.pdf), [URL](https://dl.acm.org/doi/10.1145/3759536.3763806) (dl.acm.org)
- [Food impacts on species extinction risks can vary by three orders of magnitude](https://anil.recoil.org/papers/2024-food-life) (Sep 2025, full)
  Thomas Ball, Michael Winston Dales, Alison Eyres, Jonathan Green, Anil Madhavapeddy, David Williams and Andrew Balmford. Journal paper in [Nature Food](https://www.nature.com/articles/s43016-025-01224-w).
  [DOI](https://doi.org/10.1038/s43016-025-01224-w), [BIB](https://anil.recoil.org/papers/2024-food-life.bib), [PDF](https://anil.recoil.org/papers/2024-food-life.pdf), [URL](https://www.nature.com/articles/s43016-025-01224-w) (nature.com)
- [What if we could hot swap our Biometrics?](https://anil.recoil.org/papers/2025-hotswap-biometrics) (Sep 2025, preprint)
  Jon Crowcroft, Anil Madhavapeddy, Chris Hicks, Richard Mortier and Vasilios Mavroudis. Working paper at [arXiv](http://arxiv.org/abs/2509.17962).
  [DOI](https://doi.org/10.48550/arXiv.2509.17962), [BIB](https://anil.recoil.org/papers/2025-hotswap-biometrics.bib), [PDF](https://anil.recoil.org/papers/2025-hotswap-biometrics.pdf), [URL](http://arxiv.org/abs/2509.17962) (arxiv.org)
- [Functional Networking for Millions of Docker Desktops](https://anil.recoil.org/papers/2025-docker-icfp) (Aug 2025, full)
  Anil Madhavapeddy, David J. Scott, Patrick Ferris, Ryan T. Gibb and Thomas Gazagnaire. Journal paper in [Proceedings of ACM Programming Languages](https://dl.acm.org/doi/10.1145/3747525) (vol 9 issue ICFP).
  [DOI](https://doi.org/10.1145/3747525), [BIB](https://anil.recoil.org/papers/2025-docker-icfp.bib), [PDF](https://anil.recoil.org/papers/2025-docker-icfp.pdf), [URL](https://dl.acm.org/doi/10.1145/3747525) (dl.acm.org)
- [Steps towards an Ecology for the Internet](https://anil.recoil.org/papers/2025-internet-ecology) (Aug 2025, full)
  Anil Madhavapeddy, Sam Reynolds, Alec Philip Christie, David A Coomes, Michael Winston Dales, Patrick Ferris, Ryan Thomas Gibb, Hamed Haddadi, Sadiq Jaffer, Josh David Millar, Cyrus Omar, William Sutherland and Jon Crowcroft. Paper in the [Proceedings of the sixth decennial Aarhus conference: Computing X Crisis](https://dl.acm.org/doi/10.1145/3744169.3744180).
  [DOI](https://doi.org/10.1145/3744169.3744180), [BIB](https://anil.recoil.org/papers/2025-internet-ecology.bib), [PDF](https://anil.recoil.org/papers/2025-internet-ecology.pdf), [URL](https://dl.acm.org/doi/10.1145/3744169.3744180) (dl.acm.org)
- [Will AI speed up literature reviews or derail them entirely?](https://anil.recoil.org/papers/2025-ai-poison) (Jul 2025, full)
  Sam Reynolds, Alec Christie, Lynn Dicks, Sadiq Jaffer, Anil Madhavapeddy and William J. Sutherland. Journal paper in [Nature](https://rdcu.be/evkfj) (vol 643 issue 8071).
  [DOI](https://doi.org/10.1038/d41586-025-02069-w), [BIB](https://anil.recoil.org/papers/2025-ai-poison.bib), [PDF](https://anil.recoil.org/papers/2025-ai-poison.pdf), [URL](https://rdcu.be/evkfj) (rdcu.be)
- [Emission Impossible: privacy-preserving carbon emissions claims](https://anil.recoil.org/papers/2024-loco-emissions) (Jun 2025, preprint)
  Jessica Man, Sadiq Jaffer, Patrick Ferris, Martin Kleppmann and Anil Madhavapeddy. Working paper at [arXiv](http://arxiv.org/abs/2506.16347).
  [DOI](https://doi.org/10.48550/arXiv.2506.16347), [BIB](https://anil.recoil.org/papers/2024-loco-emissions.bib), [PDF](https://anil.recoil.org/papers/2024-loco-emissions.pdf), [URL](http://arxiv.org/abs/2506.16347) (arxiv.org)
- [Solving Package Management via Hypergraph Dependency Resolution](https://anil.recoil.org/papers/2025-hyperres) (Jun 2025, preprint)
  Ryan Gibb, Patrick Ferris, David Allsopp, Michael Winston Dales, Mark Elvers, Thomas Gazagnaire, Sadiq Jaffer, Thomas Leonard, Jon Ludlam and Anil Madhavapeddy. Working paper at [arXiv](http://arxiv.org/abs/2506.10803).
  [DOI](https://doi.org/10.48550/arXiv.2506.10803), [BIB](https://anil.recoil.org/papers/2025-hyperres.bib), [PDF](https://anil.recoil.org/papers/2025-hyperres.pdf), [URL](http://arxiv.org/abs/2506.10803) (arxiv.org)
- [Careful design of Large Language Model pipelines enables expert-level retrieval of evidence-based information from syntheses and databases](https://anil.recoil.org/papers/2024-ce-llm) (May 2025, full)
  Radhika Iyer, Alec Philip Christie, Anil Madhavapeddy, Sam Reynolds, William Sutherland and Sadiq Jaffer. Journal paper in [PLOS ONE](https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0323563) (vol 20 issue 5).
  [DOI](https://doi.org/10.1371/journal.pone.0323563), [BIB](https://anil.recoil.org/papers/2024-ce-llm.bib), [PDF](https://anil.recoil.org/papers/2024-ce-llm.pdf), [URL](https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0323563) (journals.plos.org)
- [Energy-Aware Deep Learning on Resource-Constrained Hardware](https://anil.recoil.org/papers/2025-dl-rcn) (May 2025, preprint)
  Josh Millar, Hamed Haddadi and Anil Madhavapeddy. Working paper at [arXiv](http://arxiv.org/abs/2505.12523).
  [DOI](https://doi.org/10.48550/arXiv.2505.12523), [BIB](https://anil.recoil.org/papers/2025-dl-rcn.bib), [PDF](https://anil.recoil.org/papers/2025-dl-rcn.pdf), [URL](http://arxiv.org/abs/2505.12523) (arxiv.org)
- [Conservation changed but not divided](https://anil.recoil.org/papers/2025-conservation-div) (Apr 2025, full)
  Sam A. Reynolds, Sara Beery, Neil Burgess, Mark Burgman, Stuart H.M. 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 William J. Sutherland. Journal paper in [Trends in Ecology & Evolution](https://authors.elsevier.com/a/1k%7ESZcZ3X3uxK).
  [DOI](https://doi.org/10.1016/j.tree.2025.04.002), [BIB](https://anil.recoil.org/papers/2025-conservation-div.bib), [PDF](https://anil.recoil.org/papers/2025-conservation-div.pdf), [URL](https://authors.elsevier.com/a/1k%7ESZcZ3X3uxK) (authors.elsevier.com)
- [LIFE: A metric for mapping the impact of land-cover change on global extinctions](https://anil.recoil.org/papers/2024-life) (Jan 2025, full)
  Alison Eyres, Thomas S. Ball, Michael Dales, Thomas Swinfield, Andy Arnell, Daniele Baisero, América Paz Durán, Jonathan M. H. Green, Rhys Green, Anil Madhavapeddy and Andrew Balmford. Journal paper in [Phil. Transactions of the Royal Society](https://royalsocietypublishing.org/doi/10.1098/rstb.2023.0327) (vol 380 issue 1917).
  [DOI](https://doi.org/10.1098/rstb.2023.0327), [BIB](https://anil.recoil.org/papers/2024-life.bib), [PDF](https://anil.recoil.org/papers/2024-life.pdf), [URL](https://royalsocietypublishing.org/doi/10.1098/rstb.2023.0327) (royalsocietypublishing.org)
- [Decomposable Type Highlighting for Bidirectional Type and Cast System](https://anil.recoil.org/papers/2025-decomposable-type-highlighting) (Jan 2025, preprint)
  Max Carroll, Anil Madhavapeddy and Patrick Ferris. Working paper at [arXiv](http://arxiv.org/abs/2607.13727).
  [DOI](https://doi.org/10.48550/arXiv.2607.13727), [BIB](https://anil.recoil.org/papers/2025-decomposable-type-highlighting.bib), [URL](http://arxiv.org/abs/2607.13727) (arxiv.org)

## 2024

- [The potential for AI to revolutionize conservation: a horizon scan](https://anil.recoil.org/papers/2024-ai-conhorizon) (Dec 2024, full)
  Sam Reynolds, Sara Beery, Neil Burgess, Mark Burgman, Stuart Butchart, Steven J. Cooke, David A 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](https://linkinghub.elsevier.com/retrieve/pii/S0169534724002866).
  [DOI](https://doi.org/10.1016/j.tree.2024.11.013), [BIB](https://anil.recoil.org/papers/2024-ai-conhorizon.bib), [PDF](https://anil.recoil.org/papers/2024-ai-conhorizon.pdf), [URL](https://linkinghub.elsevier.com/retrieve/pii/S0169534724002866) (linkinghub.elsevier.com)
- [Carbon-aware Name Resolution](https://anil.recoil.org/papers/2024-loco-carbonres) (Dec 2024, short)
  Ryan Gibb, Patrick Ferris and Anil Madhavapeddy. Abstract in the [1st International Workshop on Low Carbon Computing](https://www.sicsa.ac.uk/wp-content/uploads/2024/11/LOCO2024_paper_28.pdf).
  [BIB](https://anil.recoil.org/papers/2024-loco-carbonres.bib), [PDF](https://anil.recoil.org/papers/2024-loco-carbonres.pdf), [URL](https://www.sicsa.ac.uk/wp-content/uploads/2024/11/LOCO2024_paper_28.pdf) (sicsa.ac.uk)
- [Lineage first computing: towards a frugal userspace for Linux](https://anil.recoil.org/papers/2024-loco-shark) (Dec 2024, short)
  Michael Dales, Patrick Ferris and Anil Madhavapeddy. Abstract in the [1st International Workshop on Low Carbon Computing](https://www.sicsa.ac.uk/wp-content/uploads/2024/11/LOCO2024_paper_30.pdf).
  [BIB](https://anil.recoil.org/papers/2024-loco-shark.bib), [PDF](https://anil.recoil.org/papers/2024-loco-shark.pdf), [URL](https://www.sicsa.ac.uk/wp-content/uploads/2024/11/LOCO2024_paper_30.pdf) (sicsa.ac.uk)
- [Cooperative Sensor Networks for Long-Term Biodiversity Monitoring](https://anil.recoil.org/papers/2024-loco-terracorder) (Dec 2024, short)
  Josh Millar, Sarab Sethi, Hamed Haddadi, Michael Dales and Anil Madhavapeddy. Abstract in the [1st International Workshop on Low Carbon Computing](https://www.sicsa.ac.uk/wp-content/uploads/2024/11/LOCO2024_paper_30.pdf).
  [BIB](https://anil.recoil.org/papers/2024-loco-terracorder.bib), [PDF](https://anil.recoil.org/papers/2024-loco-terracorder.pdf), [URL](https://www.sicsa.ac.uk/wp-content/uploads/2024/11/LOCO2024_paper_30.pdf) (sicsa.ac.uk)
- [A Legal Perspective on Supply-side Integrity Issues in the Forest Carbon Market](https://anil.recoil.org/papers/2024-cclr-carbon) (Nov 2024, full)
  Sophie Chapman, Eleanor Toye Scott, Thomas Swinfield, Robin Daniels and Anil Madhavapeddy. Journal paper in [Carbon & Climate Law Review](https://cclr.lexxion.eu/article/CCLR/2024/3/5) (vol 18 issue 3).
  [DOI](https://doi.org/10.21552/cclr/2024/3/5), [BIB](https://anil.recoil.org/papers/2024-cclr-carbon.bib), [PDF](https://anil.recoil.org/papers/2024-cclr-carbon.pdf), [URL](https://cclr.lexxion.eu/article/CCLR/2024/3/5) (cclr.lexxion.eu)
- [Poster: Towards Low-Power Comprehensive Biodiversity Monitoring](https://anil.recoil.org/papers/2024-sensys-terracorder) (Nov 2024, short)
  Josh Millar, Sarab Sethi, Hamed Haddadi and Anil Madhavapeddy. Abstract in the [Proceedings of the 22nd ACM Conference on Embedded Networked Sensor Systems](https://dl.acm.org/doi/10.1145/3666025.3699400).
  [DOI](https://doi.org/10.1145/3666025.3699400), [BIB](https://anil.recoil.org/papers/2024-sensys-terracorder.bib), [PDF](https://anil.recoil.org/papers/2024-sensys-terracorder.pdf), [URL](https://dl.acm.org/doi/10.1145/3666025.3699400) (dl.acm.org)
- [Scheduling for Reduced Tail Task Latencies in Highly Utilized Datacenters](https://anil.recoil.org/papers/2024-socc-murmuration) (Nov 2024, full)
  Smita Vijayakumar, Anil Madhavapeddy and Evangelia Kalyvianaki. Paper in the [Proceedings of the 2024 ACM Symposium on Cloud Computing](https://acmsocc.org/2024/).
  [DOI](https://doi.org/10.1145/3698038.3698522), [BIB](https://anil.recoil.org/papers/2024-socc-murmuration.bib), [PDF](https://anil.recoil.org/papers/2024-socc-murmuration.pdf), [URL](https://acmsocc.org/2024/) (acmsocc.org)
- [Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads](https://anil.recoil.org/papers/2024-hope-bastion) (Sep 2024, short)
  Cyrus Omar, Patrick Ferris and Anil Madhavapeddy. Paper in the [the 12th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE)](https://icfp24.sigplan.org/home/hope-2024).
  [BIB](https://anil.recoil.org/papers/2024-hope-bastion.bib), [PDF](https://anil.recoil.org/papers/2024-hope-bastion.pdf), [URL](https://icfp24.sigplan.org/home/hope-2024) (icfp24.sigplan.org)
- [Nature-based credit markets at a crossroads](https://anil.recoil.org/papers/2023-naturecredits) (Aug 2024, full)
  Thomas Swinfield, Siddarth Shrikanth, Joseph Bull, Anil Madhavapeddy and Sophus zu Ermgassen. Journal paper in [Nature Sustainability](https://www.nature.com/articles/s41893-024-01403-w).
  [DOI](https://doi.org/10.1038/s41893-024-01403-w), [BIB](https://anil.recoil.org/papers/2023-naturecredits.bib), [PDF](https://anil.recoil.org/papers/2023-naturecredits.pdf), [URL](https://www.nature.com/articles/s41893-024-01403-w) (nature.com)
- [PACT Tropical Moist Forest Accreditation Methodology v2.1](https://anil.recoil.org/papers/2023-pact-tmf) (Aug 2024, preprint)
  Andrew Balmford, David A 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](https://www.cambridge.org/engage/coe/article-details/66b9d9345101a2ffa813e37c).
  [DOI](https://doi.org/10.33774/coe-2024-gvslq), [BIB](https://anil.recoil.org/papers/2023-pact-tmf.bib), [PDF](https://anil.recoil.org/papers/2023-pact-tmf.pdf), [URL](https://www.cambridge.org/engage/coe/article-details/66b9d9345101a2ffa813e37c) (cambridge.org)
- [Mitigating risk of credit reversal in nature-based climate solutions by optimally anticipating carbon release](https://anil.recoil.org/papers/2024-nbs-risk) (Aug 2024, full)
  E.-Ping Rau, James Gross, David A Coomes, Thomas Swinfield, Anil Madhavapeddy, Andrew Balmford and Srinivasan Keshav. Journal paper in [Carbon Management](https://www.tandfonline.com/doi/full/10.1080/17583004.2024.2390854) (vol 15 issue 1).
  [DOI](https://doi.org/10.1080/17583004.2024.2390854), [BIB](https://anil.recoil.org/papers/2024-nbs-risk.bib), [PDF](https://anil.recoil.org/papers/2024-nbs-risk.pdf), [URL](https://www.tandfonline.com/doi/full/10.1080/17583004.2024.2390854) (tandfonline.com)
- [Terracorder: Sense Long and Prosper](https://anil.recoil.org/papers/2024-terracorder) (Aug 2024, preprint)
  Josh Millar, Sarab Sethi, Hamed Haddadi and Anil Madhavapeddy. Working paper at [arXiv](http://arxiv.org/abs/2408.02407).
  [DOI](https://doi.org/10.48550/arXiv.2408.02407), [BIB](https://anil.recoil.org/papers/2024-terracorder.bib), [PDF](https://anil.recoil.org/papers/2024-terracorder.pdf), [URL](http://arxiv.org/abs/2408.02407) (arxiv.org)
- [Towards Scalable Deep Species Distribution Modelling using Global Remote Sensing](https://anil.recoil.org/papers/2024-sdm-sa) (May 2024, short)
  Emily Morris, Anil Madhavapeddy, Sadiq Jaffer and David A Coomes. Paper in the [proceedings of the ICLR 2024 Workshop on Tackling Climate Change with Machine Learning](https://www.climatechange.ai/papers/iclr2024/67).
  [BIB](https://anil.recoil.org/papers/2024-sdm-sa.bib), [PDF](https://anil.recoil.org/papers/2024-sdm-sa.pdf), [URL](https://www.climatechange.ai/papers/iclr2024/67) (climatechange.ai)
- [Global, robust and comparable digital carbon assets](https://anil.recoil.org/papers/2024-cc-blockchain) (Apr 2024, short)
  Sadiq 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](http://arxiv.org/abs/2403.14581).
  [DOI](https://doi.org/10.48550/arXiv.2403.14581), [BIB](https://anil.recoil.org/papers/2024-cc-blockchain.bib), [PDF](https://anil.recoil.org/papers/2024-cc-blockchain.pdf), [URL](http://arxiv.org/abs/2403.14581) (arxiv.org)
- [Green Urban Equity: Analyzing the 3-30-300 Rule in UK Cities and Its Socioeconomic Implications](https://anil.recoil.org/papers/2024-green-urban-eq) (Mar 2024, preprint)
  Andres Zuñiga-Gonzalez, Anil Madhavapeddy and Ronita Bardhan. Technical report (EGU24-20833) at [Copernicus Meetings](https://meetingorganizer.copernicus.org/EGU24/EGU24-20833.html).
  [DOI](https://doi.org/10.5194/egusphere-egu24-20833), [BIB](https://anil.recoil.org/papers/2024-green-urban-eq.bib), [URL](https://meetingorganizer.copernicus.org/EGU24/EGU24-20833.html) (meetingorganizer.copernicus.org)
- [Planetary computing for data-driven environmental policy-making](https://anil.recoil.org/papers/2024-planetary-computing) (Mar 2024, preprint)
  Patrick Ferris, Michael Dales, Sadiq Jaffer, Amelia Holcomb, Eleanor Toye Scott, Thomas Swinfield, Alison Eyres, Andrew Balmford, David A Coomes, Srinivasan Keshav and Anil Madhavapeddy. Working paper at [arXiv](http://arxiv.org/abs/2303.04501).
  [DOI](https://doi.org/10.48550/arXiv.2303.04501), [BIB](https://anil.recoil.org/papers/2024-planetary-computing.bib), [URL](http://arxiv.org/abs/2303.04501) (arxiv.org)
- [Uncertainty at scale: how CS hinders climate research](https://anil.recoil.org/papers/2024-uncertainty-cs) (Feb 2024, preprint)
  Patrick Ferris, Michael Dales, Thomas Swinfield, Sadiq Jaffer, Srinivasan Keshav and Anil Madhavapeddy. Working paper at [Undone Computer Science](https://undonecs.sciencesconf.org/data/Undonecs_2024_abstract_43.pdf).
  [BIB](https://anil.recoil.org/papers/2024-uncertainty-cs.bib), [PDF](https://anil.recoil.org/papers/2024-uncertainty-cs.pdf), [URL](https://undonecs.sciencesconf.org/data/Undonecs_2024_abstract_43.pdf) (undonecs.sciencesconf.org)

## 2023

- [Where on Earth is the Spatial Name System?](https://anil.recoil.org/papers/2023-hotnets-sns) (Nov 2023, short)
  Ryan Gibb, Anil Madhavapeddy and Jon Crowcroft. Paper in the [Proceedings of the 22nd ACM Workshop on Hot Topics in Networks](https://dl.acm.org/doi/10.1145/3626111.3628210).
  [DOI](https://doi.org/10.1145/3626111.3628210), [BIB](https://anil.recoil.org/papers/2023-hotnets-sns.bib), [PDF](https://anil.recoil.org/papers/2023-hotnets-sns.pdf), [URL](https://dl.acm.org/doi/10.1145/3626111.3628210) (dl.acm.org)
- [Realizing the social value of impermanent carbon credits](https://anil.recoil.org/papers/2023-ncc-permanence) (Nov 2023, full)
  Andrew Balmford, Srinivasan Keshav, Frank Venmans, David A Coomes, Ben Groom, Anil Madhavapeddy and Thomas Swinfield. Journal paper in [Nature Climate Change](https://www.nature.com/articles/s41558-023-01815-0) (vol 13 issue 11).
  [DOI](https://doi.org/10.1038/s41558-023-01815-0), [BIB](https://anil.recoil.org/papers/2023-ncc-permanence.bib), [PDF](https://anil.recoil.org/papers/2023-ncc-permanence.pdf), [URL](https://www.nature.com/articles/s41558-023-01815-0) (nature.com)
- [Enabling Lightweight Privilege Separation in Applications with MicroGuards](https://anil.recoil.org/papers/2023-acns-microguards) (Oct 2023, full)
  Zahra Tarkhani and Anil Madhavapeddy. Paper in the [Applied Cryptography and Network Security Workshops](https://link.springer.com/10.1007/978-3-031-41181-6_31).
  [DOI](https://doi.org/10.1007/978-3-031-41181-6_31), [BIB](https://anil.recoil.org/papers/2023-acns-microguards.bib), [PDF](https://anil.recoil.org/papers/2023-acns-microguards.pdf), [URL](https://link.springer.com/10.1007/978-3-031-41181-6_31) (link.springer.com)
- [Information Flow Tracking for Heterogeneous Compartmentalized Software](https://anil.recoil.org/papers/2023-raid-deluminator) (Oct 2023, full)
  Zahra Tarkhani and Anil Madhavapeddy. Paper in the [Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses](https://dl.acm.org/doi/10.1145/3607199.3607235).
  [DOI](https://doi.org/10.1145/3607199.3607235), [BIB](https://anil.recoil.org/papers/2023-raid-deluminator.bib), [PDF](https://anil.recoil.org/papers/2023-raid-deluminator.pdf), [URL](https://dl.acm.org/doi/10.1145/3607199.3607235) (dl.acm.org)
- [Eio 1.0 – Effects-based IO for OCaml 5](https://anil.recoil.org/papers/2023-ocaml-eio) (Sep 2023, short)
  Thomas 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](https://icfp23.sigplan.org/details/ocaml-2023-papers/5/Eio-1-0-Effects-based-IO-for-OCaml-5).
  [BIB](https://anil.recoil.org/papers/2023-ocaml-eio.bib), [PDF](https://anil.recoil.org/papers/2023-ocaml-eio.pdf), [URL](https://icfp23.sigplan.org/details/ocaml-2023-papers/5/Eio-1-0-Effects-based-IO-for-OCaml-5) (icfp23.sigplan.org)
- [State of the OCaml Platform 2023](https://anil.recoil.org/papers/2023-ocaml-platform) (Sep 2023, short)
  Thibaut Mattio, Anil Madhavapeddy, Thomas Gazagnaire and David Allsopp. Paper in the [proceedings of the 2023 OCaml Users and Developers Workshop](https://icfp23.sigplan.org/details/ocaml-2023-papers/15/State-of-the-OCaml-Platform-2023).
  [BIB](https://anil.recoil.org/papers/2023-ocaml-platform.bib), [PDF](https://anil.recoil.org/papers/2023-ocaml-platform.pdf), [URL](https://icfp23.sigplan.org/details/ocaml-2023-papers/15/State-of-the-OCaml-Platform-2023) (icfp23.sigplan.org)
- [Credit credibility threatens forests](https://anil.recoil.org/papers/2023-carbon-credibility) (May 2023, full)
  Andrew Balmford, Pedro H. S. Brancalion, David A 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](https://www.science.org/doi/10.1126/science.adh3426) (vol 380 issue 6644).
  [DOI](https://doi.org/10.1126/science.adh3426), [BIB](https://anil.recoil.org/papers/2023-carbon-credibility.bib), [PDF](https://anil.recoil.org/papers/2023-carbon-credibility.pdf), [URL](https://www.science.org/doi/10.1126/science.adh3426) (science.org)

## 2022

- [Real World OCaml: Functional Programming for the Masses](https://anil.recoil.org/papers/rwo) (Oct 2022, full)
  Anil Madhavapeddy and Yaron Minsky. Book published by [Cambridge University Press](https://www.cambridge.org/core/books/real-world-ocaml-functional-programming-for-the-masses/052E4BCCB09D56A0FE875DD81B1ED571).
  [DOI](https://doi.org/10.1017/9781009129220), [BIB](https://anil.recoil.org/papers/rwo.bib), [URL](https://www.cambridge.org/core/books/real-world-ocaml-functional-programming-for-the-masses/052E4BCCB09D56A0FE875DD81B1ED571) (cambridge.org)
- [Homogeneous Builds with OBuilder and OCaml](https://anil.recoil.org/papers/2022-oud-ocurrent) (Sep 2022, short)
  Tim 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](https://icfp22.sigplan.org/details/ocaml-2022-papers/8/Homogeneous-builds-with-OBuilder-and-OCaml).
  [BIB](https://anil.recoil.org/papers/2022-oud-ocurrent.bib), [URL](https://icfp22.sigplan.org/details/ocaml-2022-papers/8/Homogeneous-builds-with-OBuilder-and-OCaml) (icfp22.sigplan.org)
- [Enhancing the Security & Privacy of Wearable Brain-Computer Interfaces](https://anil.recoil.org/papers/2022-enhancing-brain-security) (Jan 2022, preprint)
  Zahra Tarkhani, Lorena Qendro, Malachy O'Connor Brown, Oscar Hill, Cecilia Mascolo and Anil Madhavapeddy. Working paper at [arXiv](http://arxiv.org/abs/2201.07711).
  [DOI](https://doi.org/10.48550/arXiv.2201.07711), [BIB](https://anil.recoil.org/papers/2022-enhancing-brain-security.bib), [PDF](https://anil.recoil.org/papers/2022-enhancing-brain-security.pdf), [URL](http://arxiv.org/abs/2201.07711) (arxiv.org)

## 2021

- [How Computer Science Can Aid Forest Restoration](https://anil.recoil.org/papers/2021-arxiv-forestrycs) (Aug 2021, preprint)
  Gemma Gordon, Amelia Holcomb, Tom Kelly, Srinivasan Keshav, Jon Ludlam and Anil Madhavapeddy. Working paper at [arXiv](http://arxiv.org/abs/2109.07898).
  [DOI](https://doi.org/10.48550/arXiv.2109.07898), [BIB](https://anil.recoil.org/papers/2021-arxiv-forestrycs.bib), [PDF](https://anil.recoil.org/papers/2021-arxiv-forestrycs.pdf), [URL](http://arxiv.org/abs/2109.07898) (arxiv.org)
- [Experiences with Effects](https://anil.recoil.org/papers/2021-oud-effects) (Aug 2021, short)
  Thomas 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](https://icfp21.sigplan.org/details/ocaml-2021-papers/16/Experiences-with-Effects).
  [BIB](https://anil.recoil.org/papers/2021-oud-effects.bib), [PDF](https://anil.recoil.org/papers/2021-oud-effects.pdf), [URL](https://icfp21.sigplan.org/details/ocaml-2021-papers/16/Experiences-with-Effects) (icfp21.sigplan.org)
- [Retrofitting effect handlers onto OCaml](https://anil.recoil.org/papers/2021-pldi-retroeff) (Jun 2021, full)
  KC 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](https://dl.acm.org/doi/10.1145/3453483.3454039).
  [DOI](https://doi.org/10.1145/3453483.3454039), [BIB](https://anil.recoil.org/papers/2021-pldi-retroeff.bib), [PDF](https://anil.recoil.org/papers/2021-pldi-retroeff.pdf), [URL](https://dl.acm.org/doi/10.1145/3453483.3454039) (dl.acm.org)

## 2020

- [Banyan: Coordination-Free Distributed Transactions over Mergeable Types](https://anil.recoil.org/papers/2020-asplas-banyan) (Nov 2020, full)
  Shashank Shekhar Dubey, KC Sivaramakrishnan, Thomas Gazagnaire and Anil Madhavapeddy. Paper in the [proceedings of the Asian Symposium on Programming Languages and Systems](https://link.springer.com/10.1007/978-3-030-64437-6_12).
  [DOI](https://doi.org/10.1007/978-3-030-64437-6_12), [BIB](https://anil.recoil.org/papers/2020-asplas-banyan.bib), [PDF](https://anil.recoil.org/papers/2020-asplas-banyan.pdf), [URL](https://link.springer.com/10.1007/978-3-030-64437-6_12) (link.springer.com)
- [The OCaml Platform: 2020](https://anil.recoil.org/papers/2020-oud-platform) (Sep 2020, short)
  Anil Madhavapeddy. Paper in the [the 10th ACM OCaml Users and Developers Workshop](https://icfp20.sigplan.org/home/ocaml-2020).
  [BIB](https://anil.recoil.org/papers/2020-oud-platform.bib), [URL](https://icfp20.sigplan.org/home/ocaml-2020) (icfp20.sigplan.org)
- [Retrofitting parallelism onto OCaml](https://anil.recoil.org/papers/2020-icfp-retropar) (Aug 2020, full)
  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 Programming Languages](https://dl.acm.org/doi/10.1145/3408995) (vol 4 issue ICFP).
  [DOI](https://doi.org/10.1145/3408995), [BIB](https://anil.recoil.org/papers/2020-icfp-retropar.bib), [PDF](https://anil.recoil.org/papers/2020-icfp-retropar.pdf), [URL](https://dl.acm.org/doi/10.1145/3408995) (dl.acm.org)
- [OCaml-CI: A Zero-Configuration CI](https://anil.recoil.org/papers/2020-oud-ci) (Aug 2020, short)
  Thomas Leonard, Craig Ferguson, Kate Deplaix, Magnus Skjegstad and Anil Madhavapeddy. Paper in the [proceedings of the 2020 OCaml Users and Developers Workshop](https://icfp20.sigplan.org/details/ocaml-2020-papers/6/OCaml-CI-A-Zero-Configuration-CI).
  [BIB](https://anil.recoil.org/papers/2020-oud-ci.bib), [URL](https://icfp20.sigplan.org/details/ocaml-2020-papers/6/OCaml-CI-A-Zero-Configuration-CI) (icfp20.sigplan.org)
- [Parallelising your OCaml Code with Multicore OCaml](https://anil.recoil.org/papers/2020-oud-parallelising) (Aug 2020, short)
  Sadiq Jaffer, Sudha Parimala, KC Sivaramakrishnan, Tom Kelly and Anil Madhavapeddy. Paper in the [proceedings of the 2020 OCaml Users and Developers Workshop](https://github.com/ocaml-multicore/multicore-talks/tree/master/ocaml2020-workshop-parallel).
  [BIB](https://anil.recoil.org/papers/2020-oud-parallelising.bib), [PDF](https://anil.recoil.org/papers/2020-oud-parallelising.pdf), [URL](https://github.com/ocaml-multicore/multicore-talks/tree/master/ocaml2020-workshop-parallel) (github.com)

## 2019

- [MirageOS 4: the dawn of practical build systems for exotic targets](https://anil.recoil.org/papers/2019-mirage-build) (Aug 2019, short)
  Lucas Pluvinage, Romain Calascibetta, Rudi Grinberg and Anil Madhavapeddy. Paper in the [Proceedings of the OCaml Workshop 2019](https://icfp19.sigplan.org/home/ocaml-2019#program).
  [BIB](https://anil.recoil.org/papers/2019-mirage-build.bib), [PDF](https://anil.recoil.org/papers/2019-mirage-build.pdf), [URL](https://icfp19.sigplan.org/home/ocaml-2019#program) (icfp19.sigplan.org)
- [The OCaml Platform in 2019](https://anil.recoil.org/papers/2019-ocaml-platform) (Aug 2019, short)
  Anil Madhavapeddy and Gemma Gordon. Paper in the [Proceedings of the OCaml Workshop 2019](https://icfp19.sigplan.org/home/ocaml-2019).
  [BIB](https://anil.recoil.org/papers/2019-ocaml-platform.bib), [URL](https://icfp19.sigplan.org/home/ocaml-2019) (icfp19.sigplan.org)
- [Programming Unikernels in the Large via Functor Driven Development](https://anil.recoil.org/papers/2019-mirage-functors) (May 2019, preprint)
  Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston and Dave Scott. Working paper at [arXiv](http://arxiv.org/abs/1905.02529).
  [DOI](https://doi.org/10.48550/arXiv.1905.02529), [BIB](https://anil.recoil.org/papers/2019-mirage-functors.bib), [PDF](https://anil.recoil.org/papers/2019-mirage-functors.pdf), [URL](http://arxiv.org/abs/1905.02529) (arxiv.org)
- [Snape: The Dark Art of Handling Heterogeneous Enclaves](https://anil.recoil.org/papers/2019-edgesys-snape) (Mar 2019, short)
  Zahra Tarkhani, Anil Madhavapeddy and Richard Mortier. Paper in the [Proceedings of the 2nd International Workshop on Edge Systems, Analytics and Networking](https://dl.acm.org/doi/10.1145/3301418.3313945).
  [DOI](https://doi.org/10.1145/3301418.3313945), [BIB](https://anil.recoil.org/papers/2019-edgesys-snape.bib), [PDF](https://anil.recoil.org/papers/2019-edgesys-snape.pdf), [URL](https://dl.acm.org/doi/10.1145/3301418.3313945) (dl.acm.org)

## 2018

- [A modular foreign function interface](https://anil.recoil.org/papers/2018-socp-modular-ffi) (Oct 2018, full)
  Jeremy Yallop, David Sheets and Anil Madhavapeddy. Journal paper in [Science of Computer Programming](https://linkinghub.elsevier.com/retrieve/pii/S0167642317300709) (vol 164).
  [DOI](https://doi.org/10.1016/j.scico.2017.04.002), [BIB](https://anil.recoil.org/papers/2018-socp-modular-ffi.bib), [PDF](https://anil.recoil.org/papers/2018-socp-modular-ffi.pdf), [URL](https://linkinghub.elsevier.com/retrieve/pii/S0167642317300709) (linkinghub.elsevier.com)
- [Bounding data races in space and time](https://anil.recoil.org/papers/2018-pldi-memorymodel) (Jun 2018, full)
  Stephen Dolan, KC Sivaramakrishnan and Anil Madhavapeddy. Paper in the [Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation](https://dl.acm.org/doi/10.1145/3192366.3192421).
  [DOI](https://doi.org/10.1145/3192366.3192421), [BIB](https://anil.recoil.org/papers/2018-pldi-memorymodel.bib), [PDF](https://anil.recoil.org/papers/2018-pldi-memorymodel.pdf), [URL](https://dl.acm.org/doi/10.1145/3192366.3192421) (dl.acm.org)
- [Concurrent System Programming with Effect Handlers](https://anil.recoil.org/papers/2017-tfp-effecthandlers) (Apr 2018, full)
  Stephen Dolan, Spiros Eliopoulos, Daniel Hillerstrom, Anil Madhavapeddy, KC Sivaramakrishnan and Leo White. Paper in the [Trends in Functional Programming](http://link.springer.com/10.1007/978-3-319-89719-6_6).
  [DOI](https://doi.org/10.1007/978-3-319-89719-6_6), [BIB](https://anil.recoil.org/papers/2017-tfp-effecthandlers.bib), [PDF](https://anil.recoil.org/papers/2017-tfp-effecthandlers.pdf), [URL](http://link.springer.com/10.1007/978-3-319-89719-6_6) (link.springer.com)
- [An architecture for interspatial communication](https://anil.recoil.org/papers/2018-hotpost-osmose) (Apr 2018, short)
  Anil Madhavapeddy, KC Sivaramakrishnan, Gemma Gordon and Thomas Gazagnaire. Paper in the [Proceedings of the HotPOST 2018 workshop at the IEEE Conference on Computer Communications](https://ieeexplore.ieee.org/document/8406931/).
  [DOI](https://doi.org/10.1109/INFCOMW.2018.8406931), [BIB](https://anil.recoil.org/papers/2018-hotpost-osmose.bib), [PDF](https://anil.recoil.org/papers/2018-hotpost-osmose.pdf), [URL](https://ieeexplore.ieee.org/document/8406931/) (ieeexplore.ieee.org)

## 2017

- [Effectively tackling the awkward squad](https://anil.recoil.org/papers/2017-ml-effects) (Sep 2017, short)
  Stephen Dolan, Spiros Eliopoulos, Daniel Hillerstrom, Anil Madhavapeddy, KC Sivaramakrishnan and Leo White. Paper in the the ACM ML Workshop.
  [BIB](https://anil.recoil.org/papers/2017-ml-effects.bib), [PDF](https://anil.recoil.org/papers/2017-ml-effects.pdf)
- [The State of the OCaml Platform: Sep 2017](https://anil.recoil.org/papers/2017-oud-platform) (Sep 2017, short)
  Anil Madhavapeddy. Paper in the the 7th ACM OCaml Users and Developers Workshop.
  [BIB](https://anil.recoil.org/papers/2017-oud-platform.bib), [PDF](https://anil.recoil.org/papers/2017-oud-platform.pdf)
- [DaLi: Database as a Library](https://anil.recoil.org/papers/2017-snapl-dali) (May 2017, full)
  Gowtham Kaki, KC Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy and Suresh Jagannathan. Paper in the [2nd Summit on Advances in Programming Languages (SNAPL)](https://anil.recoil.org/papers/2017-snapl-dali.pdf).
  [BIB](https://anil.recoil.org/papers/2017-snapl-dali.bib), [PDF](https://anil.recoil.org/papers/2017-snapl-dali.pdf), [URL](https://anil.recoil.org/papers/2017-snapl-dali.pdf) (anil.recoil.org)

## 2016

- [FLICK: Developing and Running Application-Specific Network Services](https://anil.recoil.org/papers/2016-usenix-flick) (Jun 2016, full)
  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 Miliavacca and Derek McAuley. Paper in the [2016 USENIX Annual Technical Conference](https://www.usenix.org/conference/atc16/technical-sessions/presentation/alim).
  [BIB](https://anil.recoil.org/papers/2016-usenix-flick.bib), [PDF](https://anil.recoil.org/papers/2016-usenix-flick.pdf), [URL](https://www.usenix.org/conference/atc16/technical-sessions/presentation/alim) (usenix.org)
- [Declarative Foreign Function Binding Through Generic Programming](https://anil.recoil.org/papers/2016-flops-cmeleon) (Feb 2016, full)
  Jeremy Yallop, David Sheets and Anil Madhavapeddy. Paper in the [the proceedings of Functional and Logic Programming (FLOPS)](http://link.springer.com/10.1007/978-3-319-29604-3_13).
  [DOI](https://doi.org/10.1007/978-3-319-29604-3_13), [BIB](https://anil.recoil.org/papers/2016-flops-cmeleon.bib), [PDF](https://anil.recoil.org/papers/2016-flops-cmeleon.pdf), [URL](http://link.springer.com/10.1007/978-3-319-29604-3_13) (link.springer.com)

## 2015

- [Personal Data: Thinking Inside the Box](https://anil.recoil.org/papers/2015-aarhus-databox) (Oct 2015, full)
  Amir Chaudhry, Jon Crowcroft, Heidi Howard, Anil Madhavapeddy, Richard Mortier, Hamed Haddadi and Derek McAuley. Journal paper in [Aarhus Series on Human Centered Computing](https://tidsskrift.dk/ashcc/article/view/21312) (vol 1 issue 1).
  [DOI](https://doi.org/10.7146/aahcc.v1i1.21312), [BIB](https://anil.recoil.org/papers/2015-aarhus-databox.bib), [PDF](https://anil.recoil.org/papers/2015-aarhus-databox.pdf), [URL](https://tidsskrift.dk/ashcc/article/view/21312) (tidsskrift.dk)
- [SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems](https://anil.recoil.org/papers/2015-sosp-sibylfs) (Oct 2015, full)
  Tom 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)](https://dl.acm.org/doi/10.1145/2815400.2815411).
  [DOI](https://doi.org/10.1145/2815400.2815411), [BIB](https://anil.recoil.org/papers/2015-sosp-sibylfs.bib), [PDF](https://anil.recoil.org/papers/2015-sosp-sibylfs.pdf), [URL](https://dl.acm.org/doi/10.1145/2815400.2815411) (dl.acm.org)
- [Not-Quite-So-Broken TLS](https://anil.recoil.org/papers/2015-usenixsec-nqsb) (Aug 2015, full)
  David Kaloper-Mersinjak, Hannes Mehnert, Anil Madhavapeddy and Peter Sewell. Paper in the [24th USENIX Security Symposium (USENIX Security 15)](https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/kaloper-mersinjak).
  [BIB](https://anil.recoil.org/papers/2015-usenixsec-nqsb.bib), [PDF](https://anil.recoil.org/papers/2015-usenixsec-nqsb.pdf), [URL](https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/kaloper-mersinjak) (usenix.org)
- [Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles](https://anil.recoil.org/papers/2015-diynet-kadupul) (May 2015, short)
  Magnus Skjegstad, Anil Madhavapeddy and Jon Crowcroft. Paper in the [Proceedings of the 2015 Workshop on Do-it-yourself Networking: an Interdisciplinary Approach](https://dl.acm.org/doi/10.1145/2753488.2753492).
  [DOI](https://doi.org/10.1145/2753488.2753492), [BIB](https://anil.recoil.org/papers/2015-diynet-kadupul.bib), [PDF](https://anil.recoil.org/papers/2015-diynet-kadupul.pdf), [URL](https://dl.acm.org/doi/10.1145/2753488.2753492) (dl.acm.org)
- [Jitsu: Just-In-Time Summoning of Unikernels](https://anil.recoil.org/papers/2015-nsdi-jitsu) (May 2015, full)
  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. Paper in the [12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)](https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/madhavapeddy).
  [BIB](https://anil.recoil.org/papers/2015-nsdi-jitsu.bib), [PDF](https://anil.recoil.org/papers/2015-nsdi-jitsu.pdf), [URL](https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/madhavapeddy) (usenix.org)
- [CUFP'13 scribe's report](https://anil.recoil.org/papers/2013-cufp-scribe) (Jan 2015, full)
  Marius Eriksen, Michael Sperber and Anil Madhavapeddy. Journal paper in [Journal of Functional Programming](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/cufp13-scribes-report/F38AAE60DA9AD95E1737E3F863075C13) (vol 25).
  [DOI](https://doi.org/10.1017/S0956796815000052), [BIB](https://anil.recoil.org/papers/2013-cufp-scribe.bib), [URL](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/cufp13-scribes-report/F38AAE60DA9AD95E1737E3F863075C13) (cambridge.org)
- [Raft Refloated: Do We Have Consensus?](https://anil.recoil.org/papers/2014-sigops-raft) (Jan 2015, full)
  Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy and Jon Crowcroft. Journal paper in [ACM SIGOPS Operating Systems Review](https://dl.acm.org/doi/10.1145/2723872.2723876) (vol 49 issue 1).
  [DOI](https://doi.org/10.1145/2723872.2723876), [BIB](https://anil.recoil.org/papers/2014-sigops-raft.bib), [PDF](https://anil.recoil.org/papers/2014-sigops-raft.pdf), [URL](https://dl.acm.org/doi/10.1145/2723872.2723876) (dl.acm.org)
- [Mergeable persistent data structures](https://anil.recoil.org/papers/2015-jfla-irmin) (Jan 2015, full)
  Benjamin Farinier, Thomas Gazagnaire and Anil Madhavapeddy. Paper in the Vingt-sixiemes Journees Francophones des Langages Applicatifs (JFLA 2015).
  [BIB](https://anil.recoil.org/papers/2015-jfla-irmin.bib), [PDF](https://anil.recoil.org/papers/2015-jfla-irmin.pdf)

## 2014

- [Regional clouds: technical considerations](https://anil.recoil.org/papers/2014-regional-clouds) (Nov 2014, preprint)
  Jatinder 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](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-863.html).
  [DOI](https://doi.org/10.48456/tr-863), [BIB](https://anil.recoil.org/papers/2014-regional-clouds.bib), [PDF](https://anil.recoil.org/papers/2014-regional-clouds.pdf), [URL](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-863.html) (cl.cam.ac.uk)
- [Irminsule: a branch-consistent distributed library database](https://anil.recoil.org/papers/2014-oud-irminsule) (Sep 2014, short)
  Thomas 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.
  [BIB](https://anil.recoil.org/papers/2014-oud-irminsule.bib), [PDF](https://anil.recoil.org/papers/2014-oud-irminsule.pdf)
- [Multicore OCaml](https://anil.recoil.org/papers/2014-oud-multicore) (Sep 2014, short)
  Stephen Dolan, Leo White and Anil Madhavapeddy. Paper in the the 4th ACM OCaml Users and Developers Workshop.
  [BIB](https://anil.recoil.org/papers/2014-oud-multicore.bib), [PDF](https://anil.recoil.org/papers/2014-oud-multicore.pdf)
- [The OCaml Platform v1.0](https://anil.recoil.org/papers/2014-oud-platform) (Sep 2014, short)
  Anil 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.
  [BIB](https://anil.recoil.org/papers/2014-oud-platform.bib), [PDF](https://anil.recoil.org/papers/2014-oud-platform.pdf)

## 2013

- [Commercial users of functional programming workshop report](https://anil.recoil.org/papers/2012-cufp-scribe) (Nov 2013, full)
  Michael Sperber and Anil Madhavapeddy. Journal paper in [Journal of Functional Programming](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/commercial-users-of-functional-programming-workshop-report/7B8E5D99E6C0D40D45B37D972B82598D) (vol 23 issue 6).
  [DOI](https://doi.org/10.1017/S0956796813000257), [BIB](https://anil.recoil.org/papers/2012-cufp-scribe.bib), [URL](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/commercial-users-of-functional-programming-workshop-report/7B8E5D99E6C0D40D45B37D972B82598D) (cambridge.org)
- [Trevi: watering down storage hotspots with cool fountain codes](https://anil.recoil.org/papers/2013-hotnets-trevi) (Nov 2013, short)
  George Parisis, Toby Moncaster, Anil Madhavapeddy and Jon Crowcroft. Paper in the [Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks](https://dl.acm.org/doi/10.1145/2535771.2535781).
  [DOI](https://doi.org/10.1145/2535771.2535781), [BIB](https://anil.recoil.org/papers/2013-hotnets-trevi.bib), [PDF](https://anil.recoil.org/papers/2013-hotnets-trevi.pdf), [URL](https://dl.acm.org/doi/10.1145/2535771.2535781) (dl.acm.org)
- [Unikernels: Rise of the Virtual Library Operating System](https://anil.recoil.org/papers/rise-of-libos) (Nov 2013, full)
  Anil Madhavapeddy and Dave Scott. Journal paper in [ACM Queue](https://dl.acm.org/doi/10.1145/2557963.2566628) (vol 11 issue 11).
  [DOI](https://doi.org/10.1145/2557963.2566628), [BIB](https://anil.recoil.org/papers/rise-of-libos.bib), [URL](https://dl.acm.org/doi/10.1145/2557963.2566628) (dl.acm.org)
- [Ocamlot: Online OCaml Testing](https://anil.recoil.org/papers/2013-ocamlot) (Sep 2013, short)
  David Sheets, Anil Madhavapeddy, Amir Chaudhry and Thomas Gazagnaire. Paper in the [the 3rd ACM OCaml Users and Developers Workshop](https://github.com/ocaml/v2.ocaml.org/blob/master/site/meetings/ocaml/2013/proposals/ocamlot.pdf).
  [BIB](https://anil.recoil.org/papers/2013-ocamlot.bib), [PDF](https://anil.recoil.org/papers/2013-ocamlot.pdf), [URL](https://github.com/ocaml/v2.ocaml.org/blob/master/site/meetings/ocaml/2013/proposals/ocamlot.pdf) (github.com)
- [The OCaml Platform v0.1](https://anil.recoil.org/papers/2013-oud-platform) (Sep 2013, short)
  Anil 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.
  [BIB](https://anil.recoil.org/papers/2013-oud-platform.bib), [PDF](https://anil.recoil.org/papers/2013-oud-platform.pdf)
- [Lost in the Edge: Finding Your Way with DNSSEC Signposts](https://anil.recoil.org/papers/2013-foci-signposts) (Aug 2013, short)
  Charalampos 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)](https://www.usenix.org/conference/foci13/workshop-program/presentation/rotsos).
  [BIB](https://anil.recoil.org/papers/2013-foci-signposts.bib), [PDF](https://anil.recoil.org/papers/2013-foci-signposts.pdf), [URL](https://www.usenix.org/conference/foci13/workshop-program/presentation/rotsos) (usenix.org)
- [Unikernels: library operating systems for the cloud](https://anil.recoil.org/papers/2013-asplos-mirage) (Mar 2013, full)
  Anil 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)](https://dl.acm.org/doi/10.1145/2451116.2451167).
  [DOI](https://doi.org/10.1145/2451116.2451167), [BIB](https://anil.recoil.org/papers/2013-asplos-mirage.bib), [PDF](https://anil.recoil.org/papers/2013-asplos-mirage.pdf), [URL](https://dl.acm.org/doi/10.1145/2451116.2451167) (dl.acm.org)
- [Perceived risks of personal data sharing](https://anil.recoil.org/papers/de13-dataware) (Feb 2013, short)
  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.
  [BIB](https://anil.recoil.org/papers/de13-dataware.bib), [PDF](https://anil.recoil.org/papers/de13-dataware.pdf)

## 2012

- [Evolving TCP: how hard can it be?](https://anil.recoil.org/papers/2012-conext-pvtcp) (Dec 2012, short)
  Zubair Nabi, Toby Moncaster, Anil Madhavapeddy, Steven Hand and Jon Crowcroft. Paper in the [Proceedings of the 2012 ACM conference on CoNEXT student workshop](https://dl.acm.org/doi/10.1145/2413247.2413270).
  [DOI](https://doi.org/10.1145/2413247.2413270), [BIB](https://anil.recoil.org/papers/2012-conext-pvtcp.bib), [PDF](https://anil.recoil.org/papers/2012-conext-pvtcp.pdf), [URL](https://dl.acm.org/doi/10.1145/2413247.2413270) (dl.acm.org)
- [Exploring Compartmentalisation Hypotheses with SOAAP](https://anil.recoil.org/papers/2012-ahans-soapp) (Sep 2012, short)
  Khilan 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](https://ieeexplore.ieee.org/document/6498375/).
  [DOI](https://doi.org/10.1109/SASOW.2012.14), [BIB](https://anil.recoil.org/papers/2012-ahans-soapp.bib), [PDF](https://anil.recoil.org/papers/2012-ahans-soapp.pdf), [URL](https://ieeexplore.ieee.org/document/6498375/) (ieeexplore.ieee.org)
- [Programming the Xen cloud using OCaml](https://anil.recoil.org/papers/2012-oud-xen) (Sep 2012, short)
  Dave Scott, Richard Sharp and Anil Madhavapeddy. Paper in the the 1st ACM OCaml Users and Developers Workshop.
  [BIB](https://anil.recoil.org/papers/2012-oud-xen.bib), [PDF](https://anil.recoil.org/papers/2012-oud-xen.pdf)
- [Signposts: end-to-end networking in a world of middleboxes](https://anil.recoil.org/papers/2012-sigcomm-signposts) (Sep 2012, short)
  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](https://dl.acm.org/doi/10.1145/2377677.2377692) (vol 42 issue 4).
  [DOI](https://doi.org/10.1145/2377677.2377692), [BIB](https://anil.recoil.org/papers/2012-sigcomm-signposts.bib), [URL](https://dl.acm.org/doi/10.1145/2377677.2377692) (dl.acm.org)
- [Cost, Performance & Flexibility in OpenFlow: Pick three](https://anil.recoil.org/papers/2012-iccsdn-mirageflow) (Jun 2012, full)
  Charalampos Rotsos, Richard Mortier, Anil Madhavapeddy, Balraj Singh and Andrew W. Moore. Paper in the [2012 IEEE International Conference on Communications (ICC)](https://ieeexplore.ieee.org/document/6364690/).
  [DOI](https://doi.org/10.1109/ICC.2012.6364690), [BIB](https://anil.recoil.org/papers/2012-iccsdn-mirageflow.bib), [PDF](https://anil.recoil.org/papers/2012-iccsdn-mirageflow.pdf), [URL](https://ieeexplore.ieee.org/document/6364690/) (ieeexplore.ieee.org)
- [Confidential carbon commuting: exploring a privacy-sensitive architecture for incentivising 'greener' commuting](https://anil.recoil.org/papers/2012-mpm-caware) (Apr 2012, short)
  Chris Elsmore, Anil Madhavapeddy, Ian Leslie and Amir Chaudhry. Paper in the [Proceedings of the First Workshop on Measurement, Privacy, and Mobility](https://doi.org/10.1145/2181196.2181201).
  [DOI](https://doi.org/10.1145/2181196.2181201), [BIB](https://anil.recoil.org/papers/2012-mpm-caware.bib), [PDF](https://anil.recoil.org/papers/2012-mpm-caware.pdf), [URL](https://doi.org/10.1145/2181196.2181201) (doi.org)
- [The case for reconfigurable I/O channels](https://anil.recoil.org/papers/2012-resolve-fable) (Mar 2012, short)
  Steven Smith, Anil Madhavapeddy, Christopher Smowton, Malte Schwarzkopf, Richard Mortier, Robert M Watson and Steven Hand. Paper in the RESoLVE workshop at ASPLOS.
  [BIB](https://anil.recoil.org/papers/2012-resolve-fable.bib), [PDF](https://anil.recoil.org/papers/2012-resolve-fable.pdf)
- [CUFP 2011 Workshop Report](https://anil.recoil.org/papers/2011-cufp-scribe) (Jan 2012, full)
  Anil Madhavapeddy, Yaron Minsky and Marius Eriksen. Journal paper in [Journal of Functional Programming](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/cufp-2011-workshop-report/F22A5B087C6DD9A382D518F6DE08477A) (vol 22 issue 1).
  [DOI](https://doi.org/10.1017/S0956796812000020), [BIB](https://anil.recoil.org/papers/2011-cufp-scribe.bib), [URL](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/cufp-2011-workshop-report/F22A5B087C6DD9A382D518F6DE08477A) (cambridge.org)

## 2011

- [Dynamics for ML using Meta-Programming](https://anil.recoil.org/papers/2011-dynamics-ml) (Jul 2011, full)
  Thomas Gazagnaire and Anil Madhavapeddy. Journal paper in [Electronic Notes in Theoretical Computer Science](https://linkinghub.elsevier.com/retrieve/pii/S1571066111000739) (vol 264 issue 5).
  [DOI](https://doi.org/10.1016/j.entcs.2011.06.002), [BIB](https://anil.recoil.org/papers/2011-dynamics-ml.bib), [PDF](https://anil.recoil.org/papers/2011-dynamics-ml.pdf), [URL](https://linkinghub.elsevier.com/retrieve/pii/S1571066111000739) (linkinghub.elsevier.com)
- [Reconfigurable Data Processing for Clouds](https://anil.recoil.org/papers/2011-fccm-cloudfpga) (May 2011, full)
  Anil Madhavapeddy and Satnam Singh. Paper in the [2011 IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines](https://ieeexplore.ieee.org/document/5771265/).
  [DOI](https://doi.org/10.1109/FCCM.2011.35), [BIB](https://anil.recoil.org/papers/2011-fccm-cloudfpga.bib), [PDF](https://anil.recoil.org/papers/2011-fccm-cloudfpga.pdf), [URL](https://ieeexplore.ieee.org/document/5771265/) (ieeexplore.ieee.org)
- [Statically-typed value persistence for ML](https://anil.recoil.org/papers/2010-dyntype-wgt) (Mar 2011, short)
  Thomas Gazagnaire and Anil Madhavapeddy. Paper in the [Workshop on Generative Technologies](https://www.cl.cam.ac.uk/research/srg/netos/papers/2010-dyntype-wgt.pdf).
  [BIB](https://anil.recoil.org/papers/2010-dyntype-wgt.bib), [PDF](https://anil.recoil.org/papers/2010-dyntype-wgt.pdf), [URL](https://www.cl.cam.ac.uk/research/srg/netos/papers/2010-dyntype-wgt.pdf) (cl.cam.ac.uk)
- [CIEL: A universal execution engine for distributed data-flow computing](https://anil.recoil.org/papers/2011-nsdi-ciel) (Mar 2011, full)
  Derek 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)](https://www.usenix.org/legacy/event/nsdi11/tech/full_papers/Murray.pdf).
  [BIB](https://anil.recoil.org/papers/2011-nsdi-ciel.bib), [PDF](https://anil.recoil.org/papers/2011-nsdi-ciel.pdf), [URL](https://www.usenix.org/legacy/event/nsdi11/tech/full_papers/Murray.pdf) (usenix.org)
- [Unclouded vision](https://anil.recoil.org/papers/2011-icdcn-droplets) (Jan 2011, full)
  Jon Crowcroft, Anil Madhavapeddy, Malte Schwarzkopf, Theodore Hong and Richard Mortier. Paper in the Proceedings of the 12th International Conference on Distributed Computing and Networking.
  [BIB](https://anil.recoil.org/papers/2011-icdcn-droplets.bib), [PDF](https://anil.recoil.org/papers/2011-icdcn-droplets.pdf)

## 2010

- [The personal container, or your life in bits](https://anil.recoil.org/papers/de10-perscon) (Oct 2010, full)
  Richard Mortier, Chris Greenhalgh, Derek McAuley, Alexa Spence, Anil Madhavapeddy, Jon Crowcroft and Steven Hand. Journal paper in [Digital Futures](http://mort.io/publications/pdf/de10-perscon.pdf) (vol 10).
  [BIB](https://anil.recoil.org/papers/de10-perscon.bib), [PDF](https://anil.recoil.org/papers/de10-perscon.pdf), [URL](http://mort.io/publications/pdf/de10-perscon.pdf) (mort.io)
- [Using functional programming within an industrial product group: perspectives and perceptions](https://anil.recoil.org/papers/2010-icfp-xen) (Sep 2010, full)
  Dave Scott, Richard Sharp, Thomas Gazagnaire and Anil Madhavapeddy. Paper in the [Proceedings of the 15th ACM SIGPLAN international conference on Functional programming](https://dl.acm.org/doi/10.1145/1863543.1863557).
  [DOI](https://doi.org/10.1145/1863543.1863557), [BIB](https://anil.recoil.org/papers/2010-icfp-xen.bib), [PDF](https://anil.recoil.org/papers/2010-icfp-xen.pdf), [URL](https://dl.acm.org/doi/10.1145/1863543.1863557) (dl.acm.org)
- [Turning Down the LAMP: Software Specialisation for the Cloud](https://anil.recoil.org/papers/2010-hotcloud-lamp) (Jun 2010, short)
  Anil 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)](https://www.usenix.org/conference/hotcloud-10/turning-down-lamp-software-specialisation-cloud).
  [BIB](https://anil.recoil.org/papers/2010-hotcloud-lamp.bib), [PDF](https://anil.recoil.org/papers/2010-hotcloud-lamp.pdf), [URL](https://www.usenix.org/conference/hotcloud-10/turning-down-lamp-software-specialisation-cloud) (usenix.org)
- [Creating High-Performance, Statically Type-Safe Network Applications](https://anil.recoil.org/papers/anil-phd-thesis) (May 2010, full)
  Anil Madhavapeddy. Book published by [Lambert Academic Publishing](https://biblio.co.uk/book/creating-high-performance-statically-type-safe/d/1480411668).
  [BIB](https://anil.recoil.org/papers/anil-phd-thesis.bib), [PDF](https://anil.recoil.org/papers/anil-phd-thesis.pdf), [URL](https://biblio.co.uk/book/creating-high-performance-statically-type-safe/d/1480411668) (biblio.co.uk)
- [Multiscale not multicore: efficient heterogeneous cloud computing](https://anil.recoil.org/papers/2010-bcs-visions) (Apr 2010, full)
  Anil Madhavapeddy, Richard Mortier, Jon Crowcroft and Steven Hand. Paper in the [Proceedings of the 2010 ACM-BCS Visions of Computer Science Conference](https://dl.acm.org/doi/10.5555/1811182.1811191).
  [BIB](https://anil.recoil.org/papers/2010-bcs-visions.bib), [PDF](https://anil.recoil.org/papers/2010-bcs-visions.pdf), [URL](https://dl.acm.org/doi/10.5555/1811182.1811191) (dl.acm.org)
- [Using Dust Clouds to Enhance Anonymous Communication](https://anil.recoil.org/papers/2010-iswp-dustclouds) (Mar 2010, short)
  Richard Mortier, Anil Madhavapeddy, Theodore Hong, Derek Murray and Malte Schwarzkopf. Paper in the [Security Protocols XVIII](http://link.springer.com/10.1007/978-3-662-45921-8_10).
  [DOI](https://doi.org/10.1007/978-3-662-45921-8_10), [BIB](https://anil.recoil.org/papers/2010-iswp-dustclouds.bib), [PDF](https://anil.recoil.org/papers/2010-iswp-dustclouds.pdf), [URL](http://link.springer.com/10.1007/978-3-662-45921-8_10) (link.springer.com)
- [Privacy Butler: A Personal Privacy Rights Manager for Online Presence](https://anil.recoil.org/papers/2010-smarte-privacybutler) (Mar 2010, short)
  Ryan Wishart, Domenico Corapi and Morris Sloman. Paper in the [2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops)](https://ieeexplore.ieee.org/document/5470519).
  [DOI](https://doi.org/10.1109/PERCOMW.2010.5470519), [BIB](https://anil.recoil.org/papers/2010-smarte-privacybutler.bib), [PDF](https://anil.recoil.org/papers/2010-smarte-privacybutler.pdf), [URL](https://ieeexplore.ieee.org/document/5470519) (ieeexplore.ieee.org)

## 2009

- [Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language](https://anil.recoil.org/papers/2009-icfem-spl) (Nov 2009, full)
  Anil Madhavapeddy. Paper in the [Formal Methods and Software Engineering](http://link.springer.com/10.1007/978-3-642-10373-5_23).
  [DOI](https://doi.org/10.1007/978-3-642-10373-5_23), [BIB](https://anil.recoil.org/papers/2009-icfem-spl.bib), [PDF](https://anil.recoil.org/papers/2009-icfem-spl.pdf), [URL](http://link.springer.com/10.1007/978-3-642-10373-5_23) (link.springer.com)

## 2008

- [Enhancing web browsing security on public terminals using mobile composition](https://anil.recoil.org/papers/2008-mobisys-splittrust) (Jun 2008, full)
  Richard Sharp, Anil Madhavapeddy, Roy Want and Trevor Pering. Paper in the [Proceedings of the 6th international conference on Mobile systems, applications, and services](https://dl.acm.org/doi/10.1145/1378600.1378612).
  [DOI](https://doi.org/10.1145/1378600.1378612), [BIB](https://anil.recoil.org/papers/2008-mobisys-splittrust.bib), [PDF](https://anil.recoil.org/papers/2008-mobisys-splittrust.pdf), [URL](https://dl.acm.org/doi/10.1145/1378600.1378612) (dl.acm.org)

## 2007

- [Melange: creating a "functional" internet](https://anil.recoil.org/papers/2007-eurosys-melange) (Jun 2007, full)
  Anil Madhavapeddy, Alex Ho, Tim Deegan, Dave Scott and Ripduman Sohan. Journal paper in [ACM SIGOPS Operating Systems Review](https://dl.acm.org/doi/10.1145/1272998.1273009) (vol 41 issue 3).
  [DOI](https://doi.org/10.1145/1272998.1273009), [BIB](https://anil.recoil.org/papers/2007-eurosys-melange.bib), [PDF](https://anil.recoil.org/papers/2007-eurosys-melange.pdf), [URL](https://dl.acm.org/doi/10.1145/1272998.1273009) (dl.acm.org)
- [Interacting with mobile services: an evaluation of camera-phones and visual tags](https://anil.recoil.org/papers/2006-puc-tags) (Feb 2007, full)
  Eleanor Toye Scott, Richard Sharp, Anil Madhavapeddy, Dave Scott, Eben Upton and Alan Blackwell. Journal paper in [Personal and Ubiquitous Computing](https://doi.org/10.1007/s00779-006-0064-9) (vol 11 issue 2).
  [DOI](https://doi.org/10.1007/s00779-006-0064-9), [BIB](https://anil.recoil.org/papers/2006-puc-tags.bib), [PDF](https://anil.recoil.org/papers/2006-puc-tags.pdf), [URL](https://doi.org/10.1007/s00779-006-0064-9) (doi.org)

## 2006

- [Fighting Crimeware: An Architecture for Split-Trust Web Applications](https://anil.recoil.org/papers/2006-fighting-crimeware) (Apr 2006, preprint)
  Richard Sharp, Anil Madhavapeddy, Roy Want, Trevor Pering and John Light. Technical report (IRC-TR-06-053) at Intel Research.
  [BIB](https://anil.recoil.org/papers/2006-fighting-crimeware.bib), [PDF](https://anil.recoil.org/papers/2006-fighting-crimeware.pdf)

## 2005

- [A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping](https://anil.recoil.org/papers/2005-ubicomp-bluetooth) (Sep 2005, full)
  Anil Madhavapeddy and Alastair Tse. Paper in the UbiComp 2005: Ubiquitous Computing.
  [DOI](https://doi.org/10.1007/11551201_7), [BIB](https://anil.recoil.org/papers/2005-ubicomp-bluetooth.bib), [PDF](https://anil.recoil.org/papers/2005-ubicomp-bluetooth.pdf)
- [SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions](https://anil.recoil.org/papers/2005-spin-splat) (Aug 2005, full)
  Anil Madhavapeddy, Dave Scott and Richard Sharp. Paper in the [Model Checking Software](http://link.springer.com/10.1007/11537328_23).
  [DOI](https://doi.org/10.1007/11537328_23), [BIB](https://anil.recoil.org/papers/2005-spin-splat.bib), [PDF](https://anil.recoil.org/papers/2005-spin-splat.pdf), [URL](http://link.springer.com/10.1007/11537328_23) (link.springer.com)
- [Audio networking: the forgotten wireless technology](https://anil.recoil.org/papers/2005-ieee-audio) (Jul 2005, full)
  Anil Madhavapeddy, Richard Sharp, Dave Scott and Alastair Tse. Journal paper in [IEEE Pervasive Computing](https://ieeexplore.ieee.org/document/1495392/) (vol 4 issue 3).
  [DOI](https://doi.org/10.1109/MPRV.2005.50), [BIB](https://anil.recoil.org/papers/2005-ieee-audio.bib), [PDF](https://anil.recoil.org/papers/2005-ieee-audio.pdf), [URL](https://ieeexplore.ieee.org/document/1495392/) (ieeexplore.ieee.org)
- [Ubiquitious Computing needs to catch up with Ubiquitous Media](https://anil.recoil.org/papers/2005-ubiapp-ubimedia) (Jul 2005, full)
  Richard Sharp and Kasim Rehman. Journal paper in [IEEE Pervasive Computing](https://ieeexplore.ieee.org/document/1495397/) (vol 4 issue 3).
  [DOI](https://doi.org/10.1109/MPRV.2005.69), [BIB](https://anil.recoil.org/papers/2005-ubiapp-ubimedia.bib), [PDF](https://anil.recoil.org/papers/2005-ubiapp-ubimedia.pdf), [URL](https://ieeexplore.ieee.org/document/1495397/) (ieeexplore.ieee.org)
- [On the challenge of delivering high-performance, dependable, model-checked internet servers](https://anil.recoil.org/papers/2005-hotdep-spl) (Jun 2005, full)
  Anil Madhavapeddy and Dave Scott. Paper in the [Proceedings of the First Conference on Hot Topics in System Dependability](https://dl.acm.org/doi/10.5555/1973400.1973406).
  [BIB](https://anil.recoil.org/papers/2005-hotdep-spl.bib), [PDF](https://anil.recoil.org/papers/2005-hotdep-spl.pdf), [URL](https://dl.acm.org/doi/10.5555/1973400.1973406) (dl.acm.org)
- [The Broadband Phone Network: Experiences with Context-Aware Telephony](https://anil.recoil.org/papers/2005-bbphone) (Jan 2005, full)
  Ripduman Sohan, Alastair Tse and Anil Madhavapeddy. Technical report (CUED/F INFENG/TR.533) at [Cambridge University Engineering Department](https://cam-orl.co.uk/bphone/).
  [BIB](https://anil.recoil.org/papers/2005-bbphone.bib), [PDF](https://anil.recoil.org/papers/2005-bbphone.pdf), [URL](https://cam-orl.co.uk/bphone/) (cam-orl.co.uk)
- [Using smart phones to access site-specific services](https://anil.recoil.org/papers/2005-ieee-smartphones) (Jan 2005, full)
  Eleanor Toye Scott, Richard Sharp, Anil Madhavapeddy and Dave Scott. Journal paper in [IEEE Pervasive Computing](https://ieeexplore.ieee.org/document/1427650/) (vol 4 issue 2).
  [DOI](https://doi.org/10.1109/MPRV.2005.44), [BIB](https://anil.recoil.org/papers/2005-ieee-smartphones.bib), [PDF](https://anil.recoil.org/papers/2005-ieee-smartphones.pdf), [URL](https://ieeexplore.ieee.org/document/1427650/) (ieeexplore.ieee.org)
- [Using visual tags to bypass Bluetooth device discovery](https://anil.recoil.org/papers/2005-mc2r-visualtags) (Jan 2005, full)
  Dave Scott, Richard Sharp, Anil Madhavapeddy and Eben Upton. Journal paper in [SIGMOBILE Mob. Comput. Commun. Rev.](https://doi.org/10.1145/1055959.1055965) (vol 9 issue 1).
  [DOI](https://doi.org/10.1145/1055959.1055965), [BIB](https://anil.recoil.org/papers/2005-mc2r-visualtags.bib), [URL](https://doi.org/10.1145/1055959.1055965) (doi.org)

## 2004

- [Using camera-phones to interact with context-aware mobile services](https://anil.recoil.org/papers/2004-spotcodes) (Dec 2004, full)
  Eleanor 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](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-609.html).
  [DOI](https://doi.org/10.48456/tr-609), [BIB](https://anil.recoil.org/papers/2004-spotcodes.bib), [PDF](https://anil.recoil.org/papers/2004-spotcodes.pdf), [URL](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-609.html) (cl.cam.ac.uk)
- [Using Camera-Phones to Enhance Human-Computer Interaction](https://anil.recoil.org/papers/2004-ubicomp-camera) (Sep 2004, short)
  Anil Madhavapeddy, Dave Scott, Richard Sharp and Eben Upton. Paper in the [Adjunct Proceedings of Ubicomp 2004 (Demo Track)](https://ubicomp.org/ubicomp2004/adjunct/demos/madhavapeddy.pdf).
  [BIB](https://anil.recoil.org/papers/2004-ubicomp-camera.bib), [PDF](https://anil.recoil.org/papers/2004-ubicomp-camera.pdf), [URL](https://ubicomp.org/ubicomp2004/adjunct/demos/madhavapeddy.pdf) (ubicomp.org)
- [Feedback, latency, accuracy: exploring tradeoffs in location-aware gaming](https://anil.recoil.org/papers/netgames04-ctf) (Aug 2004, short)
  Kieran 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](http://portal.acm.org/citation.cfm?doid=1016540.1016544).
  [DOI](https://doi.org/10.1145/1016540.1016544), [BIB](https://anil.recoil.org/papers/netgames04-ctf.bib), [PDF](https://anil.recoil.org/papers/netgames04-ctf.pdf), [URL](http://portal.acm.org/citation.cfm?doid=1016540.1016544) (portal.acm.org)

## 2003

- [Context-Aware Computing with Sound](https://anil.recoil.org/papers/audio-networking) (Oct 2003, full)
  Anil Madhavapeddy, Dave Scott and Richard Sharp. Paper in the [UbiComp 2003: Ubiquitous Computing](https://link.springer.com/chapter/10.1007/978-3-540-39653-6_25).
  [DOI](https://doi.org/10.1007/978-3-540-39653-6_25), [BIB](https://anil.recoil.org/papers/audio-networking.bib), [PDF](https://anil.recoil.org/papers/audio-networking.pdf), [URL](https://link.springer.com/chapter/10.1007/978-3-540-39653-6_25) (link.springer.com)
- [The Case for Abstracting Security Policies](https://anil.recoil.org/papers/sam03-secpol) (Jun 2003, full)
  Anil 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](https://www.cl.cam.ac.uk/~am21/papers/sam03.pdf).
  [BIB](https://anil.recoil.org/papers/sam03-secpol.bib), [PDF](https://anil.recoil.org/papers/sam03-secpol.pdf), [URL](https://www.cl.cam.ac.uk/~am21/papers/sam03.pdf) (cl.cam.ac.uk)
- [Xen 2002](https://anil.recoil.org/papers/xen02) (Jan 2003, full)
  Paul R. Barham, Boris Dragovic, Keir A. 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](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-553.pdf).
  [DOI](https://doi.org/10.48456/tr-553), [BIB](https://anil.recoil.org/papers/xen02.bib), [URL](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-553.pdf) (cl.cam.ac.uk)

## 2002

- [Tiscali: How to build a Content Delivery Network](https://anil.recoil.org/papers/netapp-tr-3152) (Apr 2002, preprint)
  Anil Madhavapeddy and Alberto Crivelli. Technical report (TR-3152) at [NetApp](http://tr.netapp.link/tr-3152.pdf).
  [BIB](https://anil.recoil.org/papers/netapp-tr-3152.bib), [PDF](https://anil.recoil.org/papers/netapp-tr-3152.pdf), [URL](http://tr.netapp.link/tr-3152.pdf) (tr.netapp.link)

## 2000

- [Application of a Distributed Web Site Acceleration: Mars Polar Lander](https://anil.recoil.org/papers/netapp-tr-3071) (Jul 2000, full)
  Niall Doherty and Anil Madhavapeddy. Technical report (TR-3071) at [NetApp](http://tr.netapp.link/tr-3071.pdf).
  [BIB](https://anil.recoil.org/papers/netapp-tr-3071.bib), [PDF](https://anil.recoil.org/papers/netapp-tr-3071.pdf), [URL](http://tr.netapp.link/tr-3071.pdf) (tr.netapp.link)

---
Canonical: https://anil.recoil.org/papers
Feeds: [Atom](https://anil.recoil.org/news.xml), [JSON](https://anil.recoil.org/feed.json)
License: CC BY 4.0 <https://creativecommons.org/licenses/by/4.0/>