2004 |
71 | EE | William E. Weihl:
Beyond content delivery: applications to the edge.
NOSSDAV 2004: 1 |
70 | EE | 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 |
69 | EE | 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 |
68 | EE | 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 |
67 | EE | 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) |
66 | | William E. Weihl:
SIGOPS 2000 Annual Report.
Operating Systems Review 34(4): 1-3 (2000) |
1999 |
65 | | William E. Weihl:
Message from the Chair.
Operating Systems Review 33(4): 1 (1999) |
1998 |
64 | EE | Patrick Sobalvarro,
Scott Pakin,
William E. Weihl,
Andrew A. Chien:
Dynamic Coscheduling on Workstation Clusters.
JSSPP 1998: 231-256 |
1997 |
63 | EE | 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 |
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?
SOSP 1997: 1-14 |
61 | EE | 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 |
60 | | Marc H. Brown,
William E. Weihl:
Zippers: A Focus+Context Display of Web Pages.
WebNet 1996 |
59 | EE | Ulana Legedza,
William E. Weihl:
Reducing Synchronization Overhead in Parallel Simulation.
Workshop on Parallel and Distributed Simulation 1996: 86-95 |
58 | EE | 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) |
57 | | Paul Wang,
William E. Weihl:
Scalable Concurrent B-Trees Using Multi-Version Memory.
J. Parallel Distrib. Comput. 32(1): 28-48 (1996) |
1995 |
56 | | Patrick Sobalvarro,
William E. Weihl:
Demand-Based Coscheduling of Parallel Jobs on Multiprogrammed Multiprocessors.
JSSPP 1995: 106-126 |
55 | | 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 |
54 | | Gary T. Leavens,
William E. Weihl:
Specification and Verification of Object-Oriented Programs Using Supertype Abstraction
Acta Inf. 32(8): 705-778 (1995) |
53 | EE | 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) |
52 | EE | Alan Fekete,
Nancy A. Lynch,
William E. Weihl:
Hybrid Atomicity for Nested Transactions.
Theor. Comput. Sci. 149(1): 151-178 (1995) |
1994 |
51 | | 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 |
50 | | Carl A. Waldspurger,
William E. Weihl:
Lottery Scheduling: Flexible Proportional-Share Resource Management.
OSDI 1994: 1-11 |
49 | | Kavita Bala,
M. Frans Kaashoek,
William E. Weihl:
Software Prefetching and Caching for Translation Lookaside Buffers.
OSDI 1994: 243-253 |
1993 |
48 | | Nancy A. Lynch,
Michael Merritt,
William E. Weihl,
Alan Fekete:
Atomic Transactions
Morgan Kaufmann 1993 |
47 | | Carl A. Waldspurger,
William E. Weihl:
Register Relocation: Flexible Contexts for Multithreading.
ISCA 1993: 120-130 |
46 | | Wilson C. Hsieh,
Paul Wang,
William E. Weihl:
Computation Migration: Enhancing Locality for Distributed-Memory Parallel Systems.
PPOPP 1993: 239-248 |
45 | EE | Elliot K. Kolodner,
William E. Weihl:
Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap.
SIGMOD Conference 1993: 177-186 |
44 | | Sharon E. Perl,
William E. Weihl:
Performance Assertion Checking.
SOSP 1993: 134-145 |
43 | | Eric A. Brewer,
William E. Weihl:
Developing Parallel Applications Using High-Performance Simulation.
Workshop on Parallel and Distributed Debugging 1993: 158-168 |
42 | | 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 |
41 | | William E. Weihl:
The Impact of Recovery on Concurrency Control.
J. Comput. Syst. Sci. 47(1): 157-184 (1993) |
1992 |
40 | EE | Alan Fekete,
Nancy A. Lynch,
William E. Weihl:
Hybrid Atomicity for Nested Transactions.
ICDT 1992: 216-230 |
39 | | Wilson C. Hsieh,
William E. Weihl:
Scalable Reader-Writer Locks for Parallel Systems.
IPPS 1992: 656-659 |
38 | | Elliot K. Kolodner,
William E. Weihl:
Atomic Garbage Collection.
IWMM 1992: 365-387 |
37 | | 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 |
36 | | Eric A. Brewer,
Chrysanthos Dellarocas,
Adrian Colbrook,
William E. Weihl:
PROTEUS: A High-Performance Parallel-Architecture Simulator.
SIGMETRICS 1992: 247-248 |
35 | | Eric A. Brewer,
Adrian Colbrook,
Wilson C. Hsieh,
Paul Wang,
William E. Weihl:
Pipes: Linguistic Support for Ordered Asynchronous Invocations.
SIGPLAN Workshop 1992: 80 |
34 | EE | 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) |
33 | EE | Maurice Herlihy,
Nancy A. Lynch,
Michael Merritt,
William E. Weihl:
On the Correctness of Orphan Management Algorithms.
J. ACM 39(4): 881-930 (1992) |
32 | | William E. Weihl:
Prelude: Tools for Building Portable Parallel Programs (Abstract).
Operating Systems Review 26(2): 24 (1992) |
1991 |
31 | | Adrian Colbrook,
Eric A. Brewer,
Chrysanthos Dellarocas,
William E. Weihl:
An Algorithm for Concurrent Search Trees.
ICPP (3) 1991: 138-141 |
30 | | Maurice Herlihy,
William E. Weihl:
Hybrid Concurrency Control for Abstract Data Types.
J. Comput. Syst. Sci. 43(1): 25-61 (1991) |
1990 |
29 | EE | 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 | EE | Alan Fekete,
Nancy A. Lynch,
William E. Weihl:
A Serialization Graph Construction for Nested Transactions.
PODS 1990: 94-108 |
26 | EE | William E. Weihl,
Paul Wang:
Multi-version memory: software cache management for concurrent B-trees.
SPDP 1990: 650-655 |
25 | EE | 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 | EE | William E. Weihl:
The Impact of Recovery on Concurrency Control.
PODS 1989: 259-269 |
22 | EE | Alan Fekete,
Nancy A. Lynch,
Michael Merritt,
William E. Weihl:
Commutativity-Based Locking for Nested Transactions.
POS 1989: 319-340 |
21 | EE | Elliot K. Kolodner,
Barbara Liskov,
William E. Weihl:
Atomic Garbage Collection: Managing a Stable Heap.
SIGMOD Conference 1989: 15-25 |
20 | EE | William E. Weihl:
Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types.
ACM Trans. Program. Lang. Syst. 11(2): 249-283 (1989) |
19 | EE | Abdelsalam Heddaya,
Meichun Hsu,
William E. Weihl:
Two Pase Gossip: Managing Distributed Event Histories.
Inf. Sci. 49(1-3): 35-57 (1989) |
1988 |
18 | EE | Nancy A. Lynch,
Michael Merritt,
William E. Weihl,
Alan Fekete:
A Theory of Atomic Transactions.
ICDT 1988: 41-71 |
17 | EE | Maurice Herlihy,
William E. Weihl:
Hybrid Concurrency Control for Abstract Data Types.
PODS 1988: 201-210 |
16 | EE | 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 | EE | 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 | EE | 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 | EE | William E. Weihl:
Linguistic Support for Atomic Data Types.
Data Types and Persistence (Appin) 1985: 191-212 |
8 | EE | 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 | EE | William E. Weihl,
Barbara Liskov:
Implementation of Resilient, Atomic Data Types.
ACM Trans. Program. Lang. Syst. 7(2): 244-269 (1985) |
5 | EE | 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 |