Matches in SemOpenAlex for { <https://semopenalex.org/work/W3006697910> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W3006697910 abstract "The introductory-level courses on parallel programming, typically, do not cover the topic of code correctness. Often, students learn about the logical errors in parallel programs and troubleshoot them through trial and error, and spend a significant amount of time and effort in the process. A systematic pedagogical approach to teaching parallel code correctness is therefore needed to enhance the productivity of students and instructors. In this paper, we describe some theoretical and practical approaches that can be adopted for assessing and teaching parallel code correctness. The theoretical approaches include using formal methods (e.g., Petri nets and Hoare Logic). We apply these approaches on the test cases discussed in this paper. The practical approach involves teaching code correctness through demonstrations. For enabling this, we have not only curated a repository of parallel programs with commonly made logical errors but have also added a high-level interface on top of the repository for quickly comparing fixed and incorrect versions of the sample code in the repository, seeing the explanation text on the errors, and searching the repository on the basis of the causes and symptoms of logical errors. The work presented in this paper can potentially motivate the instructors in including the content on code correctness in their parallel programming courses and trainings." @default.
- W3006697910 created "2020-03-06" @default.
- W3006697910 creator A5038957955 @default.
- W3006697910 creator A5054505031 @default.
- W3006697910 creator A5080548092 @default.
- W3006697910 date "2019-12-01" @default.
- W3006697910 modified "2023-09-26" @default.
- W3006697910 title "Theoretical and Practical Approaches for Teaching Parallel Code Correctness" @default.
- W3006697910 cites W1510543252 @default.
- W3006697910 cites W1994350081 @default.
- W3006697910 cites W2001818158 @default.
- W3006697910 cites W2043701535 @default.
- W3006697910 cites W2114366801 @default.
- W3006697910 cites W2245258423 @default.
- W3006697910 cites W2914209928 @default.
- W3006697910 cites W3146075203 @default.
- W3006697910 doi "https://doi.org/10.1109/hipcw.2019.00021" @default.
- W3006697910 hasPublicationYear "2019" @default.
- W3006697910 type Work @default.
- W3006697910 sameAs 3006697910 @default.
- W3006697910 citedByCount "0" @default.
- W3006697910 crossrefType "proceedings-article" @default.
- W3006697910 hasAuthorship W3006697910A5038957955 @default.
- W3006697910 hasAuthorship W3006697910A5054505031 @default.
- W3006697910 hasAuthorship W3006697910A5080548092 @default.
- W3006697910 hasConcept C111919701 @default.
- W3006697910 hasConcept C115903868 @default.
- W3006697910 hasConcept C147494362 @default.
- W3006697910 hasConcept C177264268 @default.
- W3006697910 hasConcept C199360897 @default.
- W3006697910 hasConcept C2776760102 @default.
- W3006697910 hasConcept C41008148 @default.
- W3006697910 hasConcept C55439883 @default.
- W3006697910 hasConcept C80444323 @default.
- W3006697910 hasConceptScore W3006697910C111919701 @default.
- W3006697910 hasConceptScore W3006697910C115903868 @default.
- W3006697910 hasConceptScore W3006697910C147494362 @default.
- W3006697910 hasConceptScore W3006697910C177264268 @default.
- W3006697910 hasConceptScore W3006697910C199360897 @default.
- W3006697910 hasConceptScore W3006697910C2776760102 @default.
- W3006697910 hasConceptScore W3006697910C41008148 @default.
- W3006697910 hasConceptScore W3006697910C55439883 @default.
- W3006697910 hasConceptScore W3006697910C80444323 @default.
- W3006697910 hasLocation W30066979101 @default.
- W3006697910 hasOpenAccess W3006697910 @default.
- W3006697910 hasPrimaryLocation W30066979101 @default.
- W3006697910 hasRelatedWork W10147339 @default.
- W3006697910 hasRelatedWork W12455754 @default.
- W3006697910 hasRelatedWork W12986456 @default.
- W3006697910 hasRelatedWork W3887197 @default.
- W3006697910 hasRelatedWork W4050534 @default.
- W3006697910 hasRelatedWork W5757304 @default.
- W3006697910 hasRelatedWork W6586607 @default.
- W3006697910 hasRelatedWork W8663418 @default.
- W3006697910 hasRelatedWork W8828592 @default.
- W3006697910 hasRelatedWork W9387966 @default.
- W3006697910 isParatext "false" @default.
- W3006697910 isRetracted "false" @default.
- W3006697910 magId "3006697910" @default.
- W3006697910 workType "article" @default.