EDBT 2026 Demo / reviewers in the wild / expert
Karin Petersen
dblp:81/1825
· DBLP profile ↗
9ranked-venue papers
2as first author
0since 2021 · last 2000
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 1 first-authorSystems, architecture and hardware · 2 · 1 first-authorComputer networks · 2Human-computer interaction and ubiquitous computing · 2Databases, data management, data science and information retrieval · 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
6 papers |
Distributed systems · 91% Memory systems · 4% Embedded and real-time systems · 3% | |
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 100% | |
| Human-computer interaction and pervasive computing
1 paper |
Collaborative and social computing · 100% | |
| Databases, data mining, and information retrieval
1 paper |
Data models and query languages · 100% |
Topics — the 7 heaviest of 11, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
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 |
Programming languages and type systems
programming models |
0.0 | 1 | 2000 | A programming model for active documents · UIST 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 |
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 |
Methods — techniques the papers use, named apart from their topics
property-based programming · 0.1active properties · 0.1weak consistency · 0.0application semantics-based conflict resolution · 0.0executable code properties · 0.0trust models · 0.0replication · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2000 | A programming model for active documentsabstractTraditionally, designers organize software system as active end-points (e.g.applications) linked by passive infrastructures (e.g.networks).Increasingly, however, networks and infrastructures are becoming active components that contribute directly to application behavior.Amongst the various problems that this presents is the question of how such active infrastructures should be programmed.We have been developing an active document management system called Placeless Documents.Its programming model is organized in terms of properties that actively contribute to the functionality and behavior of the documents to which they are attached.This paper discusses active properties and their use as a programming model for active infrastructures.We have found that active properties enable the creation of persistent, autonomous active entities in document systems, independent of specific repositories and applications, but present challenges for managing problems of composition. Paul Dourish, W. Keith Edwards, Jon Howell, Anthony LaMarca, John Lamping, Karin Petersen, Michael Salisbury, Douglas B. Terry, James D. Thornton |
UIST | 6 |
| 2000 | Extending document management systems with user-specific active propertiesabstractDocument properties are a compelling infrastructure on which to develop document management applications. A property-based approach avoids many of the problems of traditional heierarchical storage mechanisms, reflects document organizations meaningful to user tasks, provides a means to integrate the perspectives of multiple individuals and groups, and does this all within a uniform interaction framework. Document properties can reflect not only categorizations of documents and document use, but also expressions of desired system activity, such as sharing criteria, replication management, and versioning. Augmenting property-based document management systems with active properties that carry executable code enables the provision of document-based services on a property infrastructure. The combination of document properties as a uniform mechanism for document management, and active properties as a way of delivering document services, represents a new paradigm for document management infrastructures. The Placeless Documents system is an experimental prototype developed to explore this new paradigm. It is based on the seamless integration of user-specific, active properties. We present the fundamental design approach, explore the challenges and opportunities it presents, and show our architectures deals with them. Paul Dourish, W. Keith Edwards, Anthony LaMarca, John Lamping, Karin Petersen, Michael Salisbury, Douglas B. Terry, James D. Thornton |
ACM Trans. Inf. Syst. | 5 |
| 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 | 3 |
| 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 | 3 |
| 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 | 1 |
| 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 | 3 |
| 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 | 3 |
| 1995 | Multiprocessor Cache Coherence Based on Virtual Memory Support
Karin Petersen, Kai Li 0001 |
J. Parallel Distributed Comput. | 1 |
| 1991 | Evaluation of Memory System ExtensionsabstractArticle Evaluation of memory system extensions Share on Authors: Kai Li Department of Computer Science, Princeton University Department of Computer Science, Princeton UniversityView Profile , Karin Petersen Department of Computer Science, Princeton University Department of Computer Science, Princeton UniversityView Profile Authors Info & Claims ISCA '91: Proceedings of the 18th annual international symposium on Computer architectureApril 1991 Pages 84–93https://doi.org/10.1145/115952.115962Published:01 April 1991 10citation391DownloadsMetricsTotal Citations10Total Downloads391Last 12 Months3Last 6 weeks0 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 SiteGet Access Kai Li 0001, Karin Petersen |
ISCA | 2 |