Practical formal correctness checking of million-core problem solving environments for HPC.

Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins

Browse the full ICSE paper archive.