Journal articles
Swinfield, T., Shrikanth, S., Bull, JW., Madhavapeddy, A. and zu Ermgassen, SOSE., 2024. Nature-based credit markets at a crossroads Nature Sustainability,
Doi: http://doi.org/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
Gordon, G., Holcomb, A., Kelly, T., Keshav, S., Ludlum, J. and Madhavapeddy, A., 2021. How Computer Science Can Aid Forest Restoration
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
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
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
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
Swinfield, T., Balmford, A., Coomes, D., Madhavapeddy, A. and Keshav, S., Realising the social value of impermanent carbon credits Nature Climate Change,
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
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
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
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,
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., 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
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
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
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
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,
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 Proceedings of the 2010 ACM-BCS Visions of Computer Science Conference,
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., 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.
