%0 Conference Paper %1 huck2018compileraided %A Huck, Alexander %A Lehr, Jan-Patrick %A Kreutzer, Sebastian %A Protze, Joachim %A Terboven, Christian %A Bischof, Christian H. %A Müller, Matthias S. %B CORRECTNESS@SC %D 2018 %E Laguna, Ignacio %E Rubio-González, Cindy %I IEEE %K from:hermann metrics quality software %P 51-58 %T Compiler-aided Type Tracking for Correctness Checking of MPI Applications. %U http://dblp.uni-trier.de/db/conf/sc/correctness2018.html#HuckLKPTBM18 %@ 978-1-7281-0226-9

@inproceedings{huck2018compileraided, added-at = {2020-12-03T14:46:41.000+0100}, author = {Huck, Alexander and Lehr, Jan-Patrick and Kreutzer, Sebastian and Protze, Joachim and Terboven, Christian and Bischof, Christian H. and Müller, Matthias S.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d46d0e99034286bf9734b38dc4191ddd/dlrt}, booktitle = {CORRECTNESS@SC}, crossref = {conf/sc/2018correctness}, editor = {Laguna, Ignacio and Rubio-González, Cindy}, ee = {https://doi.org/10.1109/Correctness.2018.00011}, interhash = {cb2de44326e229a4c15930e6d92a397e}, intrahash = {d46d0e99034286bf9734b38dc4191ddd}, isbn = {978-1-7281-0226-9}, keywords = {from:hermann metrics quality software}, pages = {51-58}, publisher = {IEEE}, timestamp = {2020-12-03T13:46:52.000+0100}, title = {Compiler-aided Type Tracking for Correctness Checking of MPI Applications.}, url = {http://dblp.uni-trier.de/db/conf/sc/correctness2018.html#HuckLKPTBM18}, year = 2018 }