[»] Mitigating risk of credit reversal in nature-based climate solutions by optimally anticipating carbon release
E.-Ping Rau, James Gross, David A Coomes, Thomas Swinfield, Anil Madhavapeddy, Andrew Balmford and Srinivasan Keshav
Journal paper in Carbon Management (vol 15 issue 1), Dec 2024
PDF   URL   BibTeX   DOI  

[»] Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads
Cyrus Omar, Patrick Ferris and Anil Madhavapeddy
In the 12th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE), Sep 2024
PDF   URL   BibTeX   Slides  

[»] PACT Tropical Moist Forest Accreditation Methodology v2.1
Andrew Balmford, David A Coomes, Michael Dales, Patrick Ferris, James Hartup, Sadiq Jaffer, Srinivasan Keshav, Miranda Lam, Anil Madhavapeddy, Robin Message, E.-Ping Rau, Thomas Swinfield, Charlotte Wheeler and Abby Williams
Working paper at Cambridge Open Engage, Aug 2024
PDF   URL   BibTeX   DOI  

[»] Nature-based credit markets at a crossroads
Thomas Swinfield, Siddarth Shrikanth, Joseph Bull, Anil Madhavapeddy and Sophus zu Ermgassen
Journal paper in Nature Sustainability, Aug 2024
PDF   URL   BibTeX   DOI  

[»] Terracorder: Sense Long and Prosper
Josh Millar, Sarab Sethi, Hamed Haddadi and Anil Madhavapeddy
Working paper at arXiv, Aug 2024
PDF   URL   BibTeX   DOI  

[»] LIFE: A metric for quantitatively mapping the impact of land-cover change on global extinctions
Alison Eyres, Thomas Ball, Michael Dales, Thomas Swinfield, Andy Arnell, Daniele Baisero, América Paz Durán, Jonathan Green, Rhys Green, Anil Madhavapeddy and Andrew Balmford
Working paper at Cambridge Open Engage, Jul 2024
PDF   URL   BibTeX   DOI  

[»] Harnessing temporal & spectral dimensionality to identify individual trees in tropical forests
James G. C. Ball, Sadiq Jaffer, Anthony Laybros, Colin Prieur, Toby Jackson, Anil Madhavapeddy, Nicolas Barbier, Gregoire Vincent and David A Coomes
Working paper at bioRxiv, Jun 2024
PDF   URL   BibTeX   DOI  

[»] Quantifying the impact of the food we eat on species extinctions
Thomas Ball, Michael Dales, Alison Eyres, Jonathan Green, Anil Madhavapeddy, David Williams and Andrew Balmford
Working paper at Cambridge Open Engage, May 2024
PDF   URL   BibTeX   DOI  

[»] Towards Scalable Deep Species Distribution Modelling using Global Remote Sensing
Emily Morris, Anil Madhavapeddy, Sadiq Jaffer and David A Coomes
In proceedings of the ICLR 2024 Workshop on Tackling Climate Change with Machine Learning, May 2024
PDF   URL   BibTeX  

[»] Global, robust and comparable digital carbon assets
Sadiq Jaffer, Michael Dales, Patrick Ferris, Thomas Swinfield, Derek Sorensen, Robin Message, Srinivasan Keshav and Anil Madhavapeddy
In proceedings of the 6th IEEE International Conference on Blockchain and Cryptocurrency, Apr 2024
PDF   URL   BibTeX   DOI  

[»] Green Urban Equity: Analyzing the 3-30-300 Rule in UK Cities and Its Socioeconomic Implications
Andres Zuñiga-Gonzalez, Anil Madhavapeddy and Ronita Bardhan
Technical report (EGU24-20833) at Copernicus Meetings, Mar 2024
URL   BibTeX   DOI  

[»] Planetary computing for data-driven environmental policy-making
Patrick Ferris, Michael Dales, Sadiq Jaffer, Amelia Holcomb, Eleanor Toye Scott, Thomas Swinfield, Alison Eyres, Andrew Balmford, David A Coomes, Srinivasan Keshav and Anil Madhavapeddy
Working paper at arXiv, Mar 2024
URL   BibTeX   DOI  

