EDBT 2026 Demo / reviewers in the wild / expert
Marvin Theimer
dblp:56/724
· DBLP profile ↗
23ranked-venue papers
7as first author
0since 2021 · last 2004
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 11 · 2 first-authorSystems, architecture and hardware · 9 · 5 first-authorComputer networks · 3Human-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
11 papers |
Distributed systems · 73% Storage systems · 13% Interconnection networks and networks-on-chip · 8% | |
| Computer networks
2 papers |
Internet architecture and protocols · 99% Transport protocols and congestion control · 1% | |
| Software engineering, system software, and programming languages
3 papers |
Concurrent programming · 71% Programming languages and type systems · 21% Operating systems · 8% | |
| Network and information security
2 papers |
Systems and software security · 92% Privacy and data protection · 8% | |
| Human-computer interaction and pervasive computing
2 papers |
Collaborative and social computing · 64% Ubiquitous computing and smart environments · 36% |
Topics — the 22 heaviest of 28, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Distributed systems
fault tolerance |
0.1 | 4 | 2004 | FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment · OSDI 2002 Feasibility of a serverless distributed file system deployed on an existing set of desktop PCs · SIGMETRICS 2000 Dealing with Server Corruption in Weakly Consistent, Replicated Data Systems · MobiCom 1997 |
Distributed systems
replication |
0.1 | 4 | 2000 | Feasibility of a serverless distributed file system deployed on an existing set of desktop PCs · SIGMETRICS 2000 Flexible Update Propagation for Weakly Consistent Replication · SOSP 1997 Dealing with Server Corruption in Weakly Consistent, Replicated Data Systems · MobiCom 1997 |
Internet architecture and protocols › multicast
application-layer multicast |
0.0 | 1 | 2003 | An Evaluation of Scalable Application-Level Multicast Built Using Peer-To-Peer Overlays · INFOCOM 2003 |
Internet architecture and protocols
peer-to-peer networks |
0.0 | 1 | 2003 | An Evaluation of Scalable Application-Level Multicast Built Using Peer-To-Peer Overlays · INFOCOM 2003 |
Interconnection networks and networks-on-chip › routing algorithms
multicast routing |
0.0 | 1 | 2003 | An Evaluation of Scalable Application-Level Multicast Built Using Peer-To-Peer Overlays · INFOCOM 2003 |
Distributed systems › peer-to-peer systems
overlay networks |
0.0 | 1 | 2003 | An Evaluation of Scalable Application-Level Multicast Built Using Peer-To-Peer Overlays · INFOCOM 2003 |
Systems and software security
untrusted platform |
0.0 | 1 | 2002 | FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment · OSDI 2002 |
Storage systems
distributed storage |
0.0 | 1 | 2002 | FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment · OSDI 2002 |
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 |
Storage systems › file systems
distributed file system |
0.0 | 1 | 2000 | Feasibility of a serverless distributed file system deployed on an existing set of desktop PCs · SIGMETRICS 2000 |
Distributed systems › replication
update propagation |
0.0 | 1 | 1997 | Flexible Update Propagation for Weakly Consistent Replication · SOSP 1997 |
Ubiquitous computing and smart environments
location-based services |
0.0 | 1 | 1993 | Providing Location Information in a Ubiquitous Computing Environment · SOSP 1993 |
Distributed systems
distributed scheduling |
0.0 | 1 | 1989 | Finding Idle Machines in a Workstation-Based Distributed System · IEEE Trans. Software Eng. 1989 |
Cloud and datacenter computing
resource management |
0.0 | 1 | 1989 | Finding Idle Machines in a Workstation-Based Distributed System · IEEE Trans. Software Eng. 1989 |
Electronic design automation › high-level synthesis
scheduling |
0.0 | 1 | 1989 | Finding Idle Machines in a Workstation-Based Distributed System · IEEE Trans. Software Eng. 1989 |
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 |
Distributed systems › distributed system evaluation
distributed application performance |
0.0 | 1 | 1985 | An Empirical Study of Distributed Application Performance · IEEE Trans. Software Eng. 1985 |
Distributed systems
remote execution |
0.0 | 1 | 1985 | Preemptable Remote Execution Facilities for the V-System · SOSP 1985 |
Privacy and data protection
location privacy |
0.0 | 1 | 1993 | Providing Location Information in a Ubiquitous Computing Environment · SOSP 1993 |
Operating systems
interactive systems |
0.0 | 1 | 1993 | Using Threads in Interactive Systems: A Case Study · SOSP 1993 |
Operating systems › resource management › process management
process migration |
0.0 | 1 | 1985 | Preemptable Remote Execution Facilities for the V-System · SOSP 1985 |
Methods — techniques the papers use, named apart from their topics
simulation · 0.1federation · 0.1weak consistency · 0.0application semantics-based conflict resolution · 0.0measurement study · 0.0availability analysis · 0.0user agents · 0.0location query service · 0.0trust models · 0.0replication · 0.0thread statistics analysis · 0.0code reading · 0.0multicast communication · 0.0batching · 0.0pipelining · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2004 | FUSE: Lightweight Guaranteed Distributed Failure Notification
John Dunagan, Nicholas J. A. Harvey, Michael B. Jones, Dejan Kostic, Marvin Theimer, Alec Wolman |
OSDI | 5 |
| 2003 | An Evaluation of Scalable Application-Level Multicast Built Using Peer-To-Peer OverlaysabstractStructured peer-to-peer overlay networks such as CAN, Chord, Pastry, and Tapestry can be used to implement Internet-scale application-level multicast. There are two general approaches to accomplishing this: tree building and flooding. This paper evaluates these two approaches using two different types of structured overlay: 1) overlays which use a form of generalized hypercube routing, e.g., Chord, Pastry and Tapestry, and 2) overlays which use a numerical distance metric to route through a Cartesian hyperspace, e.g., CAN. Pastry and CAN are chosen as the representatives of each type of overlay. To the best of our knowledge, this paper reports the first head-to-head comparison of CAN-style versus Pastry-style overlay networks, using multicast communication workloads running on an identical simulation infrastructure. The two approaches to multicast are independent of overlay network choice, and we provide a comparison of flooding versus tree-based multicast on both overlays. Results show that the tree-based approach consistently outperforms the flooding approach. Finally, for tree-based multicast, we show that Pastry provides better performance than CAN. Miguel Castro 0001, Michael B. Jones, Anne-Marie Kermarrec, Antony I. T. Rowstron, Marvin Theimer, Helen J. Wang, Alec Wolman |
INFOCOM | 5 |
| 2002 | Reclaiming Space from Duplicate Files in a Serverless Distributed File SystemabstractThe Farsite distributed file system provides availability by replicating each file onto multiple desktop computers. Since this replication consumes significant storage space, it is important to reclaim used space where possible. Measurement of over 500 desktop file systems shows that nearly half of all consumed space is occupied by duplicate files. We present a mechanism to reclaim space from this incidental duplication to make it available for controlled file replication. Our mechanism includes: (1) convergent encryption, which enables duplicate files to be coalesced into the space of a single file, even if the files are encrypted with different users' keys; and (2) SALAD, a Self-Arranging Lossy Associative Database for aggregating file content and location information in a decentralized, scalable, fault-tolerant manner. Large-scale simulation experiments show that the duplicate-file coalescing system is scalable, highly effective, and fault-tolerant. John R. Douceur, Atul Adya, William J. Bolosky, Dan Simon, Marvin Theimer |
ICDCS | 5 |
| 2002 | Overlook: Scalable Name Service on an Overlay NetworkabstractThis paper indicates that a scalable fault-tolerant name service can be provided utilizing an overlay network and that such a name service can scale along a number of dimensions: it can be sized to support a large number of clients, it can allow large numbers of concurrent lookups on the same name or sets of names, and it can provide name lookup latencies measured in seconds. Furthermore, it can enable updates to be made pervasively visible in times typically measured in seconds for update rates of up to hundreds per second. We explain how many of these scaling properties for the name service are obtained by reusing some of the same mechanisms that allowed the underlying overlay network to scale. Finally, we observe that the overlay network is sensitive to bandwidth and CPU limitations. Marvin Theimer, Michael B. Jones |
ICDCS | 1 |
| 2002 | FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment
Atul Adya, William J. Bolosky, Miguel Castro 0001, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, Roger Wattenhofer |
OSDI | 9 |
| 2002 | Cooperative Task Management Without Manual Stack Management
Atul Adya, Jon Howell, Marvin Theimer, William J. Bolosky, John R. Douceur |
USENIX ATC, General Track | 3 |
| 2001 | Herald: Achieving a Global Event Notification ServiceabstractThis paper presents the design philosophy and initial design decisions of Herald: a highly scalable global event notification system that is being designed and built at Microsoft Research. Herald is a distributed system designed to transparently scale in all respects, including numbers of subscribers and publishers, numbers of event subscription points, and event delivery rates. Event delivery can occur within a single machine, within a local network or Intranet, and throughout the Internet. Herald tries to take into account the lessons learned from the successes of both the Internet and the Web. Most notably, Herald is being designed, like the Internet, to operate correctly in the presence of numerous broken and disconnected components. The Herald service will be constructed as a set of protocols governing a federation of machines within cooperating but mutually suspicious domains of trust. Like the Web, Herald will try to avoid, to the extent possible, the maintenance of globally consistent state and will make failures part of the client-visible interface. Luis-Felipe Cabrera, Michael B. Jones, Marvin Theimer |
HotOS | 3 |
| 2000 | Feasibility of a serverless distributed file system deployed on an existing set of desktop PCsabstractWe consider an architecture for a serverless distributed file system that does not assume mutual trust among the client computers. The system provides security, availability, and reliability by distributing multiple encrypted replicas of each file among the client machines. To assess the feasibility of deploying this system on an existing desktop infrastructure, we measure and analyze a large set of client machines in a commercial environment. In particular, we measure and report results on disk usage and content; file activity; and machine uptimes, lifetimes, and loads. We conclude that the measured desktop infrastructure would passably support our proposed system, providing availability on the order of one unfilled file request per user per thousand days. William J. Bolosky, John R. Douceur, David Ely, Marvin Theimer |
SIGMETRICS | 4 |
| 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 | 2 |
| 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 | 2 |
| 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 | 4 |
| 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 | 6 |
| 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 | 2 |
| 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 | 2 |
| 1993 | Using Threads in Interactive Systems: A Case StudyabstractWe describe the results of examining two large research and commercial systems for the ways that they use threads. We used three methods: analysis of macroscopic thread statistics, analysis the microsecond spacing between thread events, and reading the implementation code. We identify ten different paradigms of thread usage: defer work, general pumps, slack processes, sleepers, one-shots, deadlock avoidance, rejuvenation, serializers, encapsulated fork and exploiting parallelism. While some, like defer work, are well known, others have not been previously described. Most of the paradigms cause few problems for programmers and help keep the resulting system implementation understandable. The slack process paradigm is both particularly effective in improving system performance and particularly difficult to make work well. We observe that thread priorities are difficult to use and may interfere in unanticipated ways with other thread primitives and paradigms. Finally, we glean from the practices in this code several possible future research topics in the area of thread abstractions. Carl H. Hauser, Marvin Theimer, Brent B. Welch, Mark D. Weiser |
SOSP | 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 | 2 |
| 1992 | Delegation Through Access Control ProgramsabstractAccess control programs (ACPs), which permit controlled delegation of access rights to untrusted computer hosts, are discussed. Existing delegation protocols for distributed systems provide a way for a client to transfer its access rights to an intermediary, but provide only limited facilities for restricting the rights granted to the intermediary. ACPs are small programs that encode arbitrary specifications of delegated access rights. They are created and digitally signed by a client and passed to a server through an intermediary. When processing a request from the intermediary, the server executes the access control program to decide whether or not to grant the intermediary's request. Examples of ACPs used in a variety of applications are presented. A sample implementation of ACPs in the Andrew File System is described.> Marvin Theimer, David A. Nichols, Douglas B. Terry |
ICDCS | 1 |
| 1991 | Heterogeneous process migration by recompilationabstractAn approach to heterogeneous process migration that involves building a machine-independent migration program that specifies the current code and data state of the process to be migrated is described. When this program is compiled and executed on the target machine, it will first reconstruct the process's state and then continue the normal execution of the now-migrated process. The principal advantage of this approach is that it hides the details of code and data translation in the compilers for each machine.> Marvin Theimer, Barry Hayes |
ICDCS | 1 |
| 1989 | QuickSilver Support for Access to Data in Large, Geographically Dispersed SystemsabstractQuickSilver is a distributed operating system that is intended for large, geographically dispersed systems. The authors describe how clients and data servers interact in the QuickSilver system to access distributed data in the context of large, geographically dispersed systems in which there are many different kinds of data servers. An interface is defined that provides a uniform way for clients and servers to exchange information about each other and to access data objects. The interface attempts to minimize the number of messages needed for this. It supports efficient interaction with higher-level client and server semantics by appropriate use of high-level abstractions and operations, and by selectively exposing the parameters governing communication connections to higher layers of the software.> Marvin Theimer, Luis-Felipe Cabrera, James C. Wyllie |
ICDCS | 1 |
| 1989 | Finding Idle Machines in a Workstation-Based Distributed SystemabstractThe authors describe the design and performance of scheduling facilities for finding idle hosts in a workstation-based distributed system. They focus on the tradeoffs between centralized and decentralized architectures with respect to scalability, fault tolerance, and simplicity of design, as well as several implementation issues of interest when multicast communication is used. They conclude that the principal tradeoff between the two approaches is that a centralized architecture can be scaled to a significantly greater degree and can more easily monitor global system statistics whereas a decentralized architecture is simpler to implement.> Marvin Theimer, Keith A. Lantz |
IEEE Trans. Software Eng. | 1 |
| 1988 | Finding Idle Machines in a Workstation-based Distributed SystemabstractThe design and performance of scheduling facilities for finding idle hosts in a workstation-based distributed system are described. The focus is on the tradeoffs between centralized and decentralized architectures with respect to scalability, fault tolerance, and simplicity of design, as well as several implementation issues of interest when using multicast communication. It is concluded that the principal tradeoff between the two approaches is that a centralized architecture can be scaled to a significantly greater degree and can more easily monitor global system statistics, while a decentralized architecture is simpler to implement.> Marvin Theimer, Keith A. Lantz |
ICDCS | 1 |
| 1985 | Preemptable Remote Execution Facilities for the V-SystemabstractArticle Free Access Share on Preemptable remote execution facilities for the V-system Authors: Marvin M. Theimer Computer Science Department, Stanford University, Stanford, CA Computer Science Department, Stanford University, Stanford, CAView Profile , Keith A. Lantz Computer Science Department, Stanford University, Stanford, CA Computer Science Department, Stanford University, Stanford, CAView Profile , David R. Cheriton Computer Science Department, Stanford University, Stanford, CA Computer Science Department, Stanford University, Stanford, CAView Profile Authors Info & Claims SOSP '85: Proceedings of the tenth ACM symposium on Operating systems principlesDecember 1985 Pages 2–12https://doi.org/10.1145/323647.323629Published:01 December 1985Publication History 227citation736DownloadsMetricsTotal Citations227Total Downloads736Last 12 Months33Last 6 weeks1 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 Marvin Theimer, Keith A. Lantz, David R. Cheriton |
SOSP | 1 |
| 1985 | An Empirical Study of Distributed Application PerformanceabstractA major reason for the rarity of distributed applications, despite the proliferation of networks, is the sensitivity of their performance to various aspects of the network environment. We demonstrate that distributed applications can run faster than local ones, using common hardware. We also show that the primary factors affecting performance are, in approximate order of importance: speed of the user's workstation, speed of the remote host (if any), and the high-level (above the transport level) protocols used. In particular, the use of batching, pipelining, and structure in high-level protocols reduces the degradation often experienced between different bandwidth networks. Less significant, but still noticeable improvements result from proper design and implementation of the underlying transport protocols. Ultimately, with proper application of these techniques, network bandwidth is rendered virtually insignificant. Keith A. Lantz, William I. Nowicki, Marvin Theimer |
IEEE Trans. Software Eng. | 3 |