In particular, the objective of this SIG is to develop the appropriate levels of abstraction for developing new applications, as well as to develop tools for parallelizing existing applications for massively concurrent systems. Based on these levels of abstractions, an application software development system with appropriately coordinated programming models, compilers, formal methods, and libraries will be designed to dramatically reduce the cost of creating a large software base for future concurrent hardware platforms.