An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection

Prasanth Chatarasi, Jun Shirako, Martin Kong, Vivek Sarkar. An Extended Polyhedral Model for SPMD Programs and Its Use in Static Data Race Detection. In Chen Ding, John Criswell, Peng Wu 0001, editors, Languages and Compilers for Parallel Computing - 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers. Volume 10136 of Lecture Notes in Computer Science, pages 106-120, Springer, 2016. [doi]

Authors

Prasanth Chatarasi

This author has not been identified. Look up 'Prasanth Chatarasi' in Google

Jun Shirako

This author has not been identified. Look up 'Jun Shirako' in Google

Martin Kong

This author has not been identified. Look up 'Martin Kong' in Google

Vivek Sarkar

This author has not been identified. It may be one of the following persons: Look up 'Vivek Sarkar' in Google