Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Chris Hathhorn"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 102, Iss Proc. SSV 2012, Pp 115-124 (2012)
We extend an off-the-shelf, executable formal semantics of C (Ellison and Rosu's K Framework semantics) with the core features of CUDA-C. The hybrid CPU/GPU computation model of CUDA-C presents challenges not just for programmers, but also for practi
Externí odkaz:
https://doaj.org/article/dcbe501bac0f4f66b152a39ba5ca8567
Autor:
Jordan Johnson, Brian Weber, Jared Smith, Chris Hathhorn, Philip Irminger, Savannah Norem, Jennifer Guerra, Joel Dawson, Tyler McDaniel
Publikováno v:
2022 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::904be53e751c15d8beb347c34c8b95c5
https://doi.org/10.1109/isgt50606.2022.9817462
https://doi.org/10.1109/isgt50606.2022.9817462
Autor:
Chris Hathhorn
[ACCESS RESTRICTED TO THE UNIVERSITY OF MISSOURI AT AUTHOR'S REQUEST.] This thesis extends the work of Ellison and Ros,u [13, 12] but focuses on the "negative" semantics of the C11 language--the semantics required to not just give meaning to correct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::82777ee24c0f851073056a055789aa80
https://doi.org/10.32469/10355/63596
https://doi.org/10.32469/10355/63596
Publikováno v:
Computer Aided Verification ISBN: 9783319415277
CAV (1)
CAV (1)
We present RV-Match, a tool for checking C programs for undefined behavior and other common programmer mistakes. Our tool is extracted from the most complete formal semantics of the C11 language. Previous versions of this tool were used primarily for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4f3295842fd00976b63329f233850193
https://doi.org/10.1007/978-3-319-41528-4_24
https://doi.org/10.1007/978-3-319-41528-4_24
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 102, Iss Proc. SSV 2012, Pp 115-124 (2012)
SSV
SSV
We extend an off-the-shelf, executable formal semantics of C (Ellison and Rosu's K Framework semantics) with the core features of CUDA-C. The hybrid CPU/GPU computation model of CUDA-C presents challenges not just for programmers, but also for practi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1ce6fa255ddb1be3fdb3834c5792cba1
https://doaj.org/article/dcbe501bac0f4f66b152a39ba5ca8567
https://doaj.org/article/dcbe501bac0f4f66b152a39ba5ca8567
Publikováno v:
PLDI
We present a ``negative'' semantics of the C11 language---a semantics that does not just give meaning to correct programs, but also rejects undefined programs. We investigate undefined behavior in C and discuss the techniques and special consideratio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7469688c6d7e681d425919f13286ed81
https://doi.org/10.1145/2737924.2737979
https://doi.org/10.1145/2737924.2737979
Autor:
Chris Hathhorn
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 37:36-37
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61afe1a58ae5c1b7f700e88ab45e9006
https://doi.org/10.1145/2088883.2088908
https://doi.org/10.1145/2088883.2088908