[»] Uncertainty at scale: how CS hinders climate research
Patrick Ferris, Michael Dales, Thomas Swinfield, Sadiq Jaffer, Srinivasan Keshav and Anil Madhavapeddy
Working paper at Undone Computer Science, Feb 2024
PDF   URL   BibTeX  

[»] Realizing the social value of impermanent carbon credits
Andrew Balmford, Srinivasan Keshav, Frank Venmans, David A Coomes, Ben Groom, Anil Madhavapeddy and Thomas Swinfield
Journal paper in Nature Climate Change (vol 13 issue 11), Nov 2023
PDF   URL   BibTeX   DOI  

[»] Where on Earth is the Spatial Name System?
Ryan Gibb, Anil Madhavapeddy and Jon Crowcroft
In proceedings of the 22nd ACM Workshop on Hot Topics in Networks, Nov 2023
PDF   URL   BibTeX   DOI  

[»] Enabling Lightweight Privilege Separation in Applications with MicroGuards
Zahra Tarkhani and Anil Madhavapeddy
In applied Cryptography and Network Security Workshops, Oct 2023
PDF   URL   BibTeX   DOI  

[»] Information Flow Tracking for Heterogeneous Compartmentalized Software
Zahra Tarkhani and Anil Madhavapeddy
In proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses, Oct 2023
PDF   URL   BibTeX   DOI  

[»] Eio 1.0 – Effects-based IO for OCaml 5
Thomas Leonard, Patrick Ferris, Christiano Haesbaert, Lucas Pluvinage, Vesa Karvonen, Sudha Parimala, KC Sivaramakrishnan, Vincent Balat and Anil Madhavapeddy
In proceedings of the 2023 OCaml Users and Developers Workshop, Sep 2023
PDF   URL   BibTeX  

[»] State of the OCaml Platform 2023
Thibaut Mattio, Anil Madhavapeddy, Thomas Gazagnaire and David Allsopp
In proceedings of the 2023 OCaml Users and Developers Workshop, Sep 2023
PDF   URL   BibTeX  

[»] Credit credibility threatens forests
Andrew Balmford, Pedro H. S. Brancalion, David A Coomes, Ben Filewod, Ben Groom, Alejandro Guizar-Coutiño, Julie PG Jones, Srinivasan Keshav, Andreas Kontoleon, Anil Madhavapeddy, Yadvinder Malhi, Erin O. Sills, Bernardo B. N. Strassburg, Frank Venmans, Thales West, Charlotte Wheeler and Thomas Swinfield
Journal paper in Science (vol 380 issue 6644), May 2023
PDF   URL   BibTeX   DOI  

[»] Real World OCaml: Functional Programming for the Masses
Anil Madhavapeddy and Yaron Minsky
Book published by Cambridge University Press, Oct 2022
URL   BibTeX   DOI  

[»] Homogeneous Builds with OBuilder and OCaml
Tim McGilchrist, David Allsopp, Patrick Ferris, Antonin Décimo, Thomas Leonard, Anil Madhavapeddy and Kate Deplaix
In proceedings of the 2022 OCaml Users and Developers Workshop, Sep 2022
URL   BibTeX  

[»] Enhancing the Security & Privacy of Wearable Brain-Computer Interfaces
Zahra Tarkhani, Lorena Qendro, Malachy O'Connor Brown, Oscar Hill, Cecilia Mascolo and Anil Madhavapeddy
Working paper at arXiv, Jan 2022
PDF   URL   BibTeX   DOI  

[»] Experiences with Effects
Thomas Leonard, Craig Ferguson, Patrick Ferris, Sadiq Jaffer, Tom Kelly, KC Sivaramakrishnan and Anil Madhavapeddy
In proceedings of the 2021 OCaml Users and Developers Workshop, Aug 2021
PDF   URL   BibTeX  

[»] How Computer Science Can Aid Forest Restoration
Gemma Gordon, Amelia Holcomb, Tom Kelly, Srinivasan Keshav, Jon Ludlam and Anil Madhavapeddy
Working paper at arXiv, Aug 2021
PDF   URL   BibTeX   DOI  

[»] Retrofitting effect handlers onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer and Anil Madhavapeddy
In proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Jun 2021
PDF   URL   BibTeX   DOI  

