 | 2004 |
|---|
| 72 |       | William E. Weihl:
Beyond content delivery: applications to the edge.
NOSSDAV 2004: 1 |
| 71 | | Andy Davis,
Jay Parikh,
William E. Weihl:
Edgecomputing: extending enterprise applications to the edge of the internet.
WWW (Alternate Track Papers & Posters) 2004: 180-187 |
| 2002 |
|---|
| 70 | | John Dilley,
Bruce M. Maggs,
Jay Parikh,
Harald Prokop,
Ramesh K. Sitaraman,
William E. Weihl:
Globally Distributed Content Delivery.
IEEE Internet Computing 6(5): 50-58 (2002) |
| 2000 |
|---|
| 69 | | Michael Burrows,
Úlfar Erlingsson,
Shun-Tak Leung,
Mark T. Vandevoorde,
Carl A. Waldspurger,
Kip Walker,
William E. Weihl:
Efficient and Flexible Value Sampling.
ASPLOS 2000: 160-167 |
| 68 | | Leslie Lamport,
Sharon E. Perl,
William E. Weihl:
When does a correct mutual exclusion algorithm guarantee mutual exclusion?
Inf. Process. Lett. 76(3): 131-134 (2000) |
| 67 |  | William E. Weihl:
SIGOPS 2000 Annual Report.
Operating Systems Review 34(4): 1-3 (2000) |
| 1999 |
|---|
| 66 | | William E. Weihl:
Message from the Chair.
Operating Systems Review 33(4): 1 (1999) |
| 1998 |
|---|
| 65 | | Patrick Sobalvarro,
Scott Pakin,
William E. Weihl,
Andrew A. Chien:
Dynamic Coscheduling on Workstation Clusters.
JSSPP 1998: 231-256 |
| 1997 |
|---|
| 64 | | Jeffrey Dean,
James E. Hicks,
Carl A. Waldspurger,
William E. Weihl,
George Z. Chrysos:
ProfileMe: Hardware Support for Instruction-Level Profiling on Out-of-Order Processors.
MICRO 1997: 292-302 |
| 63 | | 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:
Continuous Profiling: Where Have All the Cycles Gone?
SOSP 1997: 1-14 |
| 62 | | 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:
Continuous Profiling: Where Have All the Cycles Gone?
ACM Trans. Comput. Syst. 15(4): 357-390 (1997) |
| 1996 |
|---|
| 61 | | Marc H. Brown,
William E. Weihl:
Zippers: A Focus+Context Display of Web Pages.
WebNet 1996 |
| 60 | | Ulana Legedza,
William E. Weihl:
Reducing Synchronization Overhead in Parallel Simulation.
Workshop on Parallel and Distributed Simulation 1996: 86-95 |
| 59 | | Adrian Colbrook,
Eric A. Brewer,
Chrysanthos Dellarocas,
William E. Weihl:
Algorithms for Search Trees on Message-Passing Architectures.
IEEE Trans. Parallel Distrib. Syst. 7(2): 97-108 (1996) |
| 58 | | Paul Wang,
William E. Weihl:
Scalable Concurrent B-Trees Using Multi-Version Memory.
J. Parallel Distrib. Comput. 32(1): 28-48 (1996) |
| 1995 |
|---|
| 57 | | Patrick Sobalvarro,
William E. Weihl:
Demand-Based Coscheduling of Parallel Jobs on Multiprogrammed Multiprocessors.
JSSPP 1995: 106-126 |
| 56 | | Deborah A. Wallach,
Wilson C. Hsieh,
Kirk L. Johnson,
M. Frans Kaashoek,
William E. Weihl:
Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation.
PPOPP 1995: 217-226 |
| 55 | | Gary T. Leavens,
William E. Weihl:
Specification and Verification of Object-Oriented Programs Using Supertype Abstraction
Acta Inf. 32(8): 705-778 (1995) |
| 54 | | George Varghese,
Roger D. Chamberlain,
William E. Weihl:
Deriving Global Virtual Time Algorithms from Conservative Simulation Protocols.
Inf. Process. Lett. 54(2): 121-126 (1995) |
| 53 | | Alan Fekete,
Nancy A. Lynch,
William E. Weihl:
Hybrid Atomicity for Nested Transactions.
Theor. Comput. Sci. 149(1): 151-178 (1995) |
| 1994 |
|---|
| 52 | | M. Frans Kaashoek,
William E. Weihl,
Deborah A. Wallach,
Wilson C. Hsieh,
Kirk L. Johnson:
Optimistic Active Messages: Structuring Systems for High-Performance Communication.
ACM SIGOPS European Workshop 1994: 23-28 |
| 51 | | Carl A. Waldspurger,
William E. Weihl:
Lottery Scheduling: Flexible Proportional-Share Resource Management.
OSDI 1994: 1-11 |
| 50 | | Kavita Bala,
M. Frans Kaashoek,
William E. Weihl:
Software Prefetching and Caching for Translation Lookaside Buffers.
OSDI 1994: 243-253 |
| 1993 |
|---|
| 49 | | Nancy A. Lynch,
Michael Merritt,
William E. Weihl,
Alan Fekete:
Atomic Transactions
Morgan Kaufmann 1993 |
| 48 | | Carl A. Waldspurger,
William E. Weihl:
Register Relocation: Flexible Contexts for Multithreading.
ISCA 1993: 120-130 |
| 47 | | Wilson C. Hsieh,
Paul Wang,
William E. Weihl:
Computation Migration: Enhancing Locality for Distributed-Memory Parallel Systems.
PPOPP 1993: 239-248 |
| 46 | | Elliot K. Kolodner,
William E. Weihl:
Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap.
SIGMOD Conference 1993: 177-186 |
| 45 | | Sharon E. Perl,
William E. Weihl:
Performance Assertion Checking.
SOSP 1993: 134-145 |
| 44 | | Eric A. Brewer,
William E. Weihl:
Developing Parallel Applications Using High-Performance Simulation.
Workshop on Parallel and Distributed Debugging 1993: 158-168 |
| 43 | | Wilson C. Hsieh,
M. Frans Kaashoek,
William E. Weihl:
The Persistent Relevance of IPC Performance: New Techniques for Reducing the IPC Penalty.
Workshop on Workstation Operating Systems 1993: 186-190 |
| 42 | | William E. Weihl:
The Impact of Recovery on Concurrency Control.
J. Comput. Syst. Sci. 47(1): 157-184 (1993) |
| 1992 |
|---|
| 41 | | Alan Fekete,
Nancy A. Lynch,
William E. Weihl:
Hybrid Atomicity for Nested Transactions.
ICDT 1992: 216-230 |
| 40 | | Wilson C. Hsieh,
William E. Weihl:
Scalable Reader-Writer Locks for Parallel Systems.
IPPS 1992: 656-659 |
| 39 | | Elliot K. Kolodner,
William E. Weihl:
Atomic Garbage Collection.
IWMM 1992: 365-387 |
| 38 | | William E. Weihl,
Eric A. Brewer,
Adrian Colbrook,
Chrysanthos Dellarocas,
Wilson C. Hsieh,
Anthony D. Joseph,
Carl A. Waldspurger,
Paul Wang:
PRELUDE: A System for Portable Parallel Software.
PARLE 1992: 971-973 |
| 37 | | Eric A. Brewer,
Chrysanthos Dellarocas,
Adrian Colbrook,
William E. Weihl:
PROTEUS: A High-Performance Parallel-Architecture Simulator.
SIGMETRICS 1992: 247-248 |
| 36 | | Eric A. Brewer,
Adrian Colbrook,
Wilson C. Hsieh,
Paul Wang,
William E. Weihl:
Pipes: Linguistic Support for Ordered Asynchronous Invocations.
SIGPLAN Workshop 1992: 80 |
| 35 | | Irene Greif,
Robert Seliger,
William E. Weihl:
A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus.
IEEE Trans. Software Eng. 18(9): 827-839 (1992) |
| 34 | | Maurice Herlihy,
Nancy A. Lynch,
Michael Merritt,
William E. Weihl:
On the Correctness of Orphan Management Algorithms.
J. ACM 39(4): 881-930 (1992) |
| 33 | | William E. Weihl:
Prelude: Tools for Building Portable Parallel Programs (Abstract).
Operating Systems Review 26(2): 24 (1992) |
| 1991 |
|---|
| 32 | | Adrian Colbrook,
Eric A. Brewer,
Chrysanthos Dellarocas,
William E. Weihl:
An Algorithm for Concurrent Search Trees.
ICPP (3) 1991: 138-141 |
| 31 | | Qin Huang,
William E. Weihl:
An evaluation of concurrent priority queue algorithms.
SPDP 1991: 518-525 |
| 30 | | Maurice Herlihy,
William E. Weihl:
Hybrid Concurrency Control for Abstract Data Types.
J. Comput. Syst. Sci. 43(1): 25-61 (1991) |
| 1990 |
|---|
| 29 | | William E. Weihl:
Fault-tolerant parallel computing.
ACM SIGOPS European Workshop 1990 |
| 28 | | Gary T. Leavens,
William E. Weihl:
Reasoning about Object-Oriented Programs that Use Subtypes.
OOPSLA/ECOOP 1990: 212-223 |
| 27 | | Alan Fekete,
Nancy A. Lynch,
William E. Weihl:
A Serialization Graph Construction for Nested Transactions.
PODS 1990: 94-108 |
| 26 | | William E. Weihl,
Paul Wang:
Multi-version memory: software cache management for concurrent B-trees.
SPDP 1990: 650-655 |
| 25 | | William E. Weihl:
Linguistic Support for Atomic Data Types.
ACM Trans. Program. Lang. Syst. 12(2): 178-202 (1990) |
| 24 | | Alan Fekete,
Nancy A. Lynch,
Michael Merritt,
William E. Weihl:
Commutativity-Based Locking for Nested Transactions.
J. Comput. Syst. Sci. 41(1): 65-156 (1990) |
| 1989 |
|---|
| 23 | | William E. Weihl:
The Impact of Recovery on Concurrency Control.
PODS 1989: 259-269 |
| 22 | | Alan Fekete,
Nancy A. Lynch,
Michael Merritt,
William E. Weihl:
Commutativity-Based Locking for Nested Transactions.
POS 1989: 319-340 |
| 21 | | Elliot K. Kolodner,
Barbara Liskov,
William E. Weihl:
Atomic Garbage Collection: Managing a Stable Heap.
SIGMOD Conference 1989: 15-25 |
| 20 | | William E. Weihl:
Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types.
ACM Trans. Program. Lang. Syst. 11(2): 249-283 (1989) |
| 19 | | Abdelsalam Heddaya,
Meichun Hsu,
William E. Weihl:
Two Pase Gossip: Managing Distributed Event Histories.
Inf. Sci. 49(1-3): 35-57 (1989) |
| 1988 |
|---|
| 18 | | Nancy A. Lynch,
Michael Merritt,
William E. Weihl,
Alan Fekete:
A Theory of Atomic Transactions.
ICDT 1988: 41-71 |
| 17 | | Maurice Herlihy,
William E. Weihl:
Hybrid Concurrency Control for Abstract Data Types.
PODS 1988: 201-210 |
| 16 | | James Aspnes,
Alan Fekete,
Nancy A. Lynch,
Michael Merritt,
William E. Weihl:
A Theory of Timestamp-Based Concurrency Control for Nested Transactions.
VLDB 1988: 431-444 |
| 15 | | William E. Weihl:
Commutativity-Based Concurrency Control for Abstract Data Types.
IEEE Trans. Computers 37(12): 1488-1505 (1988) |
| 1987 |
|---|
| 14 | | Alan Fekete,
Nancy A. Lynch,
Michael Merritt,
William E. Weihl:
Nested Transactions and Read/Write Locking.
PODS 1987: 97-111 |
| 13 | | William E. Weihl:
Distributed Version Management for Read-Only Actions.
IEEE Trans. Software Eng. 13(1): 55-64 (1987) |
| 1986 |
|---|
| 12 | | Irene Greif,
Robert Seliger,
William E. Weihl:
Atomic Data Abstractions in a Distributed Collaborative Editing System.
POPL 1986: 160-172 |
| 11 | | Barbara Liskov,
William E. Weihl:
Specifications of Distributed Programs.
Distributed Computing 1(2): 102-118 (1986) |
| 10 | | Danny Dolev,
Nancy A. Lynch,
Shlomit S. Pinter,
Eugene W. Stark,
William E. Weihl:
Reaching approximate agreement in the presence of faults.
J. ACM 33(3): 499-516 (1986) |
| 1985 |
|---|
| 9 | | William E. Weihl:
Linguistic Support for Atomic Data Types.
Data Types and Persistence (Appin) 1985: 191-212 |
| 8 | | William E. Weihl:
Linguistic Support for Atomic Data Types.
Data Types and Persistence (Appin), Informal Proceedings 1985: 145-173 |
| 7 | | William E. Weihl:
Distributed Version Management for Read-Only Actions (Extended Abstract).
PODC 1985: 122-135 |
| 6 | | William E. Weihl,
Barbara Liskov:
Implementation of Resilient, Atomic Data Types.
ACM Trans. Program. Lang. Syst. 7(2): 244-269 (1985) |
| 5 | | William E. Weihl:
Atomic Data Types.
IEEE Database Eng. Bull. 8(2): 26-33 (1985) |
| 4 | | William E. Weihl:
Data-dependent Concurrency Control and Recovery.
Operating Systems Review 19(1): 19-31 (1985) |
| 1983 |
|---|
| 3 | | William E. Weihl:
Data-dependent Concurrency Control and Recovery (Extended Abstract).
PODC 1983: 63-75 |
| 2 | | Danny Dolev,
Nancy A. Lynch,
Shlomit S. Pinter,
Eugene W. Stark,
William E. Weihl:
Reaching Approximate Agreement in the Presence of Faults.
Symposium on Reliability in Distributed Software and Database Systems 1983: 145-154 |
| 1980 |
|---|
| 1 | | William E. Weihl:
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables.
POPL 1980: 83-94 |
