%0 Journal Article %1 journals/corr/GopalakrishnanH17 %A Gopalakrishnan, Ganesh %A Hovland, Paul D. %A Iancu, Costin %A Krishnamoorthy, Sriram %A Laguna, Ignacio %A Lethin, Richard A. %A Sen, Koushik %A Siegel, Stephen F. %A Solar-Lezama, Armando %D 2017 %J CoRR %K dblp %T Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC. %U http://dblp.uni-trier.de/db/journals/corr/corr1705.html#GopalakrishnanH17 %V abs/1705.07478

@article{journals/corr/GopalakrishnanH17, added-at = {2018-08-13T00:00:00.000+0200}, author = {Gopalakrishnan, Ganesh and Hovland, Paul D. and Iancu, Costin and Krishnamoorthy, Sriram and Laguna, Ignacio and Lethin, Richard A. and Sen, Koushik and Siegel, Stephen F. and Solar-Lezama, Armando}, biburl = {https://www.bibsonomy.org/bibtex/2fbb336020044d3747d35e5cf6b1d98b2/dblp}, ee = {http://arxiv.org/abs/1705.07478}, interhash = {945a519347c60f324e21cdd5c2675f1f}, intrahash = {fbb336020044d3747d35e5cf6b1d98b2}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:49:14.000+0200}, title = {Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1705.html#GopalakrishnanH17}, volume = {abs/1705.07478}, year = 2017 }