Daniel T. Schuh

Learn More
SHORE (Scalable Heterogeneous Object REpository) is a persistent object system under development at the University of Wisconsin. SHORE represents a merger of object-oriented database and file system technologies. In this paper we give the goals and motivation for SHORE, and describe how SHORE provides features of both technologies. We also describe some(More)
This paper presents an overview of EXODUS, an extensible database system project that is addressing data management problems posed by a variety of challenging new applications. The goal of the project is to facilitate the fast development of high-performance, application-specific database systems. EXODUS provides certain kernel facilities, including a(More)
This paper discusses the design and implementation of the E Persistent Virtual Machine (EPVM), an interpreter that provides support for persistent data access in the current version of the E programming language. Included are descriptions of both the EPVM interface and the major implementation tactics employed within EPVM. A novel pointer swizzling scheme(More)
Research/Work Much of my current research is focused on distributed Internet worm detection. Model Checking and its applications to software verification. I was the instructor for the course CSEP590 – Model Checking and Software Verification. The course webpage can be found at: http://www.cs.washington.edu/csep590 Programming languages – safe C and(More)
31 points that satisfy the selection condition lies in the sampled coverage. In this case, the sampled coverage of the result eld is empty and hence we cannot derive variable values based on values associated with points in the sampled coverage. It implies that both the interpolation function and the data from the input eld have to be carried around with(More)
  • 1