{"id":"https://openalex.org/W3006697910","doi":"https://doi.org/10.1109/hipcw.2019.00021","title":"Theoretical and Practical Approaches for Teaching Parallel Code Correctness","display_name":"Theoretical and Practical Approaches for Teaching Parallel Code Correctness","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W3006697910","doi":"https://doi.org/10.1109/hipcw.2019.00021","mag":"3006697910"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/hipcw.2019.00021","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038957955","display_name":"Carlos Redondo","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carlos Redondo","raw_affiliation_strings":["The University of Texas at Austin, Austin, Texas, USA"],"affiliations":[{"raw_affiliation_string":"The University of Texas at Austin, Austin, Texas, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109157084","display_name":"Ritu Arora","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ritu Arora","raw_affiliation_strings":["Texas Advanced Computing Center, The University of Texas at Austin, Austin, Texas, USA"],"affiliations":[{"raw_affiliation_string":"Texas Advanced Computing Center, The University of Texas at Austin, Austin, Texas, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080548092","display_name":"Trung Nguyen Ba","orcid":null},"institutions":[],"countries":["US"],"is_corresponding":false,"raw_author_name":"Trung Nguyen Ba","raw_affiliation_strings":["University of Massachusetts at Amherst, Amherst, MA, USA"],"affiliations":[{"raw_affiliation_string":"University of Massachusetts at Amherst, Amherst, MA, USA","institution_ids":[]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":61},"biblio":{"volume":null,"issue":null,"first_page":"48","last_page":"55"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9988,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9988,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9956,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9953,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/troubleshooting","display_name":"Trouble shooting","score":0.6019994},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5411152}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.94622904},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.85277975},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6841412},{"id":"https://openalex.org/C147494362","wikidata":"https://www.wikidata.org/wiki/Q2078905","display_name":"Troubleshooting","level":2,"score":0.6019994},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5411152},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34172022},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34012508},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09816548},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.078549266}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/hipcw.2019.00021","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.43,"display_name":"Quality education","id":"https://metadata.un.org/sdg/4"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":12,"referenced_works":["https://openalex.org/W1510543252","https://openalex.org/W1994350081","https://openalex.org/W2001818158","https://openalex.org/W2043701535","https://openalex.org/W2114366801","https://openalex.org/W2245258423","https://openalex.org/W2912717508","https://openalex.org/W2914209928","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4236568631","https://openalex.org/W4244074832"],"related_works":["https://openalex.org/W4318325534","https://openalex.org/W4240398146","https://openalex.org/W4238338086","https://openalex.org/W4210597238","https://openalex.org/W4206476896","https://openalex.org/W3013479934","https://openalex.org/W2950310564","https://openalex.org/W2913357653","https://openalex.org/W2467308209","https://openalex.org/W1981753479"],"abstract_inverted_index":{"The":[0,85,110,185],"introductory-level":[1],"courses":[2,207],"on":[3,102,144,167,174,200],"parallel":[4,23,50,82,130,205],"programming,":[5],"typically,":[6],"do":[7],"not":[8,124],"cover":[9],"the":[10,19,42,58,103,147,157,161,164,168,172,175,178,194,198],"topic":[11],"of":[12,37,60,129,146,156,177,182],"code":[13,51,83,115,159,201],"correctness.":[14,84],"Often,":[15],"students":[16,61],"learn":[17],"about":[18],"logical":[20,135,183],"errors":[21,136],"in":[22,41,107,160,188,196,203],"programs":[24,131],"and":[25,30,32,39,62,71,80,95,153,170,180,208],"troubleshoot":[26],"them":[27],"through":[28,117],"trial":[29],"error,":[31],"spend":[33],"a":[34,127,141],"significant":[35],"amount":[36],"time":[38],"effort":[40],"process.":[43],"A":[44],"systematic":[45],"pedagogical":[46],"approach":[47,112],"to":[48,56],"teaching":[49,81,114],"correctness":[52,116,202],"is":[53],"therefore":[54],"needed":[55],"enhance":[57],"productivity":[59],"instructors.":[63],"In":[64],"this":[65,108,189],"paper,":[66],"we":[67,122],"describe":[68],"some":[69],"theoretical":[70,86],"practical":[72,111],"approaches":[73,87,101],"that":[74],"can":[75,191],"be":[76],"adopted":[77],"for":[78,149],"assessing":[79],"include":[88],"using":[89],"formal":[90],"methods":[91],"(e.g.,":[92],"Petri":[93],"nets":[94],"Hoare":[96],"Logic).":[97],"We":[98],"apply":[99],"these":[100],"test":[104],"cases":[105],"discussed":[106],"paper.":[109],"involves":[113],"demonstrations.":[118],"For":[119],"enabling":[120],"this,":[121],"have":[123,138],"only":[125],"curated":[126],"repository":[128,148,173],"with":[132],"commonly":[133],"made":[134],"but":[137],"also":[139],"added":[140],"high-level":[142],"interface":[143],"top":[145],"quickly":[150],"comparing":[151],"fixed":[152],"incorrect":[154],"versions":[155],"sample":[158],"repository,":[162],"seeing":[163],"explanation":[165],"text":[166],"errors,":[169],"searching":[171],"basis":[176],"causes":[179],"symptoms":[181],"errors.":[184],"work":[186],"presented":[187],"paper":[190],"potentially":[192],"motivate":[193],"instructors":[195],"including":[197],"content":[199],"their":[204],"programming":[206],"trainings.":[209]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3006697910","counts_by_year":[],"updated_date":"2024-12-10T06:53:30.553675","created_date":"2020-03-06"}