Automatic generation of executable communication specifications from parallel applications.

Xing Wu, Frank Mueller, Scott Pakin

Browse the full ICS paper archive.