[»] Banyan: Coordination-Free Distributed Transactions over Mergeable Types
Shashank Shekhar Dubey, KC Sivaramakrishnan, Thomas Gazagnaire and Anil Madhavapeddy
In proceedings of the Asian Symposium on Programming Languages and Systems, Nov 2020
PDF   URL   BibTeX   DOI  

[»] The OCaml Platform: 2020
Anil Madhavapeddy
In the 10th ACM OCaml Users and Developers Workshop, Sep 2020
URL   BibTeX   Video  

[»] Parallelising your OCaml Code with Multicore OCaml
Sadiq Jaffer, Sudha Parimala, KC Sivaramakrishnan, Tom Kelly and Anil Madhavapeddy
In proceedings of the 2020 OCaml Users and Developers Workshop, Aug 2020
PDF   URL   BibTeX  

[»] OCaml-CI: A Zero-Configuration CI
Thomas Leonard, Craig Ferguson, Kate Deplaix, Magnus Skjegstad and Anil Madhavapeddy
In proceedings of the 2020 OCaml Users and Developers Workshop, Aug 2020
URL   BibTeX  

[»] Retrofitting parallelism onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman and Anil Madhavapeddy
Journal paper in Proceedings of the ACM on Programming Languages (vol 4 issue ICFP), Aug 2020
PDF   URL   BibTeX   DOI  

[»] The OCaml Platform in 2019
Anil Madhavapeddy and Gemma Gordon
In proceedings of the OCaml Workshop 2019, Aug 2019
URL   BibTeX  

[»] MirageOS 4: the dawn of practical build systems for exotic targets
Lucas Pluvinage, Romain Calascibetta, Rudi Grinberg and Anil Madhavapeddy
In proceedings of the OCaml Workshop 2019, Aug 2019
PDF   URL   BibTeX  

[»] Programming Unikernels in the Large via Functor Driven Development
Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston and Dave Scott
Working paper at arXiv, May 2019
URL   BibTeX   DOI  

[»] Snape: The Dark Art of Handling Heterogeneous Enclaves
Zahra Tarkhani, Anil Madhavapeddy and Richard Mortier
In proceedings of the 2nd International Workshop on Edge Systems, Analytics and Networking, Mar 2019
PDF   URL   BibTeX   DOI  

[»] A modular foreign function interface
Jeremy Yallop, David Sheets and Anil Madhavapeddy
Journal paper in Science of Computer Programming (vol 164), Oct 2018
PDF   URL   BibTeX   DOI  

[»] Bounding data races in space and time
Stephen Dolan, KC Sivaramakrishnan and Anil Madhavapeddy
In proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2018
PDF   URL   BibTeX   DOI  

[»] Concurrent System Programming with Effect Handlers
Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan and Leo White
In trends in Functional Programming, Apr 2018
PDF   URL   BibTeX   DOI  

[»] An architecture for interspatial communication
Anil Madhavapeddy, KC Sivaramakrishnan, Gemma Gordon and Thomas Gazagnaire
In proceedings of the HotPOST 2018 workshop at the IEEE Conference on Computer Communications, Apr 2018
PDF   URL   BibTeX   DOI  

[»] Effectively tackling the awkward squad
Stephen Dolan, Spiros Eliopoulos, Daniel Hillerstr"om, Anil Madhavapeddy, KC Sivaramakrishnan and Leo White
In the ACM ML Workshop, Sep 2017
PDF   BibTeX  

[»] The State of the OCaml Platform: Sep 2017
Anil Madhavapeddy
In the 7th ACM OCaml Users and Developers Workshop, Sep 2017
PDF   BibTeX   Video  

[»] DaLi: Database as a Library
Gowtham Kaki, KC Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy and Suresh Jagannathan
In 2nd Summit on Advances in Programming Languages (SNAPL), May 2017
PDF   BibTeX  

[»] FLICK: Developing and Running Application-Specific Network Services
Abdul Alim, Richard G. Clegg, Luo Mai, Lukas Rupprecht, Eric Seckler, Paolo Costa, Peter Pietzuch, Alexander L Wolf, Nik Sultana, Jon Crowcroft, Anil Madhavapeddy, Andrew W. Moore, Richard Mortier, Masoud Koleni, Luis Oviedo, Matteo Miliavacca and Derek McAuley
In 2016 USENIX Annual Technical Conference (USENIX ATC 16), Jun 2016
PDF   URL   BibTeX  

