Richard Sharp

David Scott, Richard Sharp, Thomas Gazagnaire, Anil Madhavapeddy: Using functional programming within an industrial product group: perspectives and perceptions. ICFP 2010: 87-92

Sasha Romanosky, Richard Sharp, Alessandro Acquisti: Data Breaches and Identity Theft: When is Mandatory Disclosure Optimal? WEIS 2010

Kishore Mosaliganti, Tony Pan, Randall Ridgway, Richard Sharp, Lee A. D. Cooper, Alex Gulacy, Ashish Sharma, M. Okan Irfanoglu, Raghu Machiraju, Tahsin M. Kurç, Alain de Bruin, Pamela Wenzel, Gustavo Leone, Joel H. Saltz, Kun Huang: An imaging workflow for characterizing phenotypical change in large histological mouse model datasets. Journal of Biomedical Informatics 41(6): 863-873 (2008)

Kishore Mosaliganti, Lee A. D. Cooper, Richard Sharp, Raghu Machiraju, Gustavo Leone, Kun Huang, Joel H. Saltz: Reconstruction of Cellular Biological Structures from Optical Microscopy Data. IEEE Trans. Vis. Comput. Graph. 14(4): 863-876 (2008)

Richard Sharp, Anil Madhavapeddy, Roy Want, Trevor Pering: Enhancing web browsing security on public terminals using mobile composition. MobiSys 2008: 94-105

Richard Sharp, Randall Ridgway, Kishore Mosaliganti, Pamela Wenzel, Tony Pan, Alain de Bruin, Raghu Machiraju, Kun Huang, Gustavo Leone, Joel H. Saltz: Volume Rendering Phenotype Differences in Mouse Placenta Microscopy Data. Computing in Science and Engineering 9(1): 38-47 (2007)

Eleanor F. Toye, Richard Sharp, Anil Madhavapeddy, David Scott, Eben Upton, Alan F. Blackwell: Interacting with mobile services: an evaluation of camera-phones and visual tags. Personal and Ubiquitous Computing 11(2): 97-106 (2007)

Kishore Mosaliganti, Firdaus Janoos, Richard Sharp, Randall Ridgway, Raghu Machiraju, Kun Huang, Pamela Wenzel, Alain de Bruin, Gustavo Leone, Joel H. Saltz: Detection and Visualization of Surface-Pockets to Enable Phenotyping Studies. IEEE Trans. Med. Imaging 26(9): 1283-1290 (2007)

Richard Sharp, Jacob Adams, Raghu Machiraju, Robert Lee, Robert Crane: Physics-Based Subsurface Visualization of Human Tissue. IEEE Trans. Vis. Comput. Graph. 13(3): 620-629 (2007)

Richard Sharp, Raghu Machiraju: Accelerating subsurface scattering using Cholesky factorization. The Visual Computer 22(8): 541-549 (2006)

Richard Sharp, James Scott, Alastair R. Beresford: Secure Mobile Computing Via Public Terminals. Pervasive 2006: 238-253

Eleanor F. Toye, Richard Sharp, Anil Madhavapeddy, David Scott: Using smart phones to access site-specific services. IEEE Pervasive Computing 4(2): 60-66 (2005)

Anil Madhavapeddy, Richard Sharp, David Scott, Alastair Tse: Audio networking: the forgotten wireless technology. IEEE Pervasive Computing 4(3): 55-60 (2005)

David Scott, Richard Sharp, Anil Madhavapeddy, Eben Upton: Using visual tags to bypass Bluetooth device discovery. Mobile Computing and Communications Review 9(1): 41-53 (2005)

Robert Ennals, Richard Sharp, Alan Mycroft: Task Partitioning for Multi-core Network Processors. CC 2005: 76-90

Gaetano Borriello, Alan L. Liu, Tony Offer, Christopher Palistrant, Richard Sharp: WALRUS: wireless acoustic location with room-level resolution using ultrasound. MobiSys 2005: 191-203

Anil Madhavapeddy, David Scott, Richard Sharp: SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions. SPIN 2005: 277-281

Richard Sharp, Raghu Machiraju: A Simplified Model for Inhomogeneous Subsurface Scattering. Volume Graphics 2005: 63-71

Richard Sharp, Atanas Rountev: Interactive Exploration of UML Sequence Diagrams. VISSOFT 2005: 8-13

Richard Sharp: Higher-Level Hardware Synthesis. Lecture Notes in Computer Science 2963, Springer 2004, isbn 3-540-21306-6

Robert Ennals, Richard Sharp, Alan Mycroft: Linear Types for Packet Processing. ESOP 2004: 204-218

Alan Mycroft, Richard Sharp: Higher-level techniques for hardware description and synthesis. STTT 4(3): 271-297 (2003)

David Scott, Richard Sharp: Specifying and Enforcing Application-Level Web Security Policies. IEEE Trans. Knowl. Data Eng. 15(4): 771-783 (2003)

Anil Madhavapeddy, Alan Mycroft, David Scott, Richard Sharp: The Case for Abstracting Security Policies. Security and Management 2003: 156-160

Anil Madhavapeddy, David Scott, Richard Sharp: Context-Aware Computing with Sound. Ubicomp 2003: 315-332

David Scott, Richard Sharp: Developing Secure Web Applications. IEEE Internet Computing 6(6): 38-45 (2002)

Richard Sharp: Functional Design Using Behavioural and Structural Components. FMCAD 2002: 324-341

David Scott, Richard Sharp: Abstracting application-level web security. WWW 2002: 396-407

Alan Mycroft, Richard Sharp: Hardware Synthesis Using SAFL and Application to Processor Design. CHARME 2001: 13-39

Richard Sharp, Alan Mycroft: A Higher-Level Language for Hardware Synthesis. CHARME 2001: 228-243

Richard Sharp, Alan Mycroft: Soft Scheduling for Hardware. SAS 2001: 57-72

Alan Mycroft, Richard Sharp: Hardware/Software Co-Design Using Functional Languages. TACAS 2001: 236-251

Alan Mycroft, Richard Sharp: A Statically Allocated Parallel Functional Language. ICALP 2000: 37-48