Anil Madhavapeddy (alumni)
User ID:avsm2
Position:PhD Approved
E-mail:anil@recoil.org
Homepage:http://anil.recoil.org
College:Robinson
Overview and Interests
I am a member of the CL Systems Research Group collaborating with members of the LCE on ubiquitous computing research.
Publications

1. Jatinder Singh, Jean Bacon, Jon Crowcroft, Anil Madhavapeddy, Thomas Pasquier, Kuan W. Hon, Christopher Millard, "Regional Clouds: Technical Considerations," Technical Report, UCAM-CL-TR-863, University of Cambridge, Computer Laboratory, 2014

2. Anil Madhavapeddy, Alastair Tse, "A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping," Ubicomp 2005, pp. 105-122, Springer-Verlag, Sep 2005

3. Anil Madhavapeddy, David Scott, Richard Sharp, "SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions," 12th International SPIN Workshop on Model Checking of Software, Springer-Verlag, Aug 2005

4. Anil Madhavapeddy, Richard Sharp, David Scott, Alastair Tse, "Audio Networking: The Forgotten Wireless Technology," IEEE Pervasive Computing, vol. 4, no. 3, pp. 55-61, IEEE Computer Society, Jul 2005

5. Anil Madhavapeddy, David Scott, "On the Challenge of Delivering High-Performance, Dependable, Model-Checked Internet Servers," 1st Workshop on Hot Topics In Systems Dependability (HotDep-05), Jun 2005

6. Eleanor Toye, Richard Sharp, Anil Madhavapeddy, David Scott, "Using Smart Phones to Access Site-Specific Services," IEEE Pervasive Computing Special Issue on The Smart Phone: A First Platform for Pervasive Computing, IEEE, Jun 2005

7. David Scott, Richard Sharp, Anil Madhavapeddy, Eben Upton, "Using Camera-Enabled Personal Devices to Access Bluetooth Mobile Services," To Appear. Mobile Computing and Communications Review, ACM, 2005

8. Anil Madhavapeddy, David Scott, Richard Sharp, Eben Upton, "Using Camera-Phones to Enhance Human-Computer Interaction," UbiComp (adjunct proceedings), Sep 2004

9. Kieran Mansley, David Scott, Alastair Tse, Anil Madhavapeddy, "Feedback, Latency, Accuracy: Exploring Tradeoffs in Location-Aware Gaming," NetGames 2004, in conjunction with ACM SIGCOMM 2004, Sheridan, Aug 2004

10. Anil Madhavapeddy, David Scott, Richard Sharp, "Context-Aware Computing with Sound," UbiComp 2003: Ubiquitous Computing, series LNCS, vol. 2864, pp. 315-332, Springer-Verlag, Oct 2003

11. Anil Madhavapeddy, Alan Mycroft, David Scott, Richard Sharp, "A Case for Abstract Security Policies," Fifth International Conference on Security and Management, Jun 2003