William E. Weihl

ACM SIGOPS Oper. Syst. Rev., 1999

1998

Dynamic Coscheduling on Workstation Clusters.

[BibT_eX]

[DOI]

Proceedings of the Job Scheduling Strategies for Parallel Processing, 1998

1997

Continuous Profiling: Where Have All the Cycles Gone?

[BibT_eX]

[DOI]

Jennifer-Ann M. Anderson

Lance M. Berc

Jeffrey Dean

Sanjay Ghemawat

Monika Rauch Henzinger

ACM Trans. Comput. Syst., 1997

<i>ProfileMe</i>: Hardware Support for Instruction-Level Profiling on Out-of-Order Processors.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth Annual IEEE/ACM International Symposium on Microarchitecture, 1997

1996

Algorithms for Search Trees on Message-Passing Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1996

Scalable Concurrent B-Trees Using Multi-Version Memory.

[BibT_eX]

[DOI]

Paul Wang

J. Parallel Distributed Comput., 1996

Zippers: A Focus+Context Display of Web Pages.

[BibT_eX]

Marc H. Brown

Proceedings of WebNet 96, 1996

Dynamic Computation Migration in DSM Systems.

[BibT_eX]

[DOI]

M. Frans Kaashoek

Proceedings of the 1996 ACM/IEEE Conference on Supercomputing, 1996

Reducing Synchronization Overhead in Parallel Simulation.

[BibT_eX]

[DOI]

Ulana Legedza

Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, 1996

1995

Hybrid Atomicity for Nested Transactions.

[BibT_eX]

[DOI]

Alan D. Fekete

Nancy A. Lynch

Theor. Comput. Sci., 1995

Deriving Global Virtual Time Algorithms from Conservative Simulation Protocols.

[BibT_eX]

[DOI]

George Varghese

Roger D. Chamberlain

Inf. Process. Lett., 1995

Specification and Verification of Object-Oriented Programs Using Supertype Abstraction.

[BibT_eX]

[DOI]

Gary T. Leavens

Acta Informatica, 1995

Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation.

[BibT_eX]

[DOI]

Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1995

Demand-Based Coscheduling of Parallel Jobs on Multiprogrammed Multiprocessors.

[BibT_eX]

[DOI]

Patrick Sobalvarro

Proceedings of the Job Scheduling Strategies for Parallel Processing, 1995

1994

Optimistic Active Messages: Structuring Systems for High-Performance Communication.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs, 1994

The pessimism behind optimistic simulation.

[BibT_eX]

[DOI]

George Varghese

Roger D. Chamberlain

Proceedings of the Eighth Workshop on Parallel and Distributed Simulation, 1994

Lottery Scheduling: Flexible Proportional-Share Resource Management.

[BibT_eX]

[DOI]

Carl A. Waldspurger

Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

Software Prefetching and Caching for Translation Lookaside Buffers.

[BibT_eX]

[DOI]

Kavita Bala

M. Frans Kaashoek

Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

1993

The Impact of Recovery on Concurrency Control.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1993

Performance Assertion Checking.

[BibT_eX]

[DOI]

Sharon E. Perl

Proceedings of the Fourteenth ACM Symposium on Operating System Principles, 1993

Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap.

[BibT_eX]

[DOI]

Elliot K. Kolodner

Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

Computation Migration: Enhancing Locality for Distributed-Memory Parallel Systems.

[BibT_eX]

[DOI]

Paul Wang

Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1993

Developing Parallel Applications Using High-Performance Simulation.

[BibT_eX]

[DOI]

Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1993

[BibT_eX]

[DOI]

Carl A. Waldspurger

Proceedings of the 20th Annual International Symposium on Computer Architecture, 1993

The Persistent Relevance of IPC Performance: New Techniques for Reducing the IPC Penalty.

[BibT_eX]

[DOI]

M. Frans Kaashoek

Proceedings of the Proceedings Fourth Workshop on Workstation Operating Systems, 1993

Atomic Transactions

[BibT_eX]

Morgan Kaufmann series in data management systems, Morgan Kaufmann, ISBN: 1-55860-104-X, 1993

1992

A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus.

[BibT_eX]

[DOI]

Irene Greif

Robert Seliger

IEEE Trans. Software Eng., 1992

Prelude: Tools for Building Portable Parallel Programs (Abstract).

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1992

On the Correctness of Orphan Management Algorithms.

[BibT_eX]

[DOI]

J. ACM, 1992

Pipes: Linguistic Support for Ordered Asynchronous Invocations.

[BibT_eX]

[DOI]

Proceedings of the 2nd SIGPLAN Workshop on Languages, Compilers, and Run-Time Environments for Distributed Memory Multiprocessors, Boulder, Colorado, September 30, 1992

PROTEUS: A High-Performance Parallel-Architecture Simulator.

[BibT_eX]

[DOI]

Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1992

PRELUDE: A System for Portable Parallel Software.

[BibT_eX]

[DOI]

Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

Atomic Garbage Collection.

[BibT_eX]

[DOI]

Elliot K. Kolodner

Proceedings of the Memory Management, 1992

Scalable Reader-Writer Locks for Parallel Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Parallel Processing Symposium, 1992

1991

Hybrid Concurrency Control for Abstract Data Types.

[BibT_eX]

[DOI]

Maurice Herlihy

J. Comput. Syst. Sci., 1991

An evaluation of concurrent priority queue algorithms.

[BibT_eX]

[DOI]

Qin Huang

Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991

An Algorithm for Concurrent Search Trees.

[BibT_eX]

Proceedings of the International Conference on Parallel Processing, 1991

1990

Linguistic Support for Atomic Data Types.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1990

Commutativity-Based Locking for Nested Transactions.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1990

Multi-version memory: software cache management for concurrent B-trees.

[BibT_eX]

[DOI]

Paul Wang

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

Fault-tolerant parallel computing.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990

A Serialization Graph Construction for Nested Transactions.

[BibT_eX]

[DOI]

Alan D. Fekete

Nancy A. Lynch

Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990

Reasoning about Object-Oriented Programs that Use Subtypes.

[BibT_eX]

[DOI]

Gary T. Leavens

Proceedings of the Conference on Object-Oriented Programming Systems, 1990

Using transactions in distributed applications.

[BibT_eX]

[DOI]

Proceedings of the Intellectual Leverage: Thirty-Fifth IEEE Computer Society International Conference, 1990

1989

Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1989

Two Pase Gossip: Managing Distributed Event Histories.

[BibT_eX]

[DOI]

Abdelsalam Heddaya

Meichun Hsu

Inf. Sci., 1989

Atomic Garbage Collection: Managing a Stable Heap.

[BibT_eX]

[DOI]

Elliot K. Kolodner

Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

1988

Commutativity-Based Concurrency Control for Abstract Data Types.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1988

A Theory of Timestamp-Based Concurrency Control for Nested Transactions.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Conference on Very Large Data Bases, August 29, 1988

A Theory of Atomic Transactions.

[BibT_eX]

[DOI]

Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

1987

Distributed Version Management for Read-Only Actions.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1987

Nested Transactions and Read/Write Locking.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

1986

Reaching approximate agreement in the presence of faults.

[BibT_eX]

[DOI]

J. ACM, 1986

Specifications of Distributed Programs.

[BibT_eX]

[DOI]

Distributed Comput., 1986

Atomic Data Abstractions in a Distributed Collaborative Editing System.

[BibT_eX]

[DOI]

Irene Greif

Robert Seliger

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1985

Implementation of Resilient, Atomic Data Types.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1985

Data-dependent Concurrency Control and Recovery.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1985

Atomic Data Types.

[BibT_eX]

[DOI]

IEEE Database Eng. Bull., 1985

Distributed Version Management for Read-Only Actions (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

1983

Specification and implementation of resilient, atomic data types.

[BibT_eX]

[DOI]

Proceedings of the 1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems, 1983

Data-dependent Concurrency Control and Recovery (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, 1983

1980

Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables.

[BibT_eX]

[DOI]