David J. Scott

Publication Activity (10 Years)

Years Active: 2002-2019
Publications (10 Years): 2

Top Topics

Operating System

Top Venues

PLoS Comput. Biol.

Publications

Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, David J. Scott
Programming Unikernels in the Large via Functor Driven Development. CoRR (2019)
Mudassar Iqbal, Neil Doherty, Anna M. L. Page, Saara N. A. Qazi, Ishan Ajmera, Peter A. Lund, Theodore Kypraios, David J. Scott, Philip J. Hill, Dov J. Stekel
Reconstructing promoter activity from Lux bioluminescent reporters. PLoS Comput. Biol. 13 (9) (2017)
Anil Madhavapeddy, Thomas Leonard, Magnus Skjegstad, Thomas Gazagnaire, David Sheets, David J. Scott, Richard Mortier, Amir Chaudhry, Balraj Singh, Jon Ludlam, Jon Crowcroft, Ian M. Leslie
Jitsu: Just-In-Time Summoning of Unikernels. NSDI (2015)
Anil Madhavapeddy, David J. Scott
Unikernels: the rise of the virtual library operating system. Commun. ACM 57 (1) (2014)
Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David J. Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand, Jon Crowcroft
Unikernels: library operating systems for the cloud. ASPLOS (2013)
David J. Scott, Diethelm Würtz, Christine Dong, Thanh Tam Tran
Moments of the generalized hyperbolic distribution. Comput. Stat. 26 (3) (2011)
David J. Scott, Richard Sharp, Thomas Gazagnaire, Anil Madhavapeddy
Using functional programming within an industrial product group: perspectives and perceptions. ICFP (2010)
Richard E. Harris, Jon-Kar Zubieta, David J. Scott, Vitaly Napadow, Richard H. Gracely, Daniel J. Clauw
Traditional Chinese acupuncture and placebo (sham) acupuncture are differentiated by their effects on μ-opioid receptors (MORs). NeuroImage 47 (3) (2009)
Anil Madhavapeddy, Alex Ho, Tim Deegan, David J. Scott, Ripduman Sohan
Melange: creating a "functional" internet. EuroSys (2007)
Eleanor F. Toye, Richard Sharp, Anil Madhavapeddy, David J. Scott, Eben Upton, Alan F. Blackwell
Interacting with mobile services: an evaluation of camera-phones and visual tags. Pers. Ubiquitous Comput. 11 (2) (2007)
David J. Scott, Judith K. Haschenburger
Using the hyperbolic distribution to estimate the precision of size distribution percentiles of fluvial gravels. Comput. Geosci. 31 (10) (2005)
Anil Madhavapeddy, David J. Scott, Richard Sharp
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions. SPIN (2005)
David J. Scott, Richard Sharp, Anil Madhavapeddy, Eben Upton
Using visual tags to bypass Bluetooth device discovery. ACM SIGMOBILE Mob. Comput. Commun. Rev. 9 (1) (2005)
Anil Madhavapeddy, Richard Sharp, David J. Scott, Alastair Tse
Audio networking: the forgotten wireless technology. IEEE Pervasive Comput. 4 (3) (2005)
Eleanor F. Toye, Richard Sharp, Anil Madhavapeddy, David J. Scott
Using smart phones to access site-specific services. IEEE Pervasive Comput. 4 (2) (2005)
Kieran Mansley, David J. Scott, Alastair Tse, Anil Madhavapeddy
Feedback, latency, accuracy: exploring tradeoffs in location-aware gaming. NETGAMES (2004)
Kieran Mansley, Alastair R. Beresford, David J. Scott
The Carrot Approach: Encouraging Use of Location Systems. UbiComp (2004)
Anil Madhavapeddy, David J. Scott, Richard Sharp
Context-Aware Computing with Sound. UbiComp (2003)
David J. Scott, Richard Sharp
Specifying and Enforcing Application-Level Web Security Policies. IEEE Trans. Knowl. Data Eng. 15 (4) (2003)
David J. Scott, Alastair R. Beresford, Alan Mycroft
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. FASE (2003)
David J. Scott, Alastair R. Beresford, Alan Mycroft
Spatial Policies for Sentient Mobile Applications. POLICY (2003)
Anil Madhavapeddy, Alan Mycroft, David J. Scott, Richard Sharp
The Case for Abstracting Security Policies. Security and Management (2003)
David J. Scott, Richard Sharp
Abstracting application-level web security. WWW (2002)
David J. Scott, Richard Sharp
Developing Secure Web Applications. IEEE Internet Comput. 6 (6) (2002)