[»] Declarative Foreign Function Binding Through Generic Programming
Jeremy Yallop, David Sheets and Anil Madhavapeddy
In the proceedings of Functional and Logic Programming (FLOPS), Feb 2016
PDF   URL   BibTeX   DOI  

[»] Personal Data: Thinking Inside the Box
Amir Chaudhry, Jon Crowcroft, Heidi Howard, Anil Madhavapeddy, Richard Mortier, Hamed Haddadi and Derek McAuley
Journal paper in Aarhus Series on Human Centered Computing (vol 1 issue 1), Oct 2015
PDF   URL   BibTeX   DOI  

[»] SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy and Peter Sewell
In proceedings of the 25th Symposium on Operating Systems Principles, Oct 2015
PDF   URL   BibTeX   DOI  

[»] Not-Quite-So-Broken TLS
David Kaloper-Mersinjak, Hannes Mehnert, Anil Madhavapeddy and Peter Sewell
In 24th USENIX Security Symposium (USENIX Security 15), Aug 2015
PDF   URL   BibTeX  

[»] Jitsu: Just-In-Time Summoning of Unikernels
Anil Madhavapeddy, Thomas Leonard, Magnus Skjegstad, Thomas Gazagnaire, David Sheets, Dave Scott, Richard Mortier, Amir Chaudhry, Balraj Singh, Jon Ludlam, Jon Crowcroft and Ian Leslie
In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15), May 2015
PDF   URL   BibTeX   Video  

[»] Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles
Magnus Skjegstad, Anil Madhavapeddy and Jon Crowcroft
In proceedings of the 2015 Workshop on Do-it-yourself Networking: an Interdisciplinary Approach, May 2015
PDF   URL   BibTeX   DOI  

[»] CUFP'13 scribe's report
Marius Eriksen, Michael Sperber and Anil Madhavapeddy
Journal paper in Journal of Functional Programming (vol 25), Jan 2015
URL   BibTeX   DOI  

[»] Mergeable persistent data structures
Benjamin Farinier, Thomas Gazagnaire and Anil Madhavapeddy
In vingt-sixiemes Journees Francophones des Langages Applicatifs (JFLA 2015), Jan 2015
PDF   BibTeX  

[»] Raft Refloated: Do We Have Consensus?
Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy and Jon Crowcroft
Journal paper in ACM SIGOPS Operating Systems Review (vol 49 issue 1), Jan 2015
PDF   URL   BibTeX   DOI  

[»] Regional clouds: technical considerations
Jatinder Singh, Jean Bacon, Jon Crowcroft, Anil Madhavapeddy, Thomas Pasquier, W. Kuan Hon and Christopher Millard
Technical report (UCAM-CL-TR-863) at University of Cambridge, Computer Laboratory, Nov 2014
PDF   URL   BibTeX   DOI  

[»] Multicore OCaml
Stephen Dolan, Leo White and Anil Madhavapeddy
In the 4th ACM OCaml Users and Developers Workshop, Sep 2014
PDF   BibTeX  

[»] Irminsule: a branch-consistent distributed library database
Thomas Gazagnaire, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier, Dave Scott, David Sheets and Gregory Tsipenyuk
In the 4th ACM OCaml Users and Developers Workshop, Sep 2014
PDF   BibTeX  

[»] The OCaml Platform v1.0
Anil Madhavapeddy, Amir Chaudhry, Jeremie Dimino, Thomas Gazagnaire, Louis Gesbert, Thomas Leonard, David Sheets, Mark Shinwell, Leo White and Jeremy Yallop
In the 4th ACM OCaml Users and Developers Workshop, Sep 2014
PDF   BibTeX   Video  

[»] Using Dust Clouds to Enhance Anonymous Communication
Richard Mortier, Anil Madhavapeddy, Theodore Hong, Derek Murray and Malte Schwarzkopf
In security Protocols XVIII, Mar 2014
PDF   URL   BibTeX   DOI  

[»] Trevi: watering down storage hotspots with cool fountain codes
George Parisis, Toby Moncaster, Anil Madhavapeddy and Jon Crowcroft
In proceedings of the Twelfth ACM Workshop on Hot Topics in Networks, Nov 2013
PDF   URL   BibTeX   DOI  

