Publications

Analysis of pointers and structures
- - David R. Chase
  - Mark Wegman
  - et al.
- 1990
- PLDI 1990
Instruction reordering for fork-join parallelism
- - Vivek Sarkar
- 1990
- PLDI 1990
801 storage: Architecture and programming
- - Albert Chang
  - Mark F. Mergen
- 1987
- SOSP 1987
Recovery management in QuickSilver
- - Roger Haskin
  - Yoni Malachi
  - et al.
- 1987
- SOSP 1987
Verifying deep logic hierarchies with ALEX
- - George M. Koppelman
  - Klim Maling
- 1980
- DAC 1980
A new look at logic synthesis
- - John A. Darringer
  - William H. Joyner
- 1980
- DAC 1980
Performance of a collision-free local bus network having asynchronous distributed control
- - Carl V. Kanadier
  - Gerald S. Shedler
- 1980
- ISCA 1980
Sharing data and services in a virtual machine system
- - J.D. Bagley
  - E.R. Floto
  - et al.
- 1975
- SOSP 1975
A page allocation strategy for multiprogramming systems
- - Donald D. Chamberlin
  - Samuel H. Fuller
  - et al.
- 1973
- SOSP 1973
Minimizing the problem of logic testing by the interaction of a design group with user-oriented facilities
- - Manuel Correia
  - Donald Cossman
  - et al.
- 1970
- DAC 1970