type checking/inference systems / Data location management / function applications / model distributed memory systems / type systems / remote processors / local collection algorithms / Program/algorithm / Race condition detection systems / remote processor / /
Organization
University of California / Berkeley / National Aeronautics and Space Administration / Katherine Yelick University / National Science Foundation / /