Anil Madhavapeddy (alumni)
User ID:avsm2
Position:PhD Approved
E-mail:anil@recoil.org
Homepage:http://anil.recoil.org
Office:FW01
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 - Show all

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

2. 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

3. 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

4. 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

5. 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

6. 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

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

8. 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

9. 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

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