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

  • 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
  • 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
  • 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
  • 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
    Doi: 10.1017/S0956796812000020
  • 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
  • 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
  • Conference proceedings

  • 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: 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
  • 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,
  • 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., 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, DJ., Singh, B., Gazagnaire, T., Smith, S., Hand, S. and Crowcroft, J., 2013. Unikernels: library operating systems for the cloud. ASPLOS,
  • Chaudhry, A., Madhavapeddy, A., Rotsos, C., Mortier, R., Aucinas, A., Crowcroft, J., Eide, SP., Hand, S., Moore, AW. and Vallina-Rodriguez, N., 2012. Signposts: end-to-end networking in a world of middleboxes. SIGCOMM,
  • Rotsos, C., Mortier, R., Madhavapeddy, A., Singh, B. and Moore, AW., 2012. Cost, performance & flexibility in OpenFlow: Pick three. ICC,
  • Gudka, K., Watson, RNM., Hand, S., Laurie, B. and Madhavapeddy, A., 2012. Exploring Compartmentalisation Hypotheses with SOAAP. SASO Workshops,
    Doi: 10.1109/SASOW.2012.14
  • 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
  • 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. ICDCN, 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,
    Doi: 10.1109/FCCM.2011.35
  • 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., 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,
  • 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,
    Doi: 10.1109/PERCOMW.2010.5470519
  • 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.
  • 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