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
Zuñiga-Gonzalez, A., Madhavapeddy, A. and Bardhan, R., 2025. Green Urban Equity: Analyzing the 3-30-300 Rule in UK Cities and Its Socioeconomic Implications
Doi: 10.5194/egusphere-egu24-20833
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
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
Rau, EP., Gross, J., Coomes, DA., Swinfield, T., Madhavapeddy, A., Balmford, A. and Keshav, S., 2024. Mitigating risk of credit reversal in nature-based climate solutions by optimally anticipating carbon release Carbon Management, v. 15
Doi: 10.1080/17583004.2024.2390854
Rau, E-P., Gross, J., Coomes, DA., Swinfield, T., Madhavapeddy, A., Balmford, A. and Keshav, S., 2024. Mitigating risk of credit reversal in nature-based climate solutions by optimally anticipating carbon release Carbon Management, v. 15
Doi: 10.1080/17583004.2024.2390854
Millar, J., Sethi, S., Haddadi, H. and Madhavapeddy, A., 2024. Terracorder: Sense Long and Prosper. CoRR, v. abs/2408.02407
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
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
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
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
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
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: 10.1145/3666025.3699400
Vijayakumar, S., Madhavapeddy, A. and Kalyvianaki, E., 2024. Scheduling for Reduced Tail Task Latencies in Highly Utilized Datacenters Socc 2024 Proceedings of the 2024 ACM Symposium on Cloud Computing,
Doi: 10.1145/3698038.3698522
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., 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
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
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
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,
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
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
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
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,
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,
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,
Wishart, R., Corapi, D., Madhavapeddy, A. and Sloman, M., 2010. Privacy Butler: A personal privacy rights manager for online presence. PerCom Workshops,
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,
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., 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,
Madhavapeddy, A., Scott, DJ. and Sharp, R., 2003. Context-Aware Computing with Sound. UbiComp, v. 2864
Books
Minsky, Y., Madhavapeddy, A. and Hickey, J., 2013. Real World OCaml - Functional Programming for the Masses.
