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