William E. Weihl

According to our database1, William E. Weihl
  • authored at least 75 papers between 1980 and 2004.
  • has a "Dijkstra number"2 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2004
Edgecomputing: extending enterprise applications to the edge of the internet.
Proceedings of the 13th international conference on World Wide Web, 2004

Beyond content delivery: applications to the edge.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 2004

2002
Globally Distributed Content Delivery.
IEEE Internet Computing, 2002

2000
SIGOPS 2000 Annual Report.
Operating Systems Review, 2000

When does a correct mutual exclusion algorithm guarantee mutual exclusion?
Inf. Process. Lett., 2000

Efficient and Flexible Value Sampling.
Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000

1999
Message from the Chair.
Operating Systems Review, 1999

1998
Dynamic Coscheduling on Workstation Clusters.
Proceedings of the Job Scheduling Strategies for Parallel Processing, 1998

1997
Continuous Profiling: Where Have All the Cycles Gone?
ACM Trans. Comput. Syst., 1997

Continuous Profiling: Where Have All the Cycles Gone?
Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

ProfileMe: Hardware Support for Instruction-Level Profiling on Out-of-Order Processors.
Proceedings of the Thirtieth Annual IEEE/ACM International Symposium on Microarchitecture, 1997

1996
Algorithms for Search Trees on Message-Passing Architectures.
IEEE Trans. Parallel Distrib. Syst., 1996

Scalable Concurrent B-Trees Using Multi-Version Memory.
J. Parallel Distrib. Comput., 1996

Zippers: A Focus+Context Display of Web Pages.
Proceedings of WebNet 96, 1996

Dynamic Computation Migration in DSM Systems.
Proceedings of the 1996 ACM/IEEE Conference on Supercomputing, 1996

Reducing Synchronization Overhead in Parallel Simulation.
Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, 1996

1995
Hybrid Atomicity for Nested Transactions.
Theor. Comput. Sci., 1995

Deriving Global Virtual Time Algorithms from Conservative Simulation Protocols.
Inf. Process. Lett., 1995

Specification and Verification of Object-Oriented Programs Using Supertype Abstraction.
Acta Inf., 1995

Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation.
Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1995

Demand-Based Coscheduling of Parallel Jobs on Multiprogrammed Multiprocessors.
Proceedings of the Job Scheduling Strategies for Parallel Processing, 1995

1994
Optimistic Active Messages: Structuring Systems for High-Performance Communication.
Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs, 1994

Lottery Scheduling: Flexible Proportional-Share Resource Management.
Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

Software Prefetching and Caching for Translation Lookaside Buffers.
Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

1993
The Impact of Recovery on Concurrency Control.
J. Comput. Syst. Sci., 1993

Performance Assertion Checking.
Proceedings of the Fourteenth ACM Symposium on Operating System Principles, 1993

Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap.
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

Computation Migration: Enhancing Locality for Distributed-Memory Parallel Systems.
Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1993

Developing Parallel Applications Using High-Performance Simulation.
Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1993

Register Relocation: Flexible Contexts for Multithreading.
Proceedings of the 20th Annual International Symposium on Computer Architecture. San Diego, 1993

The Persistent Relevance of IPC Performance: New Techniques for Reducing the IPC Penalty.
Proceedings of the Proceedings Fourth Workshop on Workstation Operating Systems, 1993

Atomic Transactions
Morgan Kaufmann, ISBN: 1-55860-104-X, 1993

1992
A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus.
IEEE Trans. Software Eng., 1992

Prelude: Tools for Building Portable Parallel Programs (Abstract).
Operating Systems Review, 1992

On the Correctness of Orphan Management Algorithms.
J. ACM, 1992

Pipes: Linguistic Support for Ordered Asynchronous Invocations.
SIGPLAN Workshop, 1992

PROTEUS: A High-Performance Parallel-Architecture Simulator.
Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1992

PRELUDE: A System for Portable Parallel Software.
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

Atomic Garbage Collection.
Proceedings of the Memory Management, 1992

Scalable Reader-Writer Locks for Parallel Systems.
Proceedings of the 6th International Parallel Processing Symposium, 1992

Hybrid Atomicity for Nested Transactions.
Proceedings of the Database Theory, 1992

1991
Hybrid Concurrency Control for Abstract Data Types.
J. Comput. Syst. Sci., 1991

An evaluation of concurrent priority queue algorithms.
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991

An Algorithm for Concurrent Search Trees.
Proceedings of the International Conference on Parallel Processing, 1991

1990
Linguistic Support for Atomic Data Types.
ACM Trans. Program. Lang. Syst., 1990

Commutativity-Based Locking for Nested Transactions.
J. Comput. Syst. Sci., 1990

Multi-version memory: software cache management for concurrent B-trees.
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

Fault-tolerant parallel computing.
Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990

A Serialization Graph Construction for Nested Transactions.
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990

Reasoning about Object-Oriented Programs that Use Subtypes.
Proceedings of the Conference on Object-Oriented Programming Systems, 1990

Using transactions in distributed applications.
Proceedings of the Intellectual Leverage: Thirty-Fifth IEEE Computer Society International Conference, 1990

1989
Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types.
ACM Trans. Program. Lang. Syst., 1989

Two Pase Gossip: Managing Distributed Event Histories.
Inf. Sci., 1989

Atomic Garbage Collection: Managing a Stable Heap.
Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, May 31, 1989

Commutativity-Based Locking for Nested Transactions.
Proceedings of the Persistent Object Systems, 1989

The Impact of Recovery on Concurrency Control.
Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

1988
Commutativity-Based Concurrency Control for Abstract Data Types.
IEEE Trans. Computers, 1988

A Theory of Timestamp-Based Concurrency Control for Nested Transactions.
Proceedings of the Fourteenth International Conference on Very Large Data Bases, August 29, 1988

Hybrid Concurrency Control for Abstract Data Types.
Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

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

1987
Distributed Version Management for Read-Only Actions.
IEEE Trans. Software Eng., 1987

Nested Transactions and Read/Write Locking.
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

1986
Reaching approximate agreement in the presence of faults.
J. ACM, 1986

Specifications of Distributed Programs.
Distributed Computing, 1986

Atomic Data Abstractions in a Distributed Collaborative Editing System.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1985
Implementation of Resilient, Atomic Data Types.
ACM Trans. Program. Lang. Syst., 1985

Data-dependent Concurrency Control and Recovery.
Operating Systems Review, 1985

Atomic Data Types.
IEEE Database Eng. Bull., 1985

Linguistic Support for Atomic Data Types.
Proceedings of the Data Types and Persistence, 1985

Distributed Version Management for Read-Only Actions (Extended Abstract).
Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

Linguistic Support for Atomic Data Types.
Proceedings of the Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, 1985

1983
Specification and implementation of resilient, atomic data types.
SIGPLAN Notices, 1983

Reaching Approximate Agreement in the Presence of Faults.
Proceedings of the Third Symposium on Reliability in Distributed Software and Database Systems, 1983

Data-dependent Concurrency Control and Recovery (Extended Abstract).
Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1983

1980
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables.
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980


  Loading...