Vitalsource Technologies, Inc. Programming Many-core Chips