Refereed Publications

• Combining Static Model Checking with Dynamic Enforcement using the Statecall Policy Language
  Anil Madhavapeddy
  To appear in International Conference on Formal Engineering Methods, December 2009   [pdf]
   
• Enhancing Web Browsing Security on Public Terminals Using Mobile Composition
  Richard Sharp, Anil Madhavapeddy, Roy Want and Trevor Pering
  In Mobisys 2008, June 2008   [ACM]
   
• Melange: Towards a "functional" Internet
  Anil Madhavapeddy, Alex Ho, Tim Deegan, David Scott and Ripduman Sohan
  In EuroSys 2007, March 2007   [pdf] [bib]
  Received Best Student Paper award.
   
• Creating High-Performance, Statically Type-Safe Network Applications
  Anil Madhavapeddy
  PhD Thesis, submitted April 2007, accepted June 2007   [simplex] [duplex]
  Nominated for the BCS Distinguished Dissertation Award.
   
• Interacting with Mobile Services: An Evaluation of Camera-Phones and Visual Tags
  Eleanor Toye, Richard Sharp, Anil Madhavapeddy, David Scott, Eben Upton and Alan Blackwell
  In Personal and Ubiquitous Computing Journal, February 2006   [pdf] [doi]
   
• Audio Networking: The Forgotten Wireless Technology
  Anil Madhavapeddy, Richard Sharp, David Scott and Alastair Tse
  In IEEE Pervasive Computing (volume 4, number 3), July-September 2005   [bib] [pdf] [ieeexplore]
   
• A Study of Bluetooth Propagation using Accurate Indoor Location Mapping
  Anil Madhavapeddy and Alastair Tse
  In the proceedings of The Seventh International Conference on Ubiquitous Computing, September 2005   [bib] [pdf] [springerlink]
   
• SPLAT: A Tool for Model-Checking and Dynamically Enforcing Abstractions
  Anil Madhavapeddy, David Scott and Richard Sharp
  In the proceedings of the 12th International SPIN Workshop on Model Checking of Software (SPIN 2005), August 2005   [bib] [pdf] [springerlink]
   
• On the Challenge of Delivering High-Performance, Dependable, Model-Checked Internet Servers
  Anil Madhavapeddy and David Scott
  In the proceedings of the First Workshop on Hot Topics in System Dependability (HotDep), June 2005   [pdf]
   
• Ubiquitous Computing needs to catch up with Ubiquitous Media
  Anil Madhavapeddy and Nick Ludlam
  In the proceedings of the Pervasive 2005 UbiApps workshop, May 2005   [pdf] [bibtex]
   
• Using Smart Phones to Access Site-Specific Services
  Eleanor Toye, Richard Sharp, Anil Madhavapeddy and David Scott
  In the IEEE Pervasive Computing Special Issue on the Smart Phone, April-June 2005   [pdf]
   
• Using Visual Tags to Bypass Bluetooth Device Discovery
  David Scott, Richard Sharp, Anil Madhavapeddy, Eben Upton
  In the ACM Mobile Computing and Communications Review (MC²R) Special Section on Discovery and Interaction of Mobile Services, January 2005   [pdf] [bibtex] [ACM Portal]
   
• Using Camera-Phones to Enhance Human-Computer Interaction
  Anil Madhavapeddy, David Scott, Richard Sharp, Eben Upton
  In the adjunct proceedings of The Sixth International Conference on Ubiquitous Computing, September 2004   [pdf] [bibtex]
   
• Feedback, Latency, Accuracy: Exploring Tradeoffs in Location-Aware Gaming
  Kieran Mansley, David Scott, Alastair Tse, Anil Madhavapeddy
  In the proceedings of The ACM SIGCOMM 2004 Workshop on NetGames, August 2004   [pdf] [bibtex] [ACM Portal]
   
• Context-Aware Computing with Sound
  Anil Madhavapeddy, David Scott, Richard Sharp
  In the proceedings of The Fifth International Conference on Ubiquitous Computing, October 2003   [pdf] [bibtex]
   
• The Case for Abstracting Security Policies
  Anil Madhavapeddy, Alan Mycroft, David Scott, Richard Sharp
  In the proceedings of The 2003 International Conference on Security and Management, June 2003   [pdf] [bibtex]
   

Tech Reports

• Fighting Crimeware: An Architecture for Split-Trust Web Applications
  Richard Sharp, Anil Madhavapeddy, Roy Want, Trevor Pering and John Light
  Intel Research IRC-TR-06-053, April 2006   [pdf]
   
• The Broadband Phone Network: Experiences with Context-Aware Telephony
  Ripduman Sohan, Alastair Tse and Anil Madhavapeddy
  CUED/F - INFENG/TR.533, March 2005   [pdf]
   
• Using Camera-phones to Interact with Context-aware Mobile Services
  Eleanor Toye, Anil Madhavapeddy, Richard Sharp, David Scott, Alan Blackwell and Eben Upton
  UCAM-CL-TR-609, December 2004   [pdf]
   
• Xen 2002
  P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, E. Kotsovinos, A. Madhavapeddy, R. Neugebauer, I. Pratt and A. Warfield
  UCAM-CL-TR-553, January 2003   [pdf]
   
• Tiscali: How to Build a Content Delivery Network
  Anil Madhavapeddy, Alberto Crivelli
  Network Appliance Technical Report 3152, April 2002 [pdf]
   
• Application of Distributed Web Site Acceleration: Mars Polar Lander
  Niall Doherty, Anil Madhavapeddy
  Network Appliance Technical Report 3071, July 2000   [pdf]
   
• Virtual Meccano: Simulating the Classic Toy
  Anil Madhavapeddy
  Final Year Project, Imperial College London, June 1999   [pdf]
   

Press Coverage

My work occasionally gets mentioned in the press; I maintain an (incomplete) list here to keep an eye on what is being said!