A Programming Model For Precise Computation Control Satisfying Application Specific Semantics. by Jayanth S. Venkataraman