Visualizing type qualifier inference with Eclipse. - David Greenfieldboyce; Jeffrey S. Foster (eTX, 2004)

A data structure for non-manifold simplicial d-complexes. - Leila De Floriani; David Greenfieldboyce; Annie Hui (Symposium on Geometry Processing, 2004)

Type qualifier inference for java. - David Greenfieldboyce; Jeffrey S. Foster (OOPSLA, 2007)