Journal articles
Reynolds, S., Beery, S., Burgess, ND., Burgman, M., Butchart, S., Cooke, S., Coomes, D., Danielsen, F., Di Minin, E., Paz Durán, A., Gassert, F., Hinsley, A., Jaffer, S., Jones, JPG., Li, BV., Mac Aodha, O., Madhavapeddy, A., O'Donnel, SAL., Oxbury, WM., Peck, L., Pettorelli, N., Rodriguez, JP., Shuckburgh, E., Strassburg, B., Yamashita, H., Zhongqi, M. and Sutherland, WJ., 2025. The potential for AI to revolutionise conservation: a horizon scan Trends in Ecology and Evolution,
Doi: 10.1016/j.tree.2024.11.013
Eyres, A., Ball, TS., Dales, M., Swinfield, T., Arnell, A., Baisero, D., Durán, AP., Green, JMH., Green, RE., Madhavapeddy, A. and Balmford, A., 2025. LIFE: A metric for mapping the impact of land-cover change on global extinctions Philosophical Transactions of the Royal Society B: Biological Sciences, v. 380
Doi: http://doi.org/10.1098/rstb.2023.0327
Eyres, A., Ball, TS., Dales, M., Swinfield, T., Arnell, A., Baisero, D., Durán, AP., Green, JMH., Green, RE., Madhavapeddy, A. and Balmford, A., 2025. LIFE: A metric for mapping the impact of land-cover change on global extinctions. Philos Trans R Soc Lond B Biol Sci, v. 380
Doi: http://doi.org/10.1098/rstb.2023.0327
Zuñiga-Gonzalez, A., Madhavapeddy, A. and Bardhan, R., 2024. Green Urban Equity: Analyzing the 3-30-300 Rule in UK Cities and Its Socioeconomic Implications
Doi: 10.5194/egusphere-egu24-20833
Swinfield, T., Shrikanth, S., Bull, JW., Madhavapeddy, A. and zu Ermgassen, SOSE., 2024. Nature-based credit markets at a crossroads Nature Sustainability, v. 7
Doi: 10.1038/s41893-024-01403-w
Balmford, A., Brancalion, PHS., Coomes, D., Filewod, B., Groom, B., Guizar-Coutiño, A., Jones, JPG., Keshav, S., Kontoleon, A., Madhavapeddy, A., Malhi, Y., Sills, EO., Strassburg, BBN., Venmans, F., West, TAP., Wheeler, C. and Swinfield, T., 2023. Credit credibility threatens forests. Science, v. 380
Doi: 10.1126/science.adh3426
Balmford, A., Keshav, S., Venmans, F., Coomes, D., Groom, B., Madhavapeddy, A. and Swinfield, T., 2023. Realizing the social value of impermanent carbon credits Nature Climate Change, v. 13
Doi: 10.1038/s41558-023-01815-0
Sivaramakrishnan, KC., Dolan, S., White, L., Kelly, T., Jaffer, S. and Madhavapeddy, A., 2021. Retrofitting effect handlers onto OCaml Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI),
Doi: 10.1145/3453483.3454039
Tarkhani, Z. and Madhavapeddy, A., 2020. $μ$Tiles: Efficient Intra-Process Privilege Enforcement of Memory
Regions
Sivaramakrishnan, KC., Dolan, S., White, L., Jaffer, S., Kelly, T., Sahoo, A., Parimala, S., Dhiman, A. and Madhavapeddy, A., 2020. Retrofitting parallelism onto OCaml. Proceedings of the ACM on Programming Languages, v. 4
Doi: 10.1145/3408995
Sivaramakrishnan, KC., Dolan, S., White, L., Jaffer, S., Kelly, T., Sahoo, A., Parimala, S., Dhiman, A. and Madhavapeddy, A., 2020. Retrofitting parallelism onto OCaml Proceedings of the ACM on Programming Languages, v. 4
Doi: 10.1145/3408995
Yallop, J., Sheets, D. and Madhavapeddy, A., 2017 (Accepted for publication). A modular foreign function interface Science of Computer Programming,
Doi: 10.1016/j.scico.2017.04.002
Chaudhry, A., Crowcroft, J., Howard, H., Madhavapeddy, A., Mortier, R., Haddadi, H. and McAuley, D., 2015 (Published online). Personal Data: Thinking Inside the Box Critical Alternatives, v. 1
Doi: 10.7146/aahcc.v1i1.21312
Eriksen, M., Sperber, M. and Madhavapeddy, A., 2015. CUFP'13 scribe's report Journal of Functional Programming, v. 25
Doi: 10.1017/S0956796815000052
Skjegstad, M., Madhavapeddy, A. and Crowcroft, J., 2015. Kadupul: Livin' on the edge with virtual currencies and time-locked puzzles DIYNetworking 2015 - Proceedings of the 2015 Workshop on Do-it-Yourself Networking: An Interdisciplinary Approach,
Doi: 10.1145/2753488.2753492
Howard, H., Schwarzkopf, M., Madhavapeddy, A. and Crowcroft, J., 2015. Raft refloated: Do we have consensus? Operating Systems Review (ACM), v. 49
Doi: 10.1145/2723872.2723876
Madhavapeddy, A. and Scott, DJ., 2014. Unikernels: The rise of the virtual library operating system Communications of the ACM, v. 57
Doi: 10.1145/2541883.2541895
Sperber, M. and Madhavapeddy, A., 2014. Commercial users of functional programming workshop report Journal of Functional Programming, v. 23
Doi: 10.1017/S0956796813000257
Parisis, G., Moncaster, T., Madhavapeddy, A. and Crowcroft, J., 2013. Trevi: Watering down storage hotspots with cool fountain codes Proceedings of the 12th ACM Workshop on Hot Topics in Networks, HotNets 2013,
Doi: 10.1145/2535771.2535781
Madhavapeddy, A. and Scott, DJ., 2013. Unikernels: Rise of the virtual library operating system Queue, v. 11
Doi: 10.1145/2557963.2566628
Madhavapeddy, A., Minsky, Y. and Eriksen, M., 2012. CUFP 2011 Workshop Report. J. Funct. Program., v. 22
Nabi, Z., Moncaster, T., Madhavapeddy, A., Hand, S. and Crowcroft, J., 2012. Evolving TCP. How hard can it be? CoNEXT Student 2012 - Proceedings of the ACM Conference on the 2012 CoNEXT Student Workshop,
Doi: 10.1145/2413247.2413270
Chaudhry, A., Madhavapeddy, A., Rotsos, C., Mortier, R., Aucinas, A., Crowcroft, J., Eide, SP., Hand, S., Moore, AW. and Vallina-Rodriguez, N., 2012. Signposts Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication,
Doi: 10.1145/2342356.2342371
Madhavapeddy, AVS. and Gazagnaire, T., 2011. Dynamics for ML using Meta-Programming Electronic Notes in Theoretical Computer Science, v. 264
Doi: 10.1016/j.entcs.2011.06.002
Scott, D., Sharp, R., Gazagnaire, T. and Madhavapeddy, A., 2010. Using functional programming within an industrial product group: Perspectives and perceptions ACM SIGPLAN Notices, v. 45
Doi: 10.1145/1932681.1863557
Toye, E., Sharp, R., Madhavapeddy, A., Scott, D., Upton, E. and Blackwell, A., 2007. Interacting with mobile services: an evaluation of camera-phones and visual tags PERS UBIQUIT COMPUT, v. 11
Doi: 10.1007/s00779-006-0064-9
Madhavapeddy, A., Sharp, R., Scott, DJ. and Tse, A., 2005. Audio networking: the forgotten wireless technology. IEEE Pervasive Comput., v. 4
Doi: 10.1109/MPRV.2005.50
Toye, EF., Sharp, R., Madhavapeddy, A. and Scott, DJ., 2005. Using smart phones to access site-specific services. IEEE Pervasive Comput., v. 4
Doi: 10.1109/MPRV.2005.44
Scott, DJ., Sharp, R., Madhavapeddy, A. and Upton, E., 2005. Using visual tags to bypass Bluetooth device discovery. ACM SIGMOBILE Mob. Comput. Commun. Rev., v. 9
Doi: 10.1145/1055959.1055965
Conference proceedings
Millar, J., Sethi, S., Haddadi, H. and Madhavapeddy, A., 2024. Poster: Towards Low-Power Comprehensive Biodiversity Monitoring SenSys 2024 - Proceedings of the 2024 ACM Conference on Embedded Networked Sensor Systems,
Doi: http://doi.org/10.1145/3666025.3699400
Tarkhani, Z. and Madhavapeddy, A., 2023. Information Flow Tracking for Heterogeneous Compartmentalized Software ACM International Conference Proceeding Series,
Doi: 10.1145/3607199.3607235
Gibb, R., Madhavapeddy, A. and Crowcroft, J., 2023. Where on Earth is the Spatial Name System? HotNets 2023 - Proceedings of the 22nd ACM Workshop on Hot Topics in Networks,
Doi: 10.1145/3626111.3628210
Madhavapeddy, A., Mortier, R., Sohan, R., Gazagnaire, T., Hand, S., Deegan, T., McAuley, D. and Crowcroft, J., 2020. Turning down the lamp: Software specialisation for the cloud 2nd USENIX Workshop on Hot Topics in Cloud Computing, HotCloud 2010,
Madhavapeddy, A., Mortier, R., Sohan, R., Gazagnaire, T., Hand, S., Deegan, T., McAuley, D. and Crowcroft, J., 2020. Turning down the lamp: Software specialisation for the cloud 2nd USENIX Workshop on Hot Topics in Cloud Computing, HotCloud 2010,
Dubey, SS., Sivaramakrishnan, KC., Gazagnaire, T. and Madhavapeddy, A., 2020. Banyan: Coordination-Free Distributed Transactions over Mergeable Types Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 12470 LNCS
Doi: 10.1007/978-3-030-64437-6_12
Tarkhani, Z., Madhavapeddy, A. and Mortier, R., 2019. SNAPE: The dark art of handling heterogeneous enclaves EdgeSys 2019 - Proceedings of the 2nd ACM International Workshop on Edge Systems, Analytics and Networking, Part of EuroSys 2019,
Doi: 10.1145/3301418.3313945
Dolan, S., Eliopoulos, S., Hillerström, D., Madhavapeddy, A., Sivaramakrishnan, KC. and White, L., 2018. Concurrent system programming with effect handlers Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10788 LNCS
Doi: 10.1007/978-3-319-89719-6_6
Dolan, S., Sivaramakrishnan, KC. and Madhavapeddy, A., 2018. Bounding data races in space and time ACM SIGPLAN Notices, v. 53
Doi: 10.1145/3192366.3192421
Madhavapeddy, A., Sivaramakrishnan, KC., Gordon, G. and Gazagnaire, T., 2018. An architecture for interspatial communication INFOCOM 2018 - IEEE Conference on Computer Communications Workshops,
Doi: 10.1109/INFCOMW.2018.8406931
Yallop, J., Sheets, D. and Madhavapeddy, A., 2016. Declarative foreign function binding through generic programming Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 9613
Doi: 10.1007/978-3-319-29604-3_13
Alim, A., Clegg, RG., Mai, L., Rupprecht, L., Seckler, E., Costa, P., Pietzuch, P., Wolf, AL., Sultana, N., Crowcroft, J., Madhavapeddy, A., Moore, AW., Mortier, R., Koleini, M., Oviedo, L., McAuley, D. and Migliavacca, M., 2016. FLICK: Developing and running application-specific network services Proceedings of the 2016 USENIX Annual Technical Conference, USENIX ATC 2016,
Ridge, T., Sheets, D., Tuerk, T., Giugliano, A., Madhavapeddy, A. and Sewell, P., 2015. SibylFS: Formal specification and oracle-based testing for POSIX and real-world file systems SOSP 2015 - Proceedings of the 25th ACM Symposium on Operating Systems Principles,
Doi: 10.1145/2815400.2815411
Skjegstad, M., Madhavapeddy, A. and Crowcroft, J., 2015. Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles. DIYNetworking@MobiSys,
Farinier, B., Gazagnaire, T. and Madhavapeddy, A., 2015. Mergeable persistent data structures Vingt-sixiemes Journees Francophones des Langages Applicatifs, JFLA 2015,
Madhavapeddy, A., Leonard, T., Skjegstad, M., Gazagnaire, T., Sheets, D., Scott, D., Mortier, R., Chaudhry, A., Singh, B., Ludlam, J., Crowcroft, J. and Leslie, I., 2015. Jitsu: Just-in-time summoning of unikernel Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015,
Kaloper-Meršinjak, D., Mehnert, H., Madhavapeddy, A. and Sewell, P., 2015. Not-quite-so-broken TLS: Lessons in re-engineering a security protocol specification and implementation Proceedings of the 24th USENIX Security Symposium,
Mortier, R., Madhavapeddy, A., Hong, T., Murray, D. and Schwarzkopf, M., 2014. Using dust clouds to enhance anonymous communication Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 7061
Doi: 10.1007/978-3-662-45921-8_10
2013. Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013 PLOS@SOSP,
Madhavapeddy, A., Mortier, R., Rotsos, C., Scott, D., Singh, B., Gazagnaire, T., Smith, S., Hand, S. and Crowcroft, J., 2013. Unikernels: Library operating systems for the cloud ACM SIGPLAN Notices, v. 48
Doi: 10.1145/2499368.2451167
Madhavapeddy, A., Mortier, R., Rotsos, C., Scott, D., Singh, B., Gazagnaire, T., Smith, S., Hand, S. and Crowcroft, J., 2013. Unikernels Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems,
Doi: 10.1145/2451116.2451167
Rotsos, C., Howard, H., Sheets, D., Mortier, R., Madhavapeddy, A., Chaudhry, A. and Crowcroft, J., 2013. Lost in the edge: Finding your way with signposts 3rd USENIX Workshop on Free and Open Communications on the Internet, FOCI 2013, co-located with USENIX Security 2013,
Rotsos, C., Mortier, R., Madhavapeddy, A., Singh, B. and Moore, AW., 2012. Cost, performance & flexibility in OpenFlow: Pick three IEEE International Conference on Communications,
Doi: 10.1109/ICC.2012.6364690
Gudka, K., Watson, RNM., Hand, S., Laurie, B. and Madhavapeddy, A., 2012. Exploring Compartmentalisation Hypotheses with SOAAP. SASO Workshops,
Elsmore, C., Madhavapeddy, A., Leslie, I. and Chaudhry, A., 2012. Confidential carbon commuting: Exploring a privacy-sensitive architecture for incentivising 'greener' commuting Proceedings of the 1st Workshop on Measurement, Privacy, and Mobility, MPM'12,
Doi: 10.1145/2181196.2181201
Aucinas, A., Chaudhry, A., Crowcroft, J., Eide, SP., Hand, S., Madhavapeddy, A., Moore, AW., Rotsos, C., Vallina-Rodriguez, N. and Mortier, R., 2012. Signposts: End-to-end networking in a world of middleboxes Computer Communication Review, v. 42
Doi: 10.1145/2377677.2377692
Murray, DG., Schwarzkopf, M., Smowton, C., Smith, S., Madhavapeddy, A. and Hand, S., 2011. CIEL: a universal execution engine for distributed data-flow computing Proceedings of the 8th USENIX conference on Networked systems design and implementation,
Madhavapeddy, A. and Singh, S., 2011. Reconfigurable Data Processing for Clouds. FCCM,
Crowcroft, J., Madhavapeddy, A., Schwarzkopf, M., Hong, T. and Mortier, R., 2011. Unclouded Vision DISTRIBUTED COMPUTING AND NETWORKING, v. 6522
Murray, DG., Schwarzkopf, M., Smowton, C., Smith, S., Madhavapeddy, A. and Hand, S., 2011. CIEL: A universal execution engine for distributed data-flow computing Proceedings of NSDI 2011: 8th USENIX Symposium on Networked Systems Design and Implementation,
Madhavapeddy, A., Mortier, R., Sohan, R., Gazagnaire, T., Hand, S., Deegan, T., McAuley, D. and Crowcroft, J., 2010. Turning down the lamp: Software specialisation for the cloud HotCloud'10: Proceedings of the 2nd USENIX conference on Hot topics in cloud computing,
Madhavapeddy, A., Mortier, R., Crowcroft, J. and Hand, S., 2010. Multiscale not Multicore: Efficient Heterogeneous Cloud Computing Electronic Workshops in Computing,
Doi: 10.14236/ewic/vocs2010.6
Scott, DJ., Sharp, R., Gazagnaire, T. and Madhavapeddy, A., 2010. Using functional programming within an industrial product group: perspectives and perceptions. ICFP,
Madhavapeddy, A., Mortier, R., Sohan, R., Gazagnaire, T., Hand, S., Deegan, T., McAuley, D. and Crowcroft, J., 2010. Turning down the lamp: Software specialisation for the cloud 2nd USENIX Workshop on Hot Topics in Cloud Computing, HotCloud 2010,
Wishart, R., Corapi, D., Madhavapeddy, A. and Sloman, M., 2010. Privacy Butler: A personal privacy rights manager for online presence. PerCom Workshops,
Madhavapeddy, A., 2009. Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language. ICFEM, v. 5885
Sharp, R., Madhavapeddy, A., Want, R. and Pering, T., 2008. Enhancing web browsing security on public terminals using mobile composition. MobiSys,
Madhavapeddy, A., Ho, A., Deegan, T., Scott, DJ. and Sohan, R., 2007. Melange: creating a "functional" internet. EuroSys,
Madhavapeddy, A. and Tse, A., 2005. A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping. UbiComp, v. 3660
Madhavapeddy, A., Scott, DJ. and Sharp, R., 2005. SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions. SPIN, v. 3639
Mansley, K., Scott, DJ., Tse, A. and Madhavapeddy, A., 2004. Feedback, latency, accuracy: exploring tradeoffs in location-aware gaming. NETGAMES,
Madhavapeddy, A., Scott, DJ. and Sharp, R., 2003. Context-Aware Computing with Sound. UbiComp, v. 2864
Madhavapeddy, A., Mycroft, A., Scott, D. and Sharp, R., 2003. The case for abstracting security policies SAM'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND MANAGEMENT, VOLS 1 AND 2,
Books
Minsky, Y., Madhavapeddy, A. and Hickey, J., 2013. Real World OCaml - Functional Programming for the Masses.
