William E. Weihl

75 papers A* 16A 3B 4C 2Journal 26Unranked 23
YearRankTypeTitle / Venue / Authors
2004 B conf
Beyond content delivery: applications to the edge.
NOSSDAV
William E. Weihl
2004 — conf
Edgecomputing: extending enterprise applications to the edge of the internet.
WWW (Alternate Track Papers & Posters)
Andy Davis, Jay Parikh, William E. Weihl
2002 J jnl
Globally Distributed Content Delivery.
IEEE Internet Comput.
John Dilley, Bruce M. Maggs, Jay Parikh, Harald Prokop, Ramesh K. Sitaraman, William E. Weihl
2000 A* conf
Efficient and Flexible Value Sampling.
ASPLOS
Michael Burrows, Úlfar Erlingsson, Shun-Tak Leung, Mark T. Vandevoorde, Carl A. Waldspurger, Kip Walker, William E. Weihl
2000 J jnl
SIGOPS 2000 Annual Report.
ACM SIGOPS Oper. Syst. Rev.
William E. Weihl
2000 J jnl
When does a correct mutual exclusion algorithm guarantee mutual exclusion?
Inf. Process. Lett.
Leslie Lamport, Sharon E. Perl, William E. Weihl
1999 J jnl
Message from the Chair.
ACM SIGOPS Oper. Syst. Rev.
William E. Weihl
1998 C conf
Dynamic Coscheduling on Workstation Clusters.
JSSPP
Patrick Sobalvarro, Scott Pakin, William E. Weihl, Andrew A. Chien
1997 A* conf
Continuous Profiling: Where Have All the Cycles Gone?
SOSP
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
1997 J jnl
Continuous Profiling: Where Have All the Cycles Gone?
ACM Trans. Comput. Syst.
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
1996 J jnl
Algorithms for Search Trees on Message-Passing Architectures.
IEEE Trans. Parallel Distributed Syst.
Adrian Colbrook, Eric A. Brewer, Chrysanthos Dellarocas, William E. Weihl
1996 A conf
Dynamic Computation Migration in DSM Systems.
SC
Wilson C. Hsieh, M. Frans Kaashoek, William E. Weihl
1996 — conf
Reducing Synchronization Overhead in Parallel Simulation.
Workshop on Parallel and Distributed Simulation
Ulana Legedza, William E. Weihl
1996 J jnl
Scalable Concurrent B-Trees Using Multi-Version Memory.
J. Parallel Distributed Comput.
Paul Wang, William E. Weihl
1996 — conf
Zippers: A Focus+Context Display of Web Pages.
WebNet
Marc H. Brown, William E. Weihl
1995 C conf
Demand-Based Coscheduling of Parallel Jobs on Multiprogrammed Multiprocessors.
JSSPP
Patrick Sobalvarro, William E. Weihl
1995 J jnl
Deriving Global Virtual Time Algorithms from Conservative Simulation Protocols.
Inf. Process. Lett.
George Varghese, Roger D. Chamberlain, William E. Weihl
1995 J jnl
Hybrid Atomicity for Nested Transactions.
Theor. Comput. Sci.
Alan D. Fekete, Nancy A. Lynch, William E. Weihl
1995 B conf
Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation.
PPoPP
Deborah A. Wallach, Wilson C. Hsieh, Kirk L. Johnson, M. Frans Kaashoek, William E. Weihl
1995 J jnl
Specification and Verification of Object-Oriented Programs Using Supertype Abstraction.
Acta Informatica
Gary T. Leavens, William E. Weihl
1994 A* conf
Lottery Scheduling: Flexible Proportional-Share Resource Management.
OSDI
Carl A. Waldspurger, William E. Weihl
1994 — conf
Optimistic Active Messages: Structuring Systems for High-Performance Communication.
ACM SIGOPS European Workshop
M. Frans Kaashoek, William E. Weihl, Deborah A. Wallach, Wilson C. Hsieh, Kirk L. Johnson
1994 A* conf
Software Prefetching and Caching for Translation Lookaside Buffers.
OSDI
Kavita Bala, M. Frans Kaashoek, William E. Weihl
1994 B conf
The pessimism behind optimistic simulation.
PADS
George Varghese, Roger D. Chamberlain, William E. Weihl
1993 — conf
Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap.
SIGMOD Conference
Elliot K. Kolodner, William E. Weihl
1993 — book
Atomic Transactions
Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan D. Fekete
1993 B conf
Computation Migration: Enhancing Locality for Distributed-Memory Parallel Systems.
PPoPP
Wilson C. Hsieh, Paul Wang, William E. Weihl
1993 — conf
Developing Parallel Applications Using High-Performance Simulation.
Workshop on Parallel and Distributed Debugging
Eric A. Brewer, William E. Weihl
1993 A* conf
Performance Assertion Checking.
SOSP
Sharon E. Perl, William E. Weihl
1993 A* conf
Register Relocation: Flexible Contexts for Multithreading.
ISCA
Carl A. Waldspurger, William E. Weihl
1993 J jnl
The Impact of Recovery on Concurrency Control.
J. Comput. Syst. Sci.
William E. Weihl
1993 — conf
The Persistent Relevance of IPC Performance: New Techniques for Reducing the IPC Penalty.
Workshop on Workstation Operating Systems
Wilson C. Hsieh, M. Frans Kaashoek, William E. Weihl
1992 J jnl
A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus.
IEEE Trans. Software Eng.
Irene Greif, Robert Seliger, William E. Weihl
1992 — conf
Atomic Garbage Collection.
IWMM
Elliot K. Kolodner, William E. Weihl
1992 A conf
Hybrid Atomicity for Nested Transactions.
ICDT
Alan D. Fekete, Nancy A. Lynch, William E. Weihl
1992 J jnl
On the Correctness of Orphan Management Algorithms.
J. ACM
Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl
1992 — conf
PRELUDE: A System for Portable Parallel Software.
PARLE
William E. Weihl, Eric A. Brewer, Adrian Colbrook, Chrysanthos Dellarocas, Wilson C. Hsieh, Anthony D. Joseph, Carl A. Waldspurger, Paul Wang
1992 A* conf
PROTEUS: A High-Performance Parallel-Architecture Simulator.
SIGMETRICS
Eric A. Brewer, Chrysanthos Dellarocas, Adrian Colbrook, William E. Weihl
1992 — conf
Pipes: Linguistic Support for Ordered Asynchronous Invocations.
SIGPLAN Workshop
Eric A. Brewer, Adrian Colbrook, Wilson C. Hsieh, Paul Wang, William E. Weihl
1992 J jnl
Prelude: Tools for Building Portable Parallel Programs (Abstract).
ACM SIGOPS Oper. Syst. Rev.
William E. Weihl
1992 — conf
Scalable Reader-Writer Locks for Parallel Systems.
IPPS
Wilson C. Hsieh, William E. Weihl
1991 — conf
An Algorithm for Concurrent Search Trees.
ICPP (3)
Adrian Colbrook, Eric A. Brewer, Chrysanthos Dellarocas, William E. Weihl
1991 — conf
An evaluation of concurrent priority queue algorithms.
SPDP
Qin Huang, William E. Weihl
1991 J jnl
Hybrid Concurrency Control for Abstract Data Types.
J. Comput. Syst. Sci.
Maurice Herlihy, William E. Weihl
1990 A* conf
A Serialization Graph Construction for Nested Transactions.
PODS
Alan D. Fekete, Nancy A. Lynch, William E. Weihl
1990 J jnl
Commutativity-Based Locking for Nested Transactions.
J. Comput. Syst. Sci.
Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
1990 — conf
Fault-tolerant parallel computing.
ACM SIGOPS European Workshop
William E. Weihl
1990 J jnl
Linguistic Support for Atomic Data Types.
ACM Trans. Program. Lang. Syst.
William E. Weihl
1990 — conf
Multi-version memory: software cache management for concurrent B-trees.
SPDP
William E. Weihl, Paul Wang
1990 — conf
Reasoning about Object-Oriented Programs that Use Subtypes.
OOPSLA/ECOOP
Gary T. Leavens, William E. Weihl
1990 — conf
Using transactions in distributed applications.
Compcon
William E. Weihl
1989 — conf
Atomic Garbage Collection: Managing a Stable Heap.
SIGMOD Conference
Elliot K. Kolodner, Barbara Liskov, William E. Weihl
1989 — conf
Commutativity-Based Locking for Nested Transactions.
POS
Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
1989 J jnl
Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types.
ACM Trans. Program. Lang. Syst.
William E. Weihl
1989 A* conf
The Impact of Recovery on Concurrency Control.
PODS
William E. Weihl
1989 J jnl
Two Pase Gossip: Managing Distributed Event Histories.
Inf. Sci.
Abdelsalam Heddaya, Meichun Hsu, William E. Weihl
1988 A conf
A Theory of Atomic Transactions.
ICDT
Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan D. Fekete
1988 A* conf
A Theory of Timestamp-Based Concurrency Control for Nested Transactions.
VLDB
James Aspnes, Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
1988 J jnl
Commutativity-Based Concurrency Control for Abstract Data Types.
IEEE Trans. Computers
William E. Weihl
1988 A* conf
Hybrid Concurrency Control for Abstract Data Types.
PODS
Maurice Herlihy, William E. Weihl
1987 J jnl
Distributed Version Management for Read-Only Actions.
IEEE Trans. Software Eng.
William E. Weihl
1987 A* conf
Nested Transactions and Read/Write Locking.
PODS
Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
1986 A* conf
Atomic Data Abstractions in a Distributed Collaborative Editing System.
POPL
Irene Greif, Robert Seliger, William E. Weihl
1986 J jnl
Reaching approximate agreement in the presence of faults.
J. ACM
Danny Dolev, Nancy A. Lynch, Shlomit S. Pinter, Eugene W. Stark, William E. Weihl
1986 J jnl
Specifications of Distributed Programs.
Distributed Comput.
Barbara Liskov, William E. Weihl
1985 J jnl
Atomic Data Types.
IEEE Database Eng. Bull.
William E. Weihl
1985 J jnl
Data-dependent Concurrency Control and Recovery.
ACM SIGOPS Oper. Syst. Rev.
William E. Weihl
1985 A* conf
Distributed Version Management for Read-Only Actions (Extended Abstract).
PODC
William E. Weihl
1985 J jnl
Implementation of Resilient, Atomic Data Types.
ACM Trans. Program. Lang. Syst.
William E. Weihl, Barbara Liskov
1985 — conf
Linguistic Support for Atomic Data Types.
Data Types and Persistence (Appin)
William E. Weihl
1985 — conf
Linguistic Support for Atomic Data Types.
Data Types and Persistence (Appin), Informal Proceedings
William E. Weihl
1983 A* conf
Data-dependent Concurrency Control and Recovery (Extended Abstract).
PODC
William E. Weihl
1983 — conf
Reaching Approximate Agreement in the Presence of Faults.
Symposium on Reliability in Distributed Software and Database Systems
Danny Dolev, Nancy A. Lynch, Shlomit S. Pinter, Eugene W. Stark, William E. Weihl
1983 — conf
Specification and implementation of resilient, atomic data types.
SIGPLAN
William E. Weihl, Barbara Liskov
1980 A* conf
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables.
POPL
William E. Weihl