William E. Weihl

Publication Activity (10 Years)

Years Active: 1980-2004
Publications (10 Years): 0

Publications

William E. Weihl
Beyond content delivery: applications to the edge. NOSSDAV (2004)
Andy Davis, Jay Parikh, William E. Weihl
Edgecomputing: extending enterprise applications to the edge of the internet. WWW (Alternate Track Papers & Posters) (2004)
John Dilley, Bruce M. Maggs, Jay Parikh, Harald Prokop, Ramesh K. Sitaraman, William E. Weihl
Globally Distributed Content Delivery. IEEE Internet Comput. 6 (5) (2002)
Leslie Lamport, Sharon E. Perl, William E. Weihl
When does a correct mutual exclusion algorithm guarantee mutual exclusion? Inf. Process. Lett. 76 (3) (2000)
William E. Weihl
SIGOPS 2000 Annual Report. ACM SIGOPS Oper. Syst. Rev. 34 (4) (2000)
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)
William E. Weihl
Message from the Chair. ACM SIGOPS Oper. Syst. Rev. 33 (4) (1999)
Patrick Sobalvarro, Scott Pakin, William E. Weihl, Andrew A. Chien
Dynamic Coscheduling on Workstation Clusters. JSSPP (1998)
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)
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) (1997)
Jeffrey Dean, James E. Hicks, Carl A. Waldspurger, William E. Weihl, George Z. Chrysos
: Hardware Support for Instruction-Level Profiling on Out-of-Order Processors. MICRO (1997)
Marc H. Brown, William E. Weihl
Zippers: A Focus+Context Display of Web Pages. WebNet (1996)
Ulana Legedza, William E. Weihl
Reducing Synchronization Overhead in Parallel Simulation. Workshop on Parallel and Distributed Simulation (1996)
Wilson C. Hsieh, M. Frans Kaashoek, William E. Weihl
Dynamic Computation Migration in DSM Systems. SC (1996)
Paul Wang, William E. Weihl
Scalable Concurrent B-Trees Using Multi-Version Memory. J. Parallel Distributed Comput. 32 (1) (1996)
Adrian Colbrook, Eric A. Brewer, Chrysanthos Dellarocas, William E. Weihl
Algorithms for Search Trees on Message-Passing Architectures. IEEE Trans. Parallel Distributed Syst. 7 (2) (1996)
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)
Patrick Sobalvarro, William E. Weihl
Demand-Based Coscheduling of Parallel Jobs on Multiprogrammed Multiprocessors. JSSPP (1995)
Gary T. Leavens, William E. Weihl
Specification and Verification of Object-Oriented Programs Using Supertype Abstraction. Acta Informatica 32 (8) (1995)
George Varghese, Roger D. Chamberlain, William E. Weihl
Deriving Global Virtual Time Algorithms from Conservative Simulation Protocols. Inf. Process. Lett. 54 (2) (1995)
Alan D. Fekete, Nancy A. Lynch, William E. Weihl
Hybrid Atomicity for Nested Transactions. Theor. Comput. Sci. 149 (1) (1995)
George Varghese, Roger D. Chamberlain, William E. Weihl
The pessimism behind optimistic simulation. PADS (1994)
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)
Kavita Bala, M. Frans Kaashoek, William E. Weihl
Software Prefetching and Caching for Translation Lookaside Buffers. OSDI (1994)
Carl A. Waldspurger, William E. Weihl
Lottery Scheduling: Flexible Proportional-Share Resource Management. OSDI (1994)
William E. Weihl
The Impact of Recovery on Concurrency Control. J. Comput. Syst. Sci. 47 (1) (1993)
Carl A. Waldspurger, William E. Weihl
Register Relocation: Flexible Contexts for Multithreading. ISCA (1993)
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)
Elliot K. Kolodner, William E. Weihl
Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap. SIGMOD Conference (1993)
Eric A. Brewer, William E. Weihl
Developing Parallel Applications Using High-Performance Simulation. Workshop on Parallel and Distributed Debugging (1993)
Wilson C. Hsieh, Paul Wang, William E. Weihl
Computation Migration: Enhancing Locality for Distributed-Memory Parallel Systems. PPOPP (1993)
Sharon E. Perl, William E. Weihl
Performance Assertion Checking. SOSP (1993)
William E. Weihl
Prelude: Tools for Building Portable Parallel Programs (Abstract). ACM SIGOPS Oper. Syst. Rev. 26 (2) (1992)
Eric A. Brewer, Adrian Colbrook, Wilson C. Hsieh, Paul Wang, William E. Weihl
Pipes: Linguistic Support for Ordered Asynchronous Invocations. SIGPLAN Workshop (1992)
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)
Wilson C. Hsieh, William E. Weihl
Scalable Reader-Writer Locks for Parallel Systems. IPPS (1992)
Alan D. Fekete, Nancy A. Lynch, William E. Weihl
Hybrid Atomicity for Nested Transactions. ICDT (1992)
Elliot K. Kolodner, William E. Weihl
Atomic Garbage Collection. IWMM (1992)
Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl
On the Correctness of Orphan Management Algorithms. J. ACM 39 (4) (1992)
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) (1992)
Eric A. Brewer, Chrysanthos Dellarocas, Adrian Colbrook, William E. Weihl
PROTEUS: A High-Performance Parallel-Architecture Simulator. SIGMETRICS (1992)
Adrian Colbrook, Eric A. Brewer, Chrysanthos Dellarocas, William E. Weihl
An Algorithm for Concurrent Search Trees. ICPP (3) (1991)
Qin Huang, William E. Weihl
An evaluation of concurrent priority queue algorithms. SPDP (1991)
Maurice Herlihy, William E. Weihl
Hybrid Concurrency Control for Abstract Data Types. J. Comput. Syst. Sci. 43 (1) (1991)
William E. Weihl
Fault-tolerant parallel computing. ACM SIGOPS European Workshop (1990)
William E. Weihl
Using transactions in distributed applications. Compcon (1990)
Gary T. Leavens, William E. Weihl
Reasoning about Object-Oriented Programs that Use Subtypes. OOPSLA/ECOOP (1990)
William E. Weihl, Paul Wang
Multi-version memory: software cache management for concurrent B-trees. SPDP (1990)
Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
Commutativity-Based Locking for Nested Transactions. J. Comput. Syst. Sci. 41 (1) (1990)
William E. Weihl
Linguistic Support for Atomic Data Types. ACM Trans. Program. Lang. Syst. 12 (2) (1990)
Alan D. Fekete, Nancy A. Lynch, William E. Weihl
A Serialization Graph Construction for Nested Transactions. PODS (1990)
Elliot K. Kolodner, Barbara Liskov, William E. Weihl
Atomic Garbage Collection: Managing a Stable Heap. SIGMOD Conference (1989)
Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
Commutativity-Based Locking for Nested Transactions. POS (1989)
William E. Weihl
The Impact of Recovery on Concurrency Control. PODS (1989)
William E. Weihl
Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types. ACM Trans. Program. Lang. Syst. 11 (2) (1989)
Abdelsalam Heddaya, Meichun Hsu, William E. Weihl
Two Pase Gossip: Managing Distributed Event Histories. Inf. Sci. 49 (1-3) (1989)
Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan D. Fekete
A Theory of Atomic Transactions. ICDT (1988)
Maurice Herlihy, William E. Weihl
Hybrid Concurrency Control for Abstract Data Types. PODS (1988)
William E. Weihl
Commutativity-Based Concurrency Control for Abstract Data Types. IEEE Trans. Computers 37 (12) (1988)
James Aspnes, Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
A Theory of Timestamp-Based Concurrency Control for Nested Transactions. VLDB (1988)
William E. Weihl
Distributed Version Management for Read-Only Actions. IEEE Trans. Software Eng. 13 (1) (1987)
Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl
Nested Transactions and Read/Write Locking. PODS (1987)
Barbara Liskov, William E. Weihl
Specifications of Distributed Programs. Distributed Comput. 1 (2) (1986)
Irene Greif, Robert Seliger, William E. Weihl
Atomic Data Abstractions in a Distributed Collaborative Editing System. POPL (1986)
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) (1986)
William E. Weihl
Linguistic Support for Atomic Data Types. Data Types and Persistence (Appin), Informal Proceedings (1985)
William E. Weihl
Data-dependent Concurrency Control and Recovery. ACM SIGOPS Oper. Syst. Rev. 19 (1) (1985)
William E. Weihl
Distributed Version Management for Read-Only Actions (Extended Abstract). PODC (1985)
William E. Weihl, Barbara Liskov
Implementation of Resilient, Atomic Data Types. ACM Trans. Program. Lang. Syst. 7 (2) (1985)
William E. Weihl
Atomic Data Types. IEEE Database Eng. Bull. 8 (2) (1985)
William E. Weihl
Linguistic Support for Atomic Data Types. Data Types and Persistence (Appin) (1985)
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)
William E. Weihl, Barbara Liskov
Specification and implementation of resilient, atomic data types. ACM SIGPLAN Notices 18 (6) (1983)
William E. Weihl
Data-dependent Concurrency Control and Recovery (Extended Abstract). PODC (1983)
William E. Weihl
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables. POPL (1980)