Vitalsource Technologies, Inc. Perspectives in Shape Analysis