Write barrier removal by static analysis.

Karen Zee, Martin C. Rinard

Browse the full OOPSLA paper archive.