Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables. - William E. Weihl (POPL, 1980)

Data-dependent Concurrency Control and Recovery (Extended Abstract). - William E. Weihl (PODC, 1983)

Specification and implementation of resilient, atomic data types. - William E. Weihl; Barbara Liskov (SIGPLAN, 1983)

Distributed Version Management for Read-Only Actions (Extended Abstract). - William E. Weihl (PODC, 1985)

Atomic Data Types. - William E. Weihl (IEEE Database Eng. Bull., 1985)

Data-dependent Concurrency Control and Recovery. - William E. Weihl (ACM SIGOPS Oper. Syst. Rev., 1985)

Implementation of Resilient, Atomic Data Types. - William E. Weihl; Barbara Liskov (ACM Trans. Program. Lang. Syst., 1985)

Atomic Data Abstractions in a Distributed Collaborative Editing System. - Irene Greif; Robert Seliger; William E. Weihl (POPL, 1986)

Specifications of Distributed Programs. - Barbara Liskov; William E. Weihl (Distributed Comput., 1986)

Reaching approximate agreement in the presence of faults. - Danny Dolev; Nancy A. Lynch; Shlomit S. Pinter; Eugene W. Stark; William E. Weihl (J. ACM, 1986)

Nested Transactions and Read/Write Locking. - Alan D. Fekete; Nancy A. Lynch; Michael Merritt; William E. Weihl (PODS, 1987)

Distributed Version Management for Read-Only Actions. - William E. Weihl (IEEE Trans. Software Eng., 1987)

A Theory of Atomic Transactions. - Nancy A. Lynch; Michael Merritt; William E. Weihl; Alan D. Fekete (ICDT, 1988)

A Theory of Timestamp-Based Concurrency Control for Nested Transactions. - James Aspnes; Alan D. Fekete; Nancy A. Lynch; Michael Merritt; William E. Weihl (VLDB, 1988)

Commutativity-Based Concurrency Control for Abstract Data Types. - William E. Weihl (IEEE Trans. Computers, 1988)

Atomic Garbage Collection: Managing a Stable Heap. - Elliot K. Kolodner; Barbara Liskov; William E. Weihl (SIGMOD Conference, 1989)

Two Pase Gossip: Managing Distributed Event Histories. - Abdelsalam Heddaya; Meichun Hsu; William E. Weihl (Inf. Sci., 1989)

Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types. - William E. Weihl (ACM Trans. Program. Lang. Syst., 1989)

Using transactions in distributed applications. - William E. Weihl (Compcon, 1990)

Reasoning about Object-Oriented Programs that Use Subtypes. - Gary T. Leavens; William E. Weihl (OOPSLA/ECOOP, 1990)

A Serialization Graph Construction for Nested Transactions. - Alan D. Fekete; Nancy A. Lynch; William E. Weihl (PODS, 1990)

Fault-tolerant parallel computing. - William E. Weihl (ACM SIGOPS European Workshop, 1990)

Multi-version memory: software cache management for concurrent B-trees. - William E. Weihl; Paul Wang (SPDP, 1990)

Commutativity-Based Locking for Nested Transactions. - Alan D. Fekete; Nancy A. Lynch; Michael Merritt; William E. Weihl (J. Comput. Syst. Sci., 1990)

Linguistic Support for Atomic Data Types. - William E. Weihl (ACM Trans. Program. Lang. Syst., 1990)

An Algorithm for Concurrent Search Trees. - Adrian Colbrook; Eric A. Brewer; Chrysanthos Dellarocas; William E. Weihl (ICPP (3), 1991)

An evaluation of concurrent priority queue algorithms. - Qin Huang; William E. Weihl (SPDP, 1991)

Hybrid Concurrency Control for Abstract Data Types. - Maurice Herlihy; William E. Weihl (J. Comput. Syst. Sci., 1991)

Scalable Reader-Writer Locks for Parallel Systems. - Wilson C. Hsieh; William E. Weihl (IPPS, 1992)

Atomic Garbage Collection. - Elliot K. Kolodner; William E. Weihl (IWMM, 1992)

PRELUDE: A System for Portable Parallel Software. - William E. Weihl; Eric A. Brewer; Adrian Colbrook; Chrysanthos Dellarocas; Wilson C. Hsieh; Anthony D. Joseph; Carl A. Waldspurger; Paul Wang (PARLE, 1992)

PROTEUS: A High-Performance Parallel-Architecture Simulator. - Eric A. Brewer; Chrysanthos Dellarocas; Adrian Colbrook; William E. Weihl (SIGMETRICS, 1992)

Pipes: Linguistic Support for Ordered Asynchronous Invocations. - Eric A. Brewer; Adrian Colbrook; Wilson C. Hsieh; Paul Wang; William E. Weihl (SIGPLAN Workshop, 1992)

On the Correctness of Orphan Management Algorithms. - Maurice Herlihy; Nancy A. Lynch; Michael Merritt; William E. Weihl (J. ACM, 1992)

Prelude: Tools for Building Portable Parallel Programs (Abstract). - William E. Weihl (ACM SIGOPS Oper. Syst. Rev., 1992)

A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus. - Irene Greif; Robert Seliger; William E. Weihl (IEEE Trans. Software Eng., 1992)

Atomic Transactions - Nancy A. Lynch; Michael Merritt; William E. Weihl; Alan D. Fekete (Morgan Kaufmann, 1993)

