An Expressive Annotation Model for Generating SPMD Programs | AMiner