![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
William E. Weihl
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2004
- [c48]William E. Weihl:
Beyond content delivery: applications to the edge. NOSSDAV 2004: 1 - [c47]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
- [j26]John Dilley, Bruce M. Maggs, Jay Parikh, Harald Prokop, Ramesh K. Sitaraman
, William E. Weihl:
Globally Distributed Content Delivery. IEEE Internet Comput. 6(5): 50-58 (2002) - 2000
- [j25]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) - [j24]William E. Weihl:
SIGOPS 2000 Annual Report. ACM SIGOPS Oper. Syst. Rev. 34(4): 1-3 (2000) - [c46]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
1990 – 1999
- 1999
- [j23]William E. Weihl:
Message from the Chair. ACM SIGOPS Oper. Syst. Rev. 33(4): 1 (1999) - 1998
- [c45]Patrick Sobalvarro, Scott Pakin, William E. Weihl, Andrew A. Chien:
Dynamic Coscheduling on Workstation Clusters. JSSPP 1998: 231-256 - 1997
- [j22]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) - [c44]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 - [c43]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 - 1996
- [j21]Paul Wang, William E. Weihl:
Scalable Concurrent B-Trees Using Multi-Version Memory. J. Parallel Distributed Comput. 32(1): 28-48 (1996) - [j20]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): 97-108 (1996) - [c42]Ulana Legedza, William E. Weihl:
Reducing Synchronization Overhead in Parallel Simulation. Workshop on Parallel and Distributed Simulation 1996: 86-95 - [c41]Wilson C. Hsieh, M. Frans Kaashoek, William E. Weihl:
Dynamic Computation Migration in DSM Systems. SC 1996: 44 - [c40]Marc H. Brown, William E. Weihl:
Zippers: A Focus+Context Display of Web Pages. WebNet 1996 - 1995
- [j19]Gary T. Leavens, William E. Weihl:
Specification and Verification of Object-Oriented Programs Using Supertype Abstraction. Acta Informatica 32(8): 705-778 (1995) - [j18]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) - [j17]Alan D. Fekete, Nancy A. Lynch, William E. Weihl:
Hybrid Atomicity for Nested Transactions. Theor. Comput. Sci. 149(1): 151-178 (1995) - [c39]Patrick Sobalvarro, William E. Weihl:
Demand-Based Coscheduling of Parallel Jobs on Multiprogrammed Multiprocessors. JSSPP 1995: 106-126 - [c38]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 - 1994
- [c37]Carl A. Waldspurger, William E. Weihl:
Lottery Scheduling: Flexible Proportional-Share Resource Management. OSDI 1994: 1-11 - [c36]Kavita Bala
, M. Frans Kaashoek, William E. Weihl:
Software Prefetching and Caching for Translation Lookaside Buffers. OSDI 1994: 243-253 - [c35]George Varghese, Roger D. Chamberlain, William E. Weihl:
The pessimism behind optimistic simulation. PADS 1994: 126-131 - [c34]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 - 1993
- [b1]Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan D. Fekete:
Atomic Transactions. Morgan Kaufmann series in data management systems, Morgan Kaufmann 1993, ISBN 1-55860-104-X, pp. I-XXI, 1-500 - [j16]William E. Weihl:
The Impact of Recovery on Concurrency Control. J. Comput. Syst. Sci. 47(1): 157-184 (1993) - [c33]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 - [c32]Carl A. Waldspurger
, William E. Weihl:
Register Relocation: Flexible Contexts for Multithreading. ISCA 1993: 120-130 - [c31]Eric A. Brewer
, William E. Weihl:
Developing Parallel Applications Using High-Performance Simulation. Workshop on Parallel and Distributed Debugging 1993: 158-168 - [c30]Wilson C. Hsieh, Paul Wang, William E. Weihl:
Computation Migration: Enhancing Locality for Distributed-Memory Parallel Systems. PPoPP 1993: 239-248 - [c29]Elliot K. Kolodner, William E. Weihl:
Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap. SIGMOD Conference 1993: 177-186 - [c28]Sharon E. Perl, William E. Weihl:
Performance Assertion Checking. SOSP 1993: 134-145 - 1992
- [j15]Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl:
On the Correctness of Orphan Management Algorithms. J. ACM 39(4): 881-930 (1992) - [j14]William E. Weihl:
Prelude: Tools for Building Portable Parallel Programs (Abstract). ACM SIGOPS Oper. Syst. Rev. 26(2): 24 (1992) - [j13]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) - [c27]Alan D. Fekete, Nancy A. Lynch, William E. Weihl:
Hybrid Atomicity for Nested Transactions. ICDT 1992: 216-230 - [c26]Wilson C. Hsieh, William E. Weihl:
Scalable Reader-Writer Locks for Parallel Systems. IPPS 1992: 656-659 - [c25]Elliot K. Kolodner, William E. Weihl:
Atomic Garbage Collection. IWMM 1992: 365-387 - [c24]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 - [c23]Eric A. Brewer
, Chrysanthos Dellarocas, Adrian Colbrook, William E. Weihl:
PROTEUS: A High-Performance Parallel-Architecture Simulator. SIGMETRICS 1992: 247-248 - [c22]Eric A. Brewer
, Adrian Colbrook, Wilson C. Hsieh, Paul Wang, William E. Weihl:
Pipes: Linguistic Support for Ordered Asynchronous Invocations. SIGPLAN Workshop 1992: 80 - 1991
- [j12]Maurice Herlihy, William E. Weihl:
Hybrid Concurrency Control for Abstract Data Types. J. Comput. Syst. Sci. 43(1): 25-61 (1991) - [c21]Adrian Colbrook, Eric A. Brewer, Chrysanthos Dellarocas, William E. Weihl:
An Algorithm for Concurrent Search Trees. ICPP (3) 1991: 138-141 - [c20]Qin Huang, William E. Weihl:
An evaluation of concurrent priority queue algorithms. SPDP 1991: 518-525 - 1990
- [j11]Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl:
Commutativity-Based Locking for Nested Transactions. J. Comput. Syst. Sci. 41(1): 65-156 (1990) - [j10]William E. Weihl:
Linguistic Support for Atomic Data Types. ACM Trans. Program. Lang. Syst. 12(2): 178-202 (1990) - [c19]William E. Weihl:
Using transactions in distributed applications. Compcon 1990: 366-371 - [c18]Gary T. Leavens, William E. Weihl:
Reasoning about Object-Oriented Programs that Use Subtypes. OOPSLA/ECOOP 1990: 212-223 - [c17]Alan D. Fekete, Nancy A. Lynch, William E. Weihl:
A Serialization Graph Construction for Nested Transactions. PODS 1990: 94-108 - [c16]William E. Weihl:
Fault-tolerant parallel computing. ACM SIGOPS European Workshop 1990 - [c15]William E. Weihl, Paul Wang:
Multi-version memory: software cache management for concurrent B-trees. SPDP 1990: 650-655
1980 – 1989
- 1989
- [j9]Abdelsalam Heddaya, Meichun Hsu, William E. Weihl:
Two Pase Gossip: Managing Distributed Event Histories. Inf. Sci. 49(1-3): 35-57 (1989) - [j8]William E. Weihl:
Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types. ACM Trans. Program. Lang. Syst. 11(2): 249-283 (1989) - [c14]William E. Weihl:
The Impact of Recovery on Concurrency Control. PODS 1989: 259-269 - [c13]Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl:
Commutativity-Based Locking for Nested Transactions. POS 1989: 319-340 - [c12]Elliot K. Kolodner, Barbara Liskov, William E. Weihl:
Atomic Garbage Collection: Managing a Stable Heap. SIGMOD Conference 1989: 15-25 - 1988
- [j7]William E. Weihl:
Commutativity-Based Concurrency Control for Abstract Data Types. IEEE Trans. Computers 37(12): 1488-1505 (1988) - [c11]Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan D. Fekete:
A Theory of Atomic Transactions. ICDT 1988: 41-71 - [c10]Maurice Herlihy, William E. Weihl:
Hybrid Concurrency Control for Abstract Data Types. PODS 1988: 201-210 - [c9]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: 431-444 - 1987
- [j6]William E. Weihl:
Distributed Version Management for Read-Only Actions. IEEE Trans. Software Eng. 13(1): 55-64 (1987) - [c8]Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl:
Nested Transactions and Read/Write Locking. PODS 1987: 97-111 - 1986
- [j5]Barbara Liskov, William E. Weihl:
Specifications of Distributed Programs. Distributed Comput. 1(2): 102-118 (1986) - [j4]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) - [c7]Irene Greif, Robert Seliger, William E. Weihl:
Atomic Data Abstractions in a Distributed Collaborative Editing System. POPL 1986: 160-172 - 1985
- [j3]William E. Weihl:
Atomic Data Types. IEEE Database Eng. Bull. 8(2): 26-33 (1985) - [j2]William E. Weihl:
Data-dependent Concurrency Control and Recovery. ACM SIGOPS Oper. Syst. Rev. 19(1): 19-31 (1985) - [j1]William E. Weihl, Barbara Liskov:
Implementation of Resilient, Atomic Data Types. ACM Trans. Program. Lang. Syst. 7(2): 244-269 (1985) - [c6]William E. Weihl:
Linguistic Support for Atomic Data Types. Data Types and Persistence (Appin) 1985: 191-212 - [c5]William E. Weihl:
Distributed Version Management for Read-Only Actions (Extended Abstract). PODC 1985: 122-135 - [i1]William E. Weihl:
Linguistic Support for Atomic Data Types. Data Types and Persistence (Appin), Informal Proceedings 1985: 145-173 - 1983
- [c4]William E. Weihl:
Data-dependent Concurrency Control and Recovery (Extended Abstract). PODC 1983: 63-75 - [c3]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 - [c2]William E. Weihl, Barbara Liskov:
Specification and implementation of resilient, atomic data types. SIGPLAN 1983: 53-64 - 1980
- [c1]William E. Weihl:
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables. POPL 1980: 83-94
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint