Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Mike Spreitzer

dblp:94/538 · also Michael Spreitzer · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Cloud and datacenter computing
cluster resource management and scheduling
0.122007
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.122005
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.122007
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.112007
A scalable application placement controller for enterprise data centers · WWW 2007
Cloud and datacenter computing › resource provisioning
dynamic resource provisioning
0.112007
A scalable application placement controller for enterprise data centers · WWW 2007
Cloud and datacenter computing › resource allocation
dynamic resource allocation
0.112006
Dynamic placement for clustered web applications · WWW 2006
Parallel and multicore computing
load balancing
0.112005
Performance management for cluster-based web services · IEEE J. Sel. Areas Commun. 2005
Distributed systems
performance management
0.112005
Performance management for cluster-based web services · IEEE J. Sel. Areas Commun. 2005
Performance modeling and evaluation
queueing models
0.112005
An analytical model for multi-tier internet services and its applications · SIGMETRICS 2005
Distributed systems
replication
0.031997
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.021997
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.012000
A Security Infrastructure for Distributed Java Applications · S&P 2000
Authentication and access control › access control
distributed access control
0.012000
A Security Infrastructure for Distributed Java Applications · S&P 2000
Distributed systems
fault tolerance
0.011997
Dealing with Server Corruption in Weakly Consistent, Replicated Data Systems · MobiCom 1997
Distributed systems › replication
update propagation
0.011997
Flexible Update Propagation for Weakly Consistent Replication · SOSP 1997
Performance modeling and evaluation
performance prediction
0.012005
An analytical model for multi-tier internet services and its applications · SIGMETRICS 2005
Distributed systems › service-oriented architecture
web services
0.012005
Performance management for cluster-based web services · IEEE J. Sel. Areas Commun. 2005
Ubiquitous computing and smart environments
location-based services
0.011993
Providing Location Information in a Ubiquitous Computing Environment · SOSP 1993
Compilers and program optimization
compiler optimization
0.011993
First-Class Data-Type Representations in SchemeXerox · PLDI 1993
Distributed systems › distributed system security
distributed application security
0.012000
A Security Infrastructure for Distributed Java Applications · S&P 2000
Electronic design automation › hardware verification and test
hardware verification
0.011990
Comparing Structurally Different Views of a VLSI Design · DAC 1990
Embedded and real-time systems
mobile computing
0.011997
Dealing with Server Corruption in Weakly Consistent, Replicated Data Systems · MobiCom 1997
Storage systems › distributed storage
replicated storage system
0.011995
Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System · SOSP 1995
Privacy and data protection
location privacy
0.011993
Providing Location Information in a Ubiquitous Computing Environment · SOSP 1993
Integrated circuit design
VLSI design
0.011990
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
YearPublicationVenuePosition
2013 Ripple: Improved Architecture and Programming Model for Bulk Synchronous Parallel Style of Analytics
abstract
We 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
ICDCS1
2013 Enabling Distributed Key-Value Stores with Low Latency-Impact Snapshot Support
abstract
Current 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
NCA6
2012 A Gossip Protocol for Dynamic Resource Management in Large Cloud Environments
abstract
We 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 platforms
abstract
We 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 Management2
2010 Gossip-based resource management for cloud environments
abstract
We 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
CNSM3
2010 Decentralized allocation of CPU computation power for web applications
Shrutivandana Sharma, Asser N. Tantawi, Mike Spreitzer, Malgorzata Steinder
Perform. Evaluation3
2008 CPU demand for web serving: Measurement analysis and dynamic estimation
Giovanni Pacifici, Wolfgang Segmuller, Mike Spreitzer, Asser N. Tantawi
Perform. Evaluation3
2007 A Service Middleware that Scales in System Size and Applications
abstract
We 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 Management5
2007 A scalable application placement controller for enterprise data centers
abstract
Given 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
WWW3
2007 Analytic modeling of multitier Internet applications
abstract
Since 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. Web4
2006 Dynamic placement for clustered web applications
abstract
We 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
WWW4
2005 An analytical model for multi-tier internet services and its applications
abstract
Since 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
SIGMETRICS4
2005 Performance management for cluster-based web services
abstract
We 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 Management4
2001 Cryptology As a Network Service
Tom Berson, Drew Dean, Matthew K. Franklin, Diana K. Smetters, Mike Spreitzer
NDSS5
2000 A Security Infrastructure for Distributed Java Applications
abstract
We 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&P3
2000 HTTP 'Next Generation'
Mike Spreitzer, Bill Janssen
Comput. Networks1
1999 Dealing with server corruption in weakly consistent replicated data systems
Mike Spreitzer, Marvin Theimer, Karin Petersen, Alan J. Demers, Douglas B. Terry
Wirel. Networks1
1997 Dealing with Server Corruption in Weakly Consistent, Replicated Data Systems
abstract
Providing 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
MobiCom1
1997 Flexible Update Propagation for Weakly Consistent Replication
abstract
Bayou'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
SOSP2
1997 Designing and Implementing Asynchronous Collaborative Applications with Bayou
abstract
Asynchronous 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 Technology4
1995 Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System
abstract
article 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
SOSP5
1994 Architectural Considerations for Scalable, Secure, Mobile Computing with Location information
abstract
To 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
ICDCS1
1993 First-Class Data-Type Representations in SchemeXerox
abstract
In 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
PLDI3
1993 Providing Location Information in a Ubiquitous Computing Environment
abstract
To 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
SOSP1
1990 Comparing Structurally Different Views of a VLSI Design
abstract
In 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
DAC1