[»] Commercial users of functional programming workshop report
Michael Sperber and Anil Madhavapeddy
Journal paper in Journal of Functional Programming (vol 23 issue 6), Nov 2013
URL   BibTeX   DOI  

[»] Unikernels: Rise of the Virtual Library Operating System
Anil Madhavapeddy and Dave Scott
Journal paper in ACM Queue (vol 11 issue 11), Nov 2013
URL   BibTeX   DOI   Video  

[»] The OCaml Platform v0.1
Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire, David Sheets, Phillipe Wang, Leo White and Jeremy Yallop
In the 2nd ACM OCaml Users and Developers Workshop, Sep 2013
PDF   BibTeX  

[»] Ocamlot: Online OCaml Testing
David Sheets, Anil Madhavapeddy, Amir Chaudhry and Thomas Gazagnaire
In the 3rd ACM OCaml Users and Developers Workshop, Sep 2013
PDF   URL   BibTeX   Slides  

[»] Lost in the Edge: Finding Your Way with DNSSEC Signposts
Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Anil Madhavapeddy, Amir Chaudhry and Jon Crowcroft
In 3rd USENIX Workshop on Free and Open Communications on the Internet (FOCI 13), Aug 2013
PDF   URL   BibTeX  

[»] Unikernels: library operating systems for the cloud
Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, Dave Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand and Jon Crowcroft
In proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, Mar 2013
PDF   URL   BibTeX   DOI   Video  

[»] Perceived risks of personal data sharing
Anya Skatova, Jaspreet Johal, Robert Houghton, Richard Mortier, Neelam Bhandari, Tom Lodge, Christian Wagner, James Goulding, Jon Crowcroft and Anil Madhavapeddy
Journal paper in Digital Economy: Open Digital, Feb 2013
PDF   BibTeX  

[»] Evolving TCP: how hard can it be?
Zubair Nabi, Toby Moncaster, Anil Madhavapeddy, Steven Hand and Jon Crowcroft
In proceedings of the 2012 ACM conference on CoNEXT student workshop, Dec 2012
PDF   URL   BibTeX   DOI  

[»] Signposts: end-to-end networking in a world of middleboxes
Amir Chaudhry, Anil Madhavapeddy, Charalampos Rotsos, Richard Mortier, Andrius Aucinas, Jon Crowcroft, Sebastian Probst Eide, Steven Hand, Andrew W. Moore and Narseo Vallina-Rodriguez
Journal paper in ACM SIGCOMM Computer Communication Review (vol 42 issue 4), Sep 2012
URL   BibTeX   DOI  

[»] Exploring Compartmentalisation Hypotheses with SOAAP
Khilan Gudka, Robert M Watson, Steven Hand, Ben Laurie and Anil Madhavapeddy
In 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops, Sep 2012
PDF   URL   BibTeX   DOI  

[»] Programming the Xen cloud using OCaml
Dave Scott, Richard Sharp and Anil Madhavapeddy
In the 1st ACM OCaml Users and Developers Workshop, Sep 2012
PDF   BibTeX   Video  

[»] Cost, Performance & Flexibility in OpenFlow: Pick three
Charalampos Rotsos, Richard Mortier, Anil Madhavapeddy, Balraj Singh and Andrew W. Moore
In 2012 IEEE International Conference on Communications (ICC), Jun 2012
PDF   URL   BibTeX   DOI  

[»] Confidential carbon commuting: exploring a privacy-sensitive architecture for incentivising 'greener' commuting
Chris Elsmore, Anil Madhavapeddy, Ian Leslie and Amir Chaudhry
In proceedings of the First Workshop on Measurement, Privacy, and Mobility, Apr 2012
PDF   URL   BibTeX   DOI  

[»] The case for reconfigurable I/O channels
Steven Smith, Anil Madhavapeddy, Christopher Smowton, Malte Schwarzkopf, Richard Mortier, Robert M Watson and Steven Hand
In rESoLVE workshop at ASPLOS, Mar 2012
PDF   BibTeX  

[»] CUFP 2011 Workshop Report
Anil Madhavapeddy, Yaron Minsky and Marius Eriksen
Journal paper in Journal of Functional Programming (vol 22 issue 1), Jan 2012
URL   BibTeX   DOI  

