VLDB 2026 Research / reviewers in the wild / expert
Mike Spreitzer
dblp:94/538 · also Michael Spreitzer
· DBLP profile ↗
26ranked-venue papers
7as first author
0since 2021 · last 2013
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Computer networks · 8 · 3 first-authorSystems, architecture and hardware · 6 · 3 first-authorSoftware engineering, systems software and programming languages · 5 · 1 first-authorDatabases, data management, data science and information retrieval · 3Security and privacy · 2Applied, interdisciplinary, general and emerging computing · 2Human-computer interaction and ubiquitous computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
10 papers |
Cloud and datacenter computing · 59% Distributed systems · 26% Performance modeling and evaluation · 8% | |
| Network and information security
3 papers |
Authentication and access control · 95% Privacy and data protection · 5% |
Topics — the 25 heaviest of 30, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Cloud and datacenter computing
cluster resource management and scheduling |
0.1 | 2 | 2007 | A scalable application placement controller for enterprise data centers · WWW 2007 Dynamic placement for clustered web applications · WWW 2006 |
Cloud and datacenter computing › cluster resource management and scheduling
cluster resource management |
0.1 | 2 | 2005 | Performance management for cluster-based web services · IEEE J. Sel. Areas Commun. 2005 An analytical model for multi-tier internet services and its applications · SIGMETRICS 2005 |
Cloud and datacenter computing
resource allocation |
0.1 | 2 | 2007 | Performance management for cluster-based web services · IEEE J. Sel. Areas Commun. 2005 A scalable application placement controller for enterprise data centers · WWW 2007 |
Cloud and datacenter computing › cluster resource management and scheduling › resource scheduling
application placement |
0.1 | 1 | 2007 | A scalable application placement controller for enterprise data centers · WWW 2007 |
Cloud and datacenter computing › resource provisioning
dynamic resource provisioning |
0.1 | 1 | 2007 | A scalable application placement controller for enterprise data centers · WWW 2007 |
Cloud and datacenter computing › resource allocation
dynamic resource allocation |
0.1 | 1 | 2006 | Dynamic placement for clustered web applications · WWW 2006 |
Parallel and multicore computing
load balancing |
0.1 | 1 | 2005 | Performance management for cluster-based web services · IEEE J. Sel. Areas Commun. 2005 |
Distributed systems
performance management |
0.1 | 1 | 2005 | Performance management for cluster-based web services · IEEE J. Sel. Areas Commun. 2005 |
Performance modeling and evaluation
queueing models |
0.1 | 1 | 2005 | An analytical model for multi-tier internet services and its applications · SIGMETRICS 2005 |
Distributed systems
replication |
0.0 | 3 | 1997 | Flexible Update Propagation for Weakly Consistent Replication · SOSP 1997 Dealing with Server Corruption in Weakly Consistent, Replicated Data Systems · MobiCom 1997 Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System · SOSP 1995 |
Distributed systems › replication › replica consistency
weakly consistent replication |
0.0 | 2 | 1997 | Flexible Update Propagation for Weakly Consistent Replication · SOSP 1997 Dealing with Server Corruption in Weakly Consistent, Replicated Data Systems · MobiCom 1997 |
Authentication and access control › authorization
delegated authorization |
0.0 | 1 | 2000 | A Security Infrastructure for Distributed Java Applications · S&P 2000 |
Authentication and access control › access control
distributed access control |
0.0 | 1 | 2000 | A Security Infrastructure for Distributed Java Applications · S&P 2000 |
Distributed systems
fault tolerance |
0.0 | 1 | 1997 | Dealing with Server Corruption in Weakly Consistent, Replicated Data Systems · MobiCom 1997 |
Distributed systems › replication
update propagation |
0.0 | 1 | 1997 | Flexible Update Propagation for Weakly Consistent Replication · SOSP 1997 |
Performance modeling and evaluation
performance prediction |
0.0 | 1 | 2005 | An analytical model for multi-tier internet services and its applications · SIGMETRICS 2005 |
Distributed systems › service-oriented architecture
web services |
0.0 | 1 | 2005 | Performance management for cluster-based web services · IEEE J. Sel. Areas Commun. 2005 |
Ubiquitous computing and smart environments
location-based services |
0.0 | 1 | 1993 | Providing Location Information in a Ubiquitous Computing Environment · SOSP 1993 |
Compilers and program optimization
compiler optimization |
0.0 | 1 | 1993 | First-Class Data-Type Representations in SchemeXerox · PLDI 1993 |
Distributed systems › distributed system security
distributed application security |
0.0 | 1 | 2000 | A Security Infrastructure for Distributed Java Applications · S&P 2000 |
Electronic design automation › hardware verification and test
hardware verification |
0.0 | 1 | 1990 | Comparing Structurally Different Views of a VLSI Design · DAC 1990 |
Embedded and real-time systems
mobile computing |
0.0 | 1 | 1997 | Dealing with Server Corruption in Weakly Consistent, Replicated Data Systems · MobiCom 1997 |
Storage systems › distributed storage
replicated storage system |
0.0 | 1 | 1995 | Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System · SOSP 1995 |
Privacy and data protection
location privacy |
0.0 | 1 | 1993 | Providing Location Information in a Ubiquitous Computing Environment · SOSP 1993 |
Integrated circuit design
VLSI design |
0.0 | 1 | 1990 | Comparing Structurally Different Views of a VLSI Design · DAC 1990 |
Methods — techniques the papers use, named apart from their topics
approximation algorithm · 0.1placement algorithm · 0.1load balancing · 0.1queueing network model · 0.1queueing model · 0.1lyapunov optimization · 0.1feedback control · 0.1attribute certificates · 0.1SSL · 0.1SDSI/SPKI · 0.1user agents · 0.0location query service · 0.0weak consistency · 0.0application semantics-based conflict resolution · 0.0procedural abstraction · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2013 | Ripple: Improved Architecture and Programming Model for Bulk Synchronous Parallel Style of AnalyticsabstractWe present Ripple, an architecture and a programming model for a broad set of data analytics. Ripple builds on the ideas of iterated MapReduce and adds two innovations. First it has a richer programming model, including more ideas from the Bulk Synchronous Parallel (BSP) model of computation and others. By doing so, Ripple creates a flexible and higher-level platform that is easier for both application programmers and platform implementors. Second, Ripple is based on a limited interface for key/value storage making it portable among many different key/value store implementations. By building on these two ideas Ripple improves the scope, performance, and openness of the data analytics platform. We evaluate Ripple using three representative, and non-trivial, data analysis scenarios requiring iterative computation. Using these examples, we show how Ripple achieves clear performance advantages over iterated MapReduce. Mike Spreitzer, Malgorzata Steinder, Ian Whalley |
ICDCS | 1 |
| 2013 | Enabling Distributed Key-Value Stores with Low Latency-Impact Snapshot SupportabstractCurrent distributed key-value stores generally provide greater scalability at the expense of weaker consistency and isolation. However, additional isolation support is becoming increasingly important in the environments in which these stores are deployed, where different kinds of applications with different needs are executed, from transactional workloads to data analytics. While fully-fledged ACID support may not be feasible, it is still possible to take advantage of the design of these data stores, which often include the notion of multiversion concurrency control, to enable them with additional features at a much lower performance cost and maintaining its scalability and availability. In this paper we explore the effects that additional consistency guarantees and isolation capabilities may have on a state of the art key-value store: Apache Cassandra. We propose and implement a new multiversioned isolation level that provides stronger guarantees without compromising Cassandra's scalability and availability. As shown in our experiments, our version of Cassandra allows Snapshot Isolation-like transactions, preserving the overall performance and scalability of the system. Jorda Polo, Yolanda Becerra 0001, David Carrera 0001, Jordi Torres, Eduard Ayguadé, Mike Spreitzer, Malgorzata Steinder |
NCA | 6 |
| 2012 | A Gossip Protocol for Dynamic Resource Management in Large Cloud EnvironmentsabstractWe address the problem of dynamic resource management for a large-scale cloud environment. Our contribution includes outlining a distributed middleware architecture and presenting one of its key elements: a gossip protocol that (1) ensures fair resource allocation among sites/applications, (2) dynamically adapts the allocation to load changes and (3) scales both in the number of physical machines and sites/applications. We formalize the resource allocation problem as that of dynamically maximizing the cloud utility under CPU and memory constraints. We first present a protocol that computes an optimal solution without considering memory constraints and prove correctness and convergence properties. Then, we extend that protocol to provide an efficient heuristic solution for the complete problem, which includes minimizing the cost for adapting an allocation. The protocol continuously executes on dynamic, local input and does not require global synchronization, as other proposed gossip protocols do. We evaluate the heuristic protocol through simulation and find its performance to be well-aligned with our design goals. Fetahi Zebenigus Wuhib, Rolf Stadler, Mike Spreitzer |
IEEE Trans. Netw. Serv. Manag. | 3 |
| 2011 | Towards efficient resource management for data-analytic platformsabstractWe present architectural and experimental work exploring the role of intermediate data handling in the performance of MapReduce workloads. Our findings show that: (a) certain jobs are more sensitive to disk cache size than others and (b) this sensitivity is mostly due to the local file I/O for the intermediate data. We also show that a small amount of memory is sufficient for the normal needs of map workers to hold their intermediate data until it is read. We introduce Hannibal, which exploits the modesty of that need in a simple and direct way — holding the intermediate data in application-level memory for precisely the needed time — to improve performance when the disk cache is stressed. We have implemented Hannibal and show through experimental evaluation that Hannibal can make MapReduce jobs run faster than Hadoop when little memory is available to the disk cache. This provides better performance insulation between concurrent jobs. Claris Castillo, Mike Spreitzer, Malgorzata Steinder |
Integrated Network Management | 2 |
| 2010 | Gossip-based resource management for cloud environmentsabstractWe address the problem of resource management for a large-scale cloud environment that hosts sites. Our contribution centers around outlining a distributed middleware architecture and presenting one of its key elements, a gossip protocol that meets our design goals: fairness of resource allocation with respect to hosted sites, efficient adaptation to load changes and scalability in terms of both the number of machines and sites. We formalize the resource allocation problem as that of dynamically maximizing the cloud utility under CPU and memory constraints. While we can show that an optimal solution without considering memory constraints is straightforward (but not useful), we provide an efficient heuristic solution for the complete problem instead. We evaluate the protocol through simulation and find its performance to be well-aligned with our design goals. Fetahi Zebenigus Wuhib, Rolf Stadler, Mike Spreitzer |
CNSM | 3 |
| 2010 | Decentralized allocation of CPU computation power for web applications
Shrutivandana Sharma, Asser N. Tantawi, Mike Spreitzer, Malgorzata Steinder |
Perform. Evaluation | 3 |
| 2008 | CPU demand for web serving: Measurement analysis and dynamic estimation
Giovanni Pacifici, Wolfgang Segmuller, Mike Spreitzer, Asser N. Tantawi |
Perform. Evaluation | 3 |
| 2007 | A Service Middleware that Scales in System Size and ApplicationsabstractWe present a peer-to-peer service management middleware that dynamically allocates system resources to a large set of applications. The system achieves scalability in number of nodes (1000s or more) through three decentralized mechanisms that run on different time scales. First, overlay construction interconnects all nodes in the system for exchanging control and state information. Second, request routing directs requests to nodes that offer the corresponding applications. Third, application placement controls the set of offered applications on each node, in order to achieve efficient operation and service differentiation. The design supports a large number of applications (100s or more) through selective propagation of configuration information needed for request routing. The control load on a node increases linearly with the number of applications in the system. Service differentiation is achieved through assigning a utility to each application, which influences the application placement process. Simulation studies show that the system operates efficiently for different sizes, adapts fast to load changes and failures and effectively differentiates between different applications under overload. Constantin Adam, Rolf Stadler, Chunqiang Tang, Malgorzata Steinder, Mike Spreitzer |
Integrated Network Management | 5 |
| 2007 | A scalable application placement controller for enterprise data centersabstractGiven a set of machines and a set of Web applications with dynamically changing demands, an online application placement controller decides how many instances to run for each application and where to put them, while observing all kinds of resource constraints. This NP hard problem has real usage in commercial middleware products. Existing approximation algorithms for this problem can scale to at most a few hundred machines, and may produce placement solutions that are far from optimal when system resources are tight. In this paper, we propose a new algorithm that can produce within 30 seconds high-quality solutions for hard placement problems with thousands of machines and thousands of applications. This scalability is crucial for dynamic resource provisioning in large-scale enterprise data centers. Our algorithm allows multiple applications to share a single machine, and strives to maximize the total satisfied application demand, to minimize the number of application starts and stops, and to balance the load across machines. Compared with existing state-of-the-art algorithms, for systems with 100 machines or less, our algorithm is up to 134 times faster, reduces application starts and stops by up to 97%, and produces placement solutions that satisfy up to 25% more application demands. Our algorithm has been implemented and adopted in a leading commercial middleware product for managing the performance of Web applications. Chunqiang Tang, Malgorzata Steinder, Mike Spreitzer, Giovanni Pacifici |
WWW | 3 |
| 2007 | Analytic modeling of multitier Internet applicationsabstractSince many Internet applications employ a multitier architecture, in this article, we focus on the problem of analytically modeling the behavior of such applications. We present a model based on a network of queues where the queues represent different tiers of the application. Our model is sufficiently general to capture (i) the behavior of tiers with significantly different performance characteristics and (ii) application idiosyncrasies such as session-based workloads, tier replication, load imbalances across replicas, and caching at intermediate tiers. We validate our model using real multitier applications running on a Linux server cluster. Our experiments indicate that our model faithfully captures the performance of these applications for a number of workloads and configurations. Furthermore, our model successfully handles a comprehensive range of resource utilization---from 0 to near saturation for the CPU---for two separate tiers. For a variety of scenarios, including those with caching at one of the application tiers, the average response times predicted by our model were within the 95% confidence intervals of the observed average response times. Our experiments also demonstrate the utility of the model for dynamic capacity provisioning, performance prediction, bottleneck identification, and session policing. In one scenario, where the request arrival rate increased from less than 1500 to nearly 4200 requests/minute, a dynamic provisioning technique employing our model was able to maintain response time targets by increasing the capacity of two of the tiers by factors of 2 and 3.5, respectively. Bhuvan Urgaonkar, Giovanni Pacifici, Prashant J. Shenoy, Mike Spreitzer, Asser N. Tantawi |
ACM Trans. Web | 4 |
| 2006 | Dynamic placement for clustered web applicationsabstractWe introduce and evaluate a middleware clustering technology capable of allocating resources to web applications through dynamic application instance placement. We define application instance placement as the problem of placing application instances on a given set of server machines to adjust the amount of resources available to applications in response to varying resource demands of application clusters. The objective is to maximize the amount of demand that may be satisfied using a configured placement. To limit the disturbance to the system caused by starting and stopping application instances, the placement algorithm attempts to minimize the number of placement changes. It also strives to keep resource utilization balanced across all server machines. Two types of resources are managed, one load-dependent and one load-independent. When putting the chosen placement in effect our controller schedules placement changes in a manner that limits the disruption to the system. Alexei A. Karve, Tracy Kimbrel, Giovanni Pacifici, Mike Spreitzer, Malgorzata Steinder, Maxim Sviridenko, Asser N. Tantawi |
WWW | 4 |
| 2005 | An analytical model for multi-tier internet services and its applicationsabstractSince many Internet applications employ a multi-tier architecture, in this paper, we focus on the problem of analytically modeling the behavior of such applications. We present a model based on a network of queues, where the queues represent different tiers of the application. Our model is sufficiently general to capture (i) the behavior of tiers with significantly different performance characteristics and (ii) application idiosyncrasies such as session-based workloads, concurrency limits, and caching at intermediate tiers. We validate our model using real multi-tier applications running on a Linux server cluster. Our experiments indicate that our model faithfully captures the performance of these applications for a number of workloads and configurations. For a variety of scenarios, including those with caching at one of the application tiers, the average response times predicted by our model were within the 95% confidence intervals of the observed average response times. Our experiments also demonstrate the utility of the model for dynamic capacity provisioning, performance prediction, bottleneck identification, and session policing. In one scenario, where the request arrival rate increased from less than 1500 to nearly 4200 requests/min, a dynamic provisioning technique employing our model was able to maintain response time targets by increasing the capacity of two of the application tiers by factors of 2 and 3.5, respectively. Bhuvan Urgaonkar, Giovanni Pacifici, Prashant J. Shenoy, Mike Spreitzer, Asser N. Tantawi |
SIGMETRICS | 4 |
| 2005 | Performance management for cluster-based web servicesabstractWe present an architecture and prototype implementation of a performance management system for cluster-based web services. The system supports multiple classes of web services traffic and allocates server resources dynamically so to maximize the expected value of a given cluster utility function in the face of fluctuating loads. The cluster utility is a function of the performance delivered to the various classes, and this leads to differentiated service. In this paper, we will use the average response time as the performance metric. The management system is transparent: it requires no changes in the client code, the server code, or the network interface between them. The system performs three performance management tasks: resource allocation, load balancing, and server overload protection. We use two nested levels of management. The inner level centers on queuing and scheduling of request messages. The outer level is a feedback control loop that periodically adjusts the scheduling weights and server allocations of the inner level. The feedback controller is based on an approximate first-principles model of the system, with parameters derived from continuous monitoring. We focus on SOAP-based web services. We report experimental results that show the dynamic behavior of the system. Giovanni Pacifici, Mike Spreitzer, Asser N. Tantawi, Alaa Youssef |
IEEE J. Sel. Areas Commun. | 2 |
| 2003 | Performance Management for Cluster Based Web Services
Ronald M. Levy, Jay Nagarajarao, Giovanni Pacifici, Mike Spreitzer, Asser N. Tantawi, Alaa Youssef |
Integrated Network Management | 4 |
| 2001 | Cryptology As a Network Service
Tom Berson, Drew Dean, Matthew K. Franklin, Diana K. Smetters, Mike Spreitzer |
NDSS | 5 |
| 2000 | A Security Infrastructure for Distributed Java ApplicationsabstractWe describe the design and implementation of a security infrastructure for a distributed Java application. This work is inspired by SDSI/SPKI, but has a few twists of its own. We define a logic for access control, such that access is granted iff a proof that it should be granted is derivable in the logic. Our logic supports linked local name spaces, privilege delegation across administrative domains, and attribute certificates. We use SSL to establish secure channels through which principals can "speak", and have implemented our access control system in Java. While we implemented our infrastructure for the Placeless Documents System, our design is applicable to other applications as well. We discuss general issues related to building secure, distributed Java applications that we discovered. Dirk Balfanz, Drew Dean, Mike Spreitzer |
S&P | 3 |
| 2000 | HTTP 'Next Generation'
Mike Spreitzer, Bill Janssen |
Comput. Networks | 1 |
| 1999 | Dealing with server corruption in weakly consistent replicated data systems
Mike Spreitzer, Marvin Theimer, Karin Petersen, Alan J. Demers, Douglas B. Terry |
Wirel. Networks | 1 |
| 1997 | Dealing with Server Corruption in Weakly Consistent, Replicated Data SystemsabstractProviding high availability and the ability to share data despite the weak connectivity of mobile computing raises the problem of trusting replicated data servers that may be corrupt. This is because servers must be run on portable computers, and these machines are less secure and thus less trustworthy than those traditionally used to run servers. We describe the kinds of problems one must be prepared to deal with, noting that even users of secured, non-portable computers are at risk if servers trust all authorized peers. We show that high availability through data replication on portable computers need not be mutually exclusive with various levels of data security one might want. We give three solutions to this trust problem, achieving progressively higher levels of security with progressively higher costs. 1. Introduction Several existing systems, such as Ficus [1], Lotus Notes [2], and Bayou [3, 4], address the weak connectivity characteristics of mobile computing environments by a... Mike Spreitzer, Marvin Theimer, Karin Petersen, Alan J. Demers, Douglas B. Terry |
MobiCom | 1 |
| 1997 | Flexible Update Propagation for Weakly Consistent ReplicationabstractBayou's anti-entropy protocol for update propagation between weakly consistent storage replicas is based on pair-wise communication, the propagation of write operations, and a set of ordering and closure.constraints on the propagation of the writes.The simplicity of the design makes the protocol very flexible, thereby providing support for diverse networking environments and usage scenarios.It accommodates a variety of policies for when and where to propagate updates.It operates over diverse network topologies, including low-bandwidth links.It is incremental.It enables replica convergence, and updates can be propagated using floppy disks and similar transportable media.Moreover, the protocol handles replica creation and retirement in a light-weight manner.Each of these features is enabled by only one or two of the protocol's design choices, and can be independently incorporated in other systems.This paper presents the anti-entropy protocol in detail, describing the design decisions and resulting features. Karin Petersen, Mike Spreitzer, Douglas B. Terry, Marvin Theimer, Alan J. Demers |
SOSP | 2 |
| 1997 | Designing and Implementing Asynchronous Collaborative Applications with BayouabstractAsynchronous collaboration is characterized by the degree of independence collaborators have from one another.In particular, collaborators working asynchronously typically have little need for frequent and finegrained coordination with one another, and typically do not need to be notified immediately of changes made by others to any shared artifacts they are working with.We present an infrastructure, called Bayou, designed to support the construction of asynchronous collaborative applications.Bayou provides a replicated, weakly-consistent, data storage engine to application writers.The system supports a number of mechanisms for leveraging application semantics; using these mechanisms, applications can implement complex conflict detection and resolution policies, and choose the level of consistency and stability they will see in their databases.We present a number of applications we have built or are building using the Bayou system, and examine how these take advantage of the Bayou architecture. W. Keith Edwards, Elizabeth D. Mynatt, Karin Petersen, Mike Spreitzer, Douglas B. Terry, Marvin Theimer |
ACM Symposium on User Interface Software and Technology | 4 |
| 1995 | Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage Systemabstractarticle Free Access Share on Managing update conflicts in Bayou, a weakly connected replicated storage system Authors: D. B. Terry Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, California Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, CaliforniaView Profile , M. M. Theimer Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, California Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, CaliforniaView Profile , Karin Petersen Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, California Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, CaliforniaView Profile , A. J. Demers Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, California Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, CaliforniaView Profile , M. J. Spreitzer Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, California Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, CaliforniaView Profile , C. H. Hauser Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, California Computer Science Laboratory, Xerox Palo Alto Research Center, Palo Alto, CaliforniaView Profile Authors Info & Claims ACM SIGOPS Operating Systems ReviewVolume 29Issue 5Dec. 3, 1995 pp 172–182https://doi.org/10.1145/224057.224070Online:03 December 1995Publication History 630citation5,089DownloadsMetricsTotal Citations630Total Downloads5,089Last 12 Months311Last 6 weeks48 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF Douglas B. Terry, Marvin Theimer, Karin Petersen, Alan J. Demers, Mike Spreitzer, Carl H. Hauser |
SOSP | 5 |
| 1994 | Architectural Considerations for Scalable, Secure, Mobile Computing with Location informationabstractTo take full advantage of the promise of mobile/ubiquitous computing requires the availability and use of location information about the various physical objects and persons in an environment. At the same time, indiscriminant use of location information for people can result in an invasion of privacy and provides the potential for abuse by third parties. In this article we describe a suite of useful location-based applications and discuss architectural considerations for supporting them in a scalable, secure fashion.> Mike Spreitzer, Marvin Theimer |
ICDCS | 1 |
| 1993 | First-Class Data-Type Representations in SchemeXeroxabstractIn most programming language implementations, the compiler has detailed knowledge of the representations of and operations on primitive data typed and data-type constructors. In SCHEMEXEROX, this knowledge is almost entirely external to the compiler, in ordinary, procedural user code. The primitive representations and operations are embodied in first-class “representation types” that are constructed and implemented in an abstract and high-level fashion. Despite this abstractness, a few generally-useful optimizing transformations are sufficient to allow the SCHEMEXEROX compiler to generate efficient code for the primitive operations, essentially as good as could be achieved using more contorted, traditional techniques. Norman Adams, Pavel Curtis, Mike Spreitzer |
PLDI | 3 |
| 1993 | Providing Location Information in a Ubiquitous Computing EnvironmentabstractTo take full advantage of the promise of ubiquitous computing requires the use of location information, yet people should have control over who may know their whereabouts. We present an architecture that achieves these goals for an interesting set of applications. Personal information is managed by User Agents, and a partially decentralized Location Query Service is used to facilitate location-based operations. This architecture gives users primary control over their location information, at the cost of making more expensive certain queries, such as those wherein location and identity closely interact. We also discuss various extensions to our architecture that offer users additional trade-offs between privacy and efficiency. Finally, we report some measurements of the unextended system in operation, focusing on how well the system is actually able to track people. Our system uses two kinds of location information, which turn out to provide partial and complementary coverage. Mike Spreitzer, Marvin Theimer |
SOSP | 1 |
| 1990 | Comparing Structurally Different Views of a VLSI DesignabstractIn large design projects, it is desirable to compare alternate views that use different hierarchies. However, existing techniques either require essentially identical hierarchies (which is sometimes an unacceptable restriction) or must flatten to remove the differences (which may be very costly). A new technique, Informed Comparison, has neither shortcoming. First, hierarchy transformations are applied to reconcile the structures of the views; then a hierarchical base comparison finishes the task. The reconciliation is guided by a small amount of additional design information: the intended relationship between the hierarchies of the views. Some qualities of Informed Comparison depend on the reconciliation repertoire and the base comparison. Two examples are studied. Mike Spreitzer |
DAC | 1 |