Richard Sharp

Overview

My research primarily involves the application of programming languages and compiler technology to complex systems-engineering problems. More generally, I have a wide range of research interests including:

language and compiler design
program analysis and optimisation
hardware synthesis
security
ubiquitous computing

Selected Publications

Programming Languages, Compilation and Hardware Synthesis

Madhavapeddy, A., Scott, D., and Sharp, R.
SPLAT: A Tool for Model-Checking and Dynamically Enforcing Abstractions
12th International SPIN Workshop on Model Checking of Software (SPIN 2005). LNCS vol. 3639, Springer-Verlag. 2005.
Ennals, R., Sharp, R., Mycroft, A.
Task Partitioning for Multi-Core Network Processors.
Proceedings of the 14th International Conference on Compiler Construction. Vol. 3443 of LNCS, Springer-Verlag.
[pdf]
Ennals, R., Sharp, R., Mycroft, A.
Linear Types for Packet Processing.
European Symposium on Programming (ESOP) 2004. In Programming Languages and Systems. Vol. 2986 of LNCS, Springer-Verlag.
[pdf]

Note: An extended version of this paper, with a full proof of the unique ownership property, was published as University of Cambridge Technical Report UCAM-CL-TR-578.
[pdf]
Sharp, R.
Higher-Level Hardware Synthesis
PhD Thesis. University of Cambridge 2000-2002.
[pdf] [ps.gz]

A revised version of my PhD thesis has been published as a monograph in Springer-Verlag's LNCS series: vol. 2963.
Sharp, R.
Functional design using Behavioural and structural components.
In Proceedings of the Fourth International Conference on Formal Methods in Computer-Aided Design (2002), LNCS, Springer-Verlag.
[pdf] [ps] [ps.gz]

Note: A slightly earlier version of this paper was presented at the Designing Correct Circuits (DCC) Workshop in Grenoble 2002.
[pdf] [ps] [ps.gz]
Mycroft, A., and Sharp, R.
Higher-level techniques for hardware description and synthesis.
Software Tools for Technology Transfer (STTT) vol. 4, issue 3. May 2003. Springer-Verlag.
[pdf] [ps] [ps.gz]
Sharp, R., and Mycroft, A.
A higher-level language for hardware synthesis.
In Proceedings of the 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (2001), vol. 2144 of LNCS, Springer-Verlag.
[pdf] [ps] [ps.gz]
Mycroft, A., and Sharp, R.
Notes for CHARME 2001 Invited Talk: Hardware synthesis using SAFL and application to processor design.
In Proceedings of the 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (2001), vol. 2144 of LNCS, Springer-Verlag.
[pdf] [ps] [ps.gz]
Sharp, R., and Mycroft, A.
Soft scheduling for hardware.
In Proceedings of the 8th International Static Analysis Symposium (2001), vol. 2126 of LNCS, Springer-Verlag.
[pdf] [ps] [ps.gz]
Mycroft, A., and Sharp, R.
Hardware/software co-design using functional languages.
In Proceedings of TACAS (2001), LNCS vol. 2031, Springer-Verlag.
[pdf] [ps] [ps.gz]
Mycroft, A., and Sharp, R.
The FLaSH project: Resource-aware synthesis of declarative specifications.
In Proceedings of the International Workshop on Logic Synthesis (2000).
[pdf] [ps] [ps.gz]
Sharp, R., and Mycroft, A.
The FLaSH compiler: Efficient circuits from functional specifications.
Tech. Rep. tr.2000.3, ATT Laboratories Cambridge, 2000.
[pdf] [ps] [ps.gz]
Mycroft, A., and Sharp, R.
A statically allocated parallel functional language.
In Proceedings of the International Conference on Automata, Languages and Programming (2000), vol. 1853 of LNCS, Springer-Verlag.
[pdf] [ps] [ps.gz]

Security

Sharp, R., Madhavapeddy, A., Want, R., Perring, T.
Enhancing Web Browsing on Public Terminals Using Mobile Composition
In Proceedings of ACM/USENIX Conference on Mobile Systems, Applications and Services (MobiSys) 2008

Note: An extended version of this paper was published as Intel Research Technical Report ITC-TR-06-5, under the title "Fighting Crimeware: An Architecture for Split-Trust Web Applications"
[pdf]
Sharp, R., Scott, J., Beresford A.
Secure Mobile Computing via Public Terminals
PERVASIVE2006: The 4th International Conference on Pervasive Computing (Springer-Verlag).
[pdf]
Madhavapeddy, A., Mycroft A., Scott D., Sharp R.
The case for abstracting security policies.
Proceedings of the Fifth International Conference on Security and Management, June 2003.
[pdf]
Scott, D., and Sharp, R.
Specifying and enforcing application-level web security policies.
Invited contribution to IEEE Transactions on Knowledge and Data Engineering (TKDE). July/August 2003.
[pdf]
Scott, D., and Sharp, R.
Developing secure web-applications.
IEEE Internet Computing. Vol. 6, no. 6. Nov/Dec 2002.
[pdf]
Scott, D., and Sharp, R.
Abstracting Application-Level Web Security.
In Proceedings of 11th International World Wide Web Conference (2002), ACM. (Winner of best paper award).
[pdf] [ps] [ps.gz]

Ubiquitous Computing

Toye, E., Madhavapeddy, A., Sharp R., Scott, D., Blackwell, A., Upton, E.
Interacting with Mobile Services: an Evaluation of Camera-phones and Visual Tags.
Journal of Personal and Ubiquitous Computing (Springer-Verlag). To appear.
[pdf]
Madhavapeddy, A., Scott, D., Sharp, R.
Audio Networking: The Forgotten Wireless Technology
IEEE Pervasive Computing. Vol. 4, No. 3. July-August 2005.
[pdf]
Sharp, R. and Rehman, K.
What Makes Good Application-Led Research?
IEEE Pervasive Computing. Vol. 4, No. 3. July-August 2005.
[pdf]
Borriello G., Offer T., Palistrant, C., Sharp, R.
WALRUS: Wireless Acoustic Location with Room-Level Resolution Using Ultrasound.
Proceedings of the 3rd ACM/USENIX International Conference on Mobile Systems, Applications, and Services (MobiSys). Usenix Association, 2005.
[pdf]
Toye, E., Sharp, R., Madhavapeddy, A., Scott, D.
Using Smart Phones to Access Site-Specific Services.
IEEE Pervasive Computing. Vol 4, No. 2. April-June 2005.
[pdf]
Sharp, R.
Deploy or Die: A Choice for Application-Led Ubiquitous Computing Research.
UbiApp Workshop 2005, co-located with Pervasive 2005.
[pdf]
Scott, D., Sharp, R., Madhavapeddy, A., Upton, E.
Using Visual Tags to Bypass Blue-tooth Device Discovery.
ACM Mobile Computing and Communications Review (MC2R), Vol. 9, No. 1. January 2005.
[pdf]
Madhavapeddy, A., Scott D., Sharp R.
Context-aware computing with sound.
The Fifth International Conference on Ubiquitous Computing (UbiComp 2003). Vol. 2864 of LNCS, Springer-Verlag.
[pdf]