[»] Dynamics for ML using Meta-Programming
Thomas Gazagnaire and Anil Madhavapeddy
Journal paper in Electronic Notes in Theoretical Computer Science (vol 264 issue 5), Jul 2011
PDF   URL   BibTeX   DOI  

[»] Dynamics for ML using Meta-Programming
Thomas Gazagnaire and Anil Madhavapeddy
Journal paper in Electronic Notes in Theoretical Computer Science (vol 264 issue 5), Jul 2011
PDF   URL   BibTeX   DOI  

[»] Reconfigurable Data Processing for Clouds
Anil Madhavapeddy and Satnam Singh
In 2011 IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, May 2011
PDF   URL   BibTeX   DOI  

[»] CIEL: A universal execution engine for distributed data-flow computing
Derek G Murray, Malte Schwarzkopf, Christopher Smowton, Steven Smith, Anil Madhavapeddy and Steven Hand
In 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11), Mar 2011
PDF   URL   BibTeX  

[»] Unclouded vision
Jon Crowcroft, Anil Madhavapeddy, Malte Schwarzkopf, Theodore Hong and Richard Mortier
In proceedings of the 12th International Conference on Distributed Computing and Networking, Jan 2011
PDF   BibTeX  

[»] The personal container, or your life in bits
Richard Mortier, Chris Greenhalgh, Derek McAuley, Alexa Spence, Anil Madhavapeddy, Jon Crowcroft and Steven Hand
Journal paper in Digital Futures (vol 10), Oct 2010
PDF   URL   BibTeX  

[»] Using functional programming within an industrial product group: perspectives and perceptions
Dave Scott, Richard Sharp, Thomas Gazagnaire and Anil Madhavapeddy
In proceedings of the 15th ACM SIGPLAN international conference on Functional programming, Sep 2010
PDF   URL   BibTeX   DOI   Video  

[»] Turning Down the LAMP: Software Specialisation for the Cloud
Anil Madhavapeddy, Richard Mortier, Ripduman Sohan, Thomas Gazagnaire, Steven Hand, Tim Deegan, Derek McAuley and Jon Crowcroft
In 2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 10), Jun 2010
PDF   URL   BibTeX   Video  

[»] Creating High-Performance, Statically Type-Safe Network Applications
Anil Madhavapeddy
Book published by LAP LAMBERT Academic Publishing, May 2010
PDF   URL   BibTeX  

[»] Multiscale not multicore: efficient heterogeneous cloud computing
Anil Madhavapeddy, Richard Mortier, Jon Crowcroft and Steven Hand
In proceedings of the 2010 ACM-BCS Visions of Computer Science Conference, Apr 2010
PDF   URL   BibTeX  

[»] Privacy Butler: A Personal Privacy Rights Manager for Online Presence
Diane Cook and Michael Weber
In 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops), Mar 2010
PDF   URL   BibTeX   DOI  

[»] Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Anil Madhavapeddy
In formal Methods and Software Engineering, Nov 2009
PDF   URL   BibTeX   DOI  

[»] Enhancing web browsing security on public terminals using mobile composition
Richard Sharp, Anil Madhavapeddy, Roy Want and Trevor Pering
In proceedings of the 6th international conference on Mobile systems, applications, and services, Jun 2008
PDF   URL   BibTeX   DOI  

[»] Melange: creating a "functional" internet
Anil Madhavapeddy, Alex Ho, Tim Deegan, Dave Scott and Ripduman Sohan
Journal paper in ACM SIGOPS Operating Systems Review (vol 41 issue 3), Jun 2007
PDF   URL   BibTeX   DOI  

[»] Interacting with mobile services: an evaluation of camera-phones and visual tags
Eleanor Toye Scott, Richard Sharp, Anil Madhavapeddy, Dave Scott, Eben Upton and Alan Blackwell
Journal paper in Personal and Ubiquitous Computing (vol 11 issue 2), Feb 2007
PDF   URL   BibTeX   DOI  

[»] Fighting Crimeware: An Architecture for Split-Trust Web Applications
Richard Sharp, Anil Madhavapeddy, Roy Want, Trevor Pering and John Light
Technical report (IRC-TR-06-053) at Intel Research, Apr 2006
PDF   BibTeX  

