{"id":795,"date":"2015-08-24T14:48:16","date_gmt":"2015-08-24T18:48:16","guid":{"rendered":"http:\/\/wordpress.cs.vt.edu\/csblog\/?p=795"},"modified":"2015-08-24T14:48:16","modified_gmt":"2015-08-24T18:48:16","slug":"google-faculty-research-award-recipients","status":"publish","type":"post","link":"https:\/\/wordpress.cs.vt.edu\/csblog\/2015\/08\/24\/google-faculty-research-award-recipients\/","title":{"rendered":"Google Faculty Research Award Recipients"},"content":{"rendered":"<p><a href=\"http:\/\/people.cs.vt.edu\/~dongyoon\/\">Dongyoon Lee and <\/a><a href=\"http:\/\/people.cs.vt.edu\/~chjung\/\">Changhee Jung<\/a>, assistant professors in computer science, have been selected for a Google Faculty Research Award.\u00a0 The project is entitled \u201cTxRace: Efficient Data Race Detection Using Commodity Hardware Transactional Memory\u201d.\u00a0\u00a0 Read the full abstract below or <a href=\"http:\/\/research.google.com\/university\/relations\/research_awards.html\">click here<\/a>:<\/p>\n<p>Detecting data races in multithreaded programs is crucial for ensuring their correct execution, but the high runtime overhead prevents the wide use of dynamic data race detectors. We propose TxRace, a new software data race detector that leverages commodity hardware transactional memory (HTM) to speed up data race detection. TxRace instruments a multithreaded program to transform synchronization-free regions into transactions, and exploits the con\ufb02ict detection mechanism of HTM for lightweight data race detection at runtime. However, the limitations of the current commodity HTMs expose several challenges in using them for data race detection: (1) frequent transaction abort due to non-con\ufb02ict reasons (e.g., unknown or capacity), (2) lack of ability to pinpoint racy instructions, and (3) cache line granularity of con\ufb02ict detection leading to false positives. To overcome such challenges, this proposal seeks to build an ef\ufb01cient, practical tool that performs lightweight HTM-based data race detection at \ufb01rst, and occasionally switches to slow yet precise data race detection only for small fraction of execution intervals in which potential races are reported.<\/p>\n<p>&nbsp;<\/p>\n<figure id=\"attachment_777\" class=\"thumbnail wp-caption alignnone\" style=\"width: 133px\"><a href=\"http:\/\/people.cs.vt.edu\/~dongyoon\/\"><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-777 size-full\" src=\"http:\/\/wordpress.cs.vt.edu\/csblog\/wp-content\/uploads\/sites\/6\/2015\/07\/Dongyoon-Lee.jpg\" alt=\"Dr. Dongyoon Lee\" width=\"123\" height=\"150\" \/><\/a><figcaption class=\"caption wp-caption-text\">Dr. Dongyoon Lee<\/figcaption><\/figure>\n<p>&nbsp;<\/p>\n<figure id=\"attachment_770\" class=\"thumbnail wp-caption alignnone\" style=\"width: 160px\"><a href=\"http:\/\/people.cs.vt.edu\/~chjung\/\"><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-770 size-full\" src=\"http:\/\/wordpress.cs.vt.edu\/csblog\/wp-content\/uploads\/sites\/6\/2015\/07\/Professor-Changhee-Jung-e1438101938519.jpg\" alt=\"Dr. Changhee Jung\" width=\"150\" height=\"200\" \/><\/a><figcaption class=\"caption wp-caption-text\">Dr. Changhee Jung<\/figcaption><\/figure>\n","protected":false},"excerpt":{"rendered":"<p>Dongyoon Lee and Changhee Jung, assistant professors in computer science, have been selected for a Google Faculty Research Award.\u00a0 The project is entitled \u201cTxRace: Efficient Data Race Detection Using Commodity Hardware Transactional Memory\u201d.\u00a0\u00a0 Read the full abstract below or click here: Detecting data races in multithreaded programs is crucial for ensuring their correct execution, but [&hellip;]<\/p>\n","protected":false},"author":27,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[5,1],"tags":[],"class_list":["post-795","post","type-post","status-publish","format-standard","hentry","category-faculty","category-news"],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/wordpress.cs.vt.edu\/csblog\/wp-json\/wp\/v2\/posts\/795","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wordpress.cs.vt.edu\/csblog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wordpress.cs.vt.edu\/csblog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wordpress.cs.vt.edu\/csblog\/wp-json\/wp\/v2\/users\/27"}],"replies":[{"embeddable":true,"href":"https:\/\/wordpress.cs.vt.edu\/csblog\/wp-json\/wp\/v2\/comments?post=795"}],"version-history":[{"count":5,"href":"https:\/\/wordpress.cs.vt.edu\/csblog\/wp-json\/wp\/v2\/posts\/795\/revisions"}],"predecessor-version":[{"id":813,"href":"https:\/\/wordpress.cs.vt.edu\/csblog\/wp-json\/wp\/v2\/posts\/795\/revisions\/813"}],"wp:attachment":[{"href":"https:\/\/wordpress.cs.vt.edu\/csblog\/wp-json\/wp\/v2\/media?parent=795"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wordpress.cs.vt.edu\/csblog\/wp-json\/wp\/v2\/categories?post=795"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wordpress.cs.vt.edu\/csblog\/wp-json\/wp\/v2\/tags?post=795"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}