← SearchTAS::89 0222::TAS NEW; SOFTWARE SYNTHESIS FOR HIGH PRODUCTIVITY EXASCALE COMPUTING; PI - RASTISLAV BODIK$1,366,688FY2010Department of EnergyDOERegents Of The University Of California, TheInvestigatorsView source on USAspending →