skip to content

Department of Computer Science and Technology

  • Professor of Planetary Computing, Department of Computer Science and Technology
  • Director, Cambridge Centre for Carbon Credits (4C)
  • J M Keynes Fellow

My current activities can be found on my personal homepage.

Publications

Journal articles

  • 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: http://doi.org/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
  • Radanne, G., Gazagnaire, T., Madhavapeddy, A., Yallop, J., Mortier, R., Mehnert, H., Preston, M. and Scott, D., 2019. Programming Unikernels in the Large via Functor Driven Development
  • Koleini, M., Oviedo, C., McAuley, D., Rotsos, C., Madhavapeddy, A., Gazagnaire, T., Skejgstad, M. and Mortier, R., 2019. Fractal: Automated Application Scaling
  • 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
  • Eriksen, M., Sperber, M. and Madhavapeddy, A., 2015. CUFP'13 scribe's report Journal of Functional Programming, v. 25
    Doi: 10.1017/S0956796815000052
  • 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. and Scott, DJ., 2013. Unikernels: Rise of the virtual library operating system Queue, v. 11
    Doi: http://doi.org/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
  • 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
  • Mandler, P., 2009. SIGN POSTS. History Today, v. 59
  • 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
  • Yallop, J., Sheets, D. and Madhavapeddy, A., 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., Personal Data: Thinking Inside the Box Critical Alternatives, v. 1
    Doi: 10.7146/aahcc.v1i1.21312
  • Swinfield, T., Balmford, A., Coomes, D., Madhavapeddy, A. and Keshav, S., Realising the social value of impermanent carbon credits Nature Climate Change,
  • Conference proceedings

  • Tarkhani, Z. and Madhavapeddy, A., 2023. Information Flow Tracking for Heterogeneous Compartmentalized Software ACM International Conference Proceeding Series,
    Doi: http://doi.org/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
  • 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
  • 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,
  • 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: http://doi.org/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: http://doi.org/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: http://doi.org/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
  • 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,
  • 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,
  • Farinier, B., Gazagnaire, T. and Madhavapeddy, A., 2015. Mergeable persistent data structures Vingt-sixiemes Journees Francophones des Langages Applicatifs, JFLA 2015,
  • 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,
  • 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,
  • 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: http://doi.org/10.1145/2451116.2451167
  • 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., Sohan, RS., Gazagnire, T., Hand, S., Deegan, T., McAuley, D. and Crowcroft, J., 2013. Turning Down the LAMP: Software Specialisation for the Cloud
  • 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
  • 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
  • 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: http://doi.org/10.1145/2181196.2181201
  • 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,
  • 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,
  • 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., Mortier, R., Crowcroft, J. and Hand, S., 2010. Multiscale not Multicore: Efficient Heterogeneous Cloud Computing Proceedings of the 2010 ACM-BCS Visions of Computer Science Conference,
  • 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., 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., Scott, DJ. and Sharp, R., 2005. SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions. SPIN, v. 3639
  • Madhavapeddy, A. and Tse, A., 2005. A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping. UbiComp, v. 3660
  • 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.
  • Minsky, Y., Madhavapeddy, A. and Hickey, J., 2013. Real World OCaml - Functional Programming for the Masses.
  • Contact Details

    Room: 
    FW16
    Office address: 
    David Attenborough Building
    William Gates Building
    1 Mill Lane, Pembroke College
    Office phone: 
    (01223) 7-63611
    Email: 

    avsm2@cam.ac.uk