David J. Scott

According to our database1, David J. Scott authored at least 24 papers between 2002 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Programming Unikernels in the Large via Functor Driven Development.
CoRR, 2019

Reconstructing promoter activity from Lux bioluminescent reporters.
PLoS Computational Biology, 2017

Jitsu: Just-In-Time Summoning of Unikernels.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

Unikernels: the rise of the virtual library operating system.
Commun. ACM, 2014

Unikernels: library operating systems for the cloud.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

Using functional programming within an industrial product group: perspectives and perceptions.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Traditional Chinese acupuncture and placebo (sham) acupuncture are differentiated by their effects on μ-opioid receptors (MORs).
NeuroImage, 2009

Data Privacy.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Interacting with mobile services: an evaluation of camera-phones and visual tags.
Personal and Ubiquitous Computing, 2007

Melange: creating a "functional" internet.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Using visual tags to bypass Bluetooth device discovery.
Mobile Computing and Communications Review, 2005

Using smart phones to access site-specific services.
IEEE Pervasive Computing, 2005

Audio networking: the forgotten wireless technology.
IEEE Pervasive Computing, 2005

Using the hyperbolic distribution to estimate the precision of size distribution percentiles of fluvial gravels.
Computers & Geosciences, 2005

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions.
Proceedings of the Model Checking Software, 2005

Feedback, latency, accuracy: exploring tradeoffs in location-aware gaming.
Proceedings of the 3rd Workshop on Network and System Support for Games, 2004

The Carrot Approach: Encouraging Use of Location Systems.
Proceedings of the UbiComp 2004: Ubiquitous Computing: 6th International Conference, 2004

Specifying and Enforcing Application-Level Web Security Policies.
IEEE Trans. Knowl. Data Eng., 2003

Spatial Policies for Sentient Mobile Applications.
Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003

Context-Aware Computing with Sound.
Proceedings of the UbiComp 2003: Ubiquitous Computing, 2003

Spatial Security Policies for Mobile Agents in a Sentient Computing Environment.
Proceedings of the Fundamental Approaches to Software Engineering, 2003

The Case for Abstracting Security Policies.
Proceedings of the International Conference on Security and Management, 2003

Developing Secure Web Applications.
IEEE Internet Computing, 2002

Abstracting application-level web security.
Proceedings of the Eleventh International World Wide Web Conference, 2002