BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
12 × USA
2 × France
Collaborated with:
E.K.Kolodner A.Fekete N.A.Lynch W.C.Hsieh S.E.Perl G.T.Leavens M.Herlihy M.Merritt P.Wang B.Liskov I.Greif R.Seliger S.Leung M.T.Vandevoorde C.A.Waldspurger D.A.Wallach K.L.Johnson M.F.Kaashoek J.Aspnes M.Burrows Ú.Erlingsson K.Walker J.M.Anderson L.M.Berc J.Dean S.Ghemawat M.R.Henzinger R.L.Sites
Talks about:
atom (4) transact (3) control (3) concurr (3) collect (3) garbag (3) nest (3) data (3) distribut (2) recoveri (2)

Person: William E. Weihl

DBLP DBLP: Weihl:William_E=

Contributed to:

ASPLOS 20002000
SOSP 19971997
PPoPP 19951995
PPoPP 19931993
SIGMOD 19931993
SOSP 19931993
IWMM 19921992
SOSP 19911992
OOPSLA 19901990
PODS 19901990
PODS 19891989
SIGMOD 19891989
PODS 19881988
VLDB 19881988
PODS 19871987
POPL 19861986
POPL 19801980

Wrote 17 papers:

ASPLOS-2000-BurrowsELVWWW #flexibility #performance
Efficient and Flexible Value Sampling (MB, ÚE, STL, MTV, CAW, KW, WEW), pp. 160–167.
SOSP-1997-AndersonBDGHLSVWW #profiling #question
Continuous Profiling: Where Have All the Cycles Gone? (JAMA, LMB, JD, SG, MRH, STL, RLS, MTV, CAW, WEW), pp. 1–14.
PPoPP-1995-WallachHJKW #communication #scheduling
Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation (DAW, WCH, KLJ, MFK, WEW), pp. 217–226.
PPoPP-1993-HsiehWW #locality #migration #parallel
Computation Migration: Enhancing Locality for Distributed-Memory Parallel Systems (WCH, PW, WEW), pp. 239–248.
SIGMOD-1993-KolodnerW #garbage collection #incremental #scalability
Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap (EKK, WEW), pp. 177–186.
SOSP-1993-PerlW #performance
Performance Assertion Checking (SEP, WEW), pp. 134–145.
IWMM-1992-KolodnerW #garbage collection
Atomic Garbage Collection (EKK, WEW), pp. 365–387.
SOSP-WIP-1991-Weihl92 #named #parallel #source code #tool support
Prelude: Tools for Building Portable Parallel Programs (WEW), p. 24.
OOPSLA-ECOOP-1990-LeavensW #object-oriented #reasoning #source code #type system
Reasoning about Object-Oriented Programs that Use Subtypes (GTL, WEW), pp. 212–223.
PODS-1990-FeketeLW #graph #transaction
A Serialization Graph Construction for Nested Transactions (AF, NAL, WEW), pp. 94–108.
PODS-1989-Weihl #concurrent
The Impact of Recovery on Concurrency Control (WEW), pp. 259–269.
SIGMOD-1989-KolodnerLW #garbage collection
Atomic Garbage Collection: Managing a Stable Heap (EKK, BL, WEW), pp. 15–25.
PODS-1988-HerlihyW #concurrent #data type #hybrid
Hybrid Concurrency Control for Abstract Data Types (MH, WEW), pp. 201–210.
VLDB-1988-AspnesFLMW #concurrent #formal method #transaction
A Theory of Timestamp-Based Concurrency Control for Nested Transactions (JA, AF, NAL, MM, WEW), pp. 431–444.
PODS-1987-FeketeLMW #transaction
Nested Transactions and Read/Write Locking (AF, NAL, MM, WEW), pp. 97–111.
POPL-1986-GreifSW #abstraction #collaboration #distributed #editing
Atomic Data Abstractions in a Distributed Collaborative Editing System (IG, RS, WEW), pp. 160–172.
POPL-1980-Weihl #analysis #data flow #interprocedural #pointer
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables (WEW), pp. 83–94.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.