Omega, Harmony and Cosmic Reading Group

Feb 13th: Pointer Analysis

Fast and accurate flow-insensitive points-to analysis
Marc Shapiro and Susan Horwitz
POPL '97, pages 1-14
PDF

Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C
Rakesh Ghiya and Laurie J. Hendren
POPL '96, pages 1-15
PDF

Solving shape-analysis problems in languages with destructive updating
Mooly Sagiv, Thomas Reps and Reinhard Wilhelm
POPL '96, pages 16-31
PDF

Feb 20th: CORBA and IDL

Flick: a flexible, optimizing IDL compiler
Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau and Gary Lindstrom
Proceedings of the 1997 ACM SIGPLAN conference on Programming language design and implementation, pages 44-56
PDF

CORBA: Integrating Diverse Applications within Distributed Heterogeneous Environments
Steve Vinoski
Gzip'd postscript

Feb 27th: No touch messages

IO-Lite: A unified I/O buffering and caching system
postscript

U-Net: A User-Level Network Interface for Parallel and Distributed Computing
Gzip'd postscript