[»] A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping
Anil Madhavapeddy and Alastair Tse
In ubiComp 2005: Ubiquitous Computing, Sep 2005
PDF   BibTeX   DOI  

[»] SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, Dave Scott and Richard Sharp
In model Checking Software, Aug 2005
PDF   URL   BibTeX   DOI  

[»] Ubiquitious Computing needs to catch up with Ubiquitous Media
Richard Sharp and Kasim Rehman
Journal paper in IEEE Pervasive Computing (vol 4 issue 3), Jul 2005
PDF   URL   BibTeX   DOI  

[»] Audio networking: the forgotten wireless technology
Anil Madhavapeddy, Richard Sharp, Dave Scott and Alastair Tse
Journal paper in IEEE Pervasive Computing (vol 4 issue 3), Jul 2005
PDF   URL   BibTeX   DOI  

[»] On the challenge of delivering high-performance, dependable, model-checked internet servers
Anil Madhavapeddy and Dave Scott
In proceedings of the First Conference on Hot Topics in System Dependability, Jun 2005
PDF   URL   BibTeX  

[»] Using smart phones to access site-specific services
Eleanor Toye Scott, Richard Sharp, Anil Madhavapeddy and Dave Scott
Journal paper in IEEE Pervasive Computing (vol 4 issue 2), Jan 2005
PDF   URL   BibTeX   DOI  

[»] The Broadband Phone Network: Experiences with Context-Aware Telephony
Ripduman Sohan, Alastair Tse and Anil Madhavapeddy
Technical report (CUED/F INFENG/TR.533) at Cambridge University Engineering Department, Jan 2005
PDF   URL   BibTeX  

[»] Using visual tags to bypass Bluetooth device discovery
Dave Scott, Richard Sharp, Anil Madhavapeddy and Eben Upton
Journal paper in SIGMOBILE Mob. Comput. Commun. Rev. (vol 9 issue 1), Jan 2005
URL   BibTeX   DOI  

[»] Using camera-phones to interact with context-aware mobile services
Eleanor Toye Scott, Anil Madhavapeddy, Richard Sharp, Dave Scott, Alan Blackwell and Eben Upton
Technical report (UCAM-CL-TR-609) at University of Cambridge, Computer Laboratory, Dec 2004
PDF   URL   BibTeX   DOI  

[»] Using Camera-Phones to Enhance Human-Computer Interaction
Anil Madhavapeddy, Dave Scott, Richard Sharp and Eben Upton
In adjunct Proceedings of Ubicomp 2004 (Demo Track), Sep 2004
PDF   URL   BibTeX  

[»] Feedback, latency, accuracy: exploring tradeoffs in location-aware gaming
Kieran Mansley, Dave Scott, Alastair Tse and Anil Madhavapeddy
In proceedings of ACM SIGCOMM 2004 workshops on NetGames '04 Network and system support for games - SIGCOMM 2004 Workshops, Aug 2004
PDF   URL   BibTeX   DOI  

[»] Context-Aware Computing with Sound
Anil Madhavapeddy, Dave Scott and Richard Sharp
In ubiComp 2003: Ubiquitous Computing, Oct 2003
PDF   URL   BibTeX   DOI  

[»] The Case for Abstracting Security Policies
Anil Madhavapeddy, Alan Mycroft, Dave Scott and Richard Sharp
In proceedings of the International Conference on Security and Management, SAM 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1, Jun 2003
PDF   URL   BibTeX  

[»] Xen 2002
Paul R. Barham, Boris Dragovic, Keir A. Fraser, Steven Hand, Tim Harris, Alex Ho, Evangelos Kotsovinos, Anil Madhavapeddy, Rolf Neugebauer, Ian Pratt and Andrew Warfield
Technical report (UCAM-CL-TR-553) at University of Cambridge, Computer Laboratory, Jan 2003
URL   BibTeX   DOI  

[»] Tiscali: How to build a Content Delivery Network
Anil Madhavapeddy and Alberto Crivelli
Technical report (TR-3152) at NetApp, Apr 2002
PDF   URL   BibTeX  

[»] Application of a Ditsributed Web Site Acceleration: Mars Polar Lander
Niall Doherty and Anil Madhavapeddy
Technical report (TR-3071) at NetApp, Jul 2000
PDF   URL   BibTeX