The Persistent Relevance of IPC Performance: New Techniques for Reducing the IPC Penalty. - Wilson C. Hsieh; M. Frans Kaashoek; William E. Weihl (Workshop on Workstation Operating Systems, 1993)

Register Relocation: Flexible Contexts for Multithreading. - Carl A. Waldspurger; William E. Weihl (ISCA, 1993)

Developing Parallel Applications Using High-Performance Simulation. - Eric A. Brewer; William E. Weihl (Workshop on Parallel and Distributed Debugging, 1993)

Computation Migration: Enhancing Locality for Distributed-Memory Parallel Systems. - Wilson C. Hsieh; Paul Wang; William E. Weihl (PPoPP, 1993)

Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap. - Elliot K. Kolodner; William E. Weihl (SIGMOD Conference, 1993)

Performance Assertion Checking. - Sharon E. Perl; William E. Weihl (SOSP, 1993)

The Impact of Recovery on Concurrency Control. - William E. Weihl (J. Comput. Syst. Sci., 1993)

Software Prefetching and Caching for Translation Lookaside Buffers. - Kavita Bala; M. Frans Kaashoek; William E. Weihl (OSDI, 1994)

Lottery Scheduling: Flexible Proportional-Share Resource Management. - Carl A. Waldspurger; William E. Weihl (OSDI, 1994)

The pessimism behind optimistic simulation. - George Varghese; Roger D. Chamberlain; William E. Weihl (PADS, 1994)

Optimistic Active Messages: Structuring Systems for High-Performance Communication. - M. Frans Kaashoek; William E. Weihl; Deborah A. Wallach; Wilson C. Hsieh; Kirk L. Johnson (ACM SIGOPS European Workshop, 1994)

Demand-Based Coscheduling of Parallel Jobs on Multiprogrammed Multiprocessors. - Patrick Sobalvarro; William E. Weihl (JSSPP, 1995)

Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation. - Deborah A. Wallach; Wilson C. Hsieh; Kirk L. Johnson; M. Frans Kaashoek; William E. Weihl (PPoPP, 1995)

Specification and Verification of Object-Oriented Programs Using Supertype Abstraction. - Gary T. Leavens; William E. Weihl (Acta Informatica, 1995)

Deriving Global Virtual Time Algorithms from Conservative Simulation Protocols. - George Varghese; Roger D. Chamberlain; William E. Weihl (Inf. Process. Lett., 1995)

Hybrid Atomicity for Nested Transactions. - Alan D. Fekete; Nancy A. Lynch; William E. Weihl (Theor. Comput. Sci., 1995)

Reducing Synchronization Overhead in Parallel Simulation. - Ulana Legedza; William E. Weihl (Workshop on Parallel and Distributed Simulation, 1996)

Dynamic Computation Migration in DSM Systems. - Wilson C. Hsieh; M. Frans Kaashoek; William E. Weihl (SC, 1996)

Zippers: A Focus+Context Display of Web Pages. - Marc H. Brown; William E. Weihl (WebNet, 1996)

Scalable Concurrent B-Trees Using Multi-Version Memory. - Paul Wang; William E. Weihl (J. Parallel Distributed Comput., 1996)

Algorithms for Search Trees on Message-Passing Architectures. - Adrian Colbrook; Eric A. Brewer; Chrysanthos Dellarocas; William E. Weihl (IEEE Trans. Parallel Distributed Syst., 1996)

ProfileMe: Hardware Support for Instruction-Level Profiling on Out-of-Order Processors. - Jeffrey Dean; James E. Hicks; Carl A. Waldspurger; William E. Weihl; George Z. Chrysos (MICRO, 1997)

Continuous Profiling: Where Have All the Cycles Gone? - Jennifer-Ann M. Anderson; Lance M. Berc; Jeffrey Dean; Sanjay Ghemawat; Monika Rauch Henzinger; Shun-Tak Leung; Richard L. Sites; Mark T. Vandevoorde; Carl A. Waldspurger; William E. Weihl (ACM Trans. Comput. Syst., 1997)

Dynamic Coscheduling on Workstation Clusters. - Patrick Sobalvarro; Scott Pakin; William E. Weihl; Andrew A. Chien (JSSPP, 1998)

Message from the Chair. - William E. Weihl (ACM SIGOPS Oper. Syst. Rev., 1999)

Efficient and Flexible Value Sampling. - Michael Burrows; Úlfar Erlingsson; Shun-Tak Leung; Mark T. Vandevoorde; Carl A. Waldspurger; Kip Walker; William E. Weihl (ASPLOS, 2000)

When does a correct mutual exclusion algorithm guarantee mutual exclusion? - Leslie Lamport; Sharon E. Perl; William E. Weihl (Inf. Process. Lett., 2000)

SIGOPS 2000 Annual Report. - William E. Weihl (ACM SIGOPS Oper. Syst. Rev., 2000)

Globally Distributed Content Delivery. - John Dilley; Bruce M. Maggs; Jay Parikh; Harald Prokop; Ramesh K. Sitaraman; William E. Weihl (IEEE Internet Comput., 2002)

Beyond content delivery: applications to the edge. - William E. Weihl (NOSSDAV, 2004)

Edgecomputing: extending enterprise applications to the edge of the internet. - Andy Davis; Jay Parikh; William E. Weihl (WWW (Alternate Track Papers & Posters), 2004)