%0 Journal Article %1 journals/sigsoft/NamakonovMPS19 %A Namakonov, Egor %A Mercer, Eric %A Parízek, Pavel %A Storey, Kyle %D 2019 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 4 %P 18 %T Symbolic data race detection for Habanero programs. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft44.html#NamakonovMPS19 %V 44

@article{journals/sigsoft/NamakonovMPS19, added-at = {2020-09-17T00:00:00.000+0200}, author = {Namakonov, Egor and Mercer, Eric and Parízek, Pavel and Storey, Kyle}, biburl = {https://www.bibsonomy.org/bibtex/247af709d1feb635d8258a06e78831d65/dblp}, ee = {https://doi.org/10.1145/3364452.33644562}, interhash = {513d85942c146f7efb5e00c0c2ff27e8}, intrahash = {47af709d1feb635d8258a06e78831d65}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 4, pages = 18, timestamp = {2020-09-18T11:37:34.000+0200}, title = {Symbolic data race detection for Habanero programs.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft44.html#NamakonovMPS19}, volume = 44, year = 2019 }