Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Shiyou Huang"'
Publikováno v:
TEM Journal. Feb2024, Vol. 13 Issue 1, p452-465. 14p.
Publikováno v:
International Journal of Morphology. 39:1311-1315
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2126399ff2cbdbce3e7cfad4f6b78f3a
https://doi.org/10.4067/s0717-95022021000501311
https://doi.org/10.4067/s0717-95022021000501311
Publikováno v:
ICSE
Java is a safe programming language by providing bytecode verification and enforcing memory protection. For instance, programmers cannot directly access the memory but have to use object references. Yet, the Java runtime provides an Unsafe API as a b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a3576b4f5bb35d7db16e71a831799579
https://doi.org/10.1109/icse.2019.00095
https://doi.org/10.1109/icse.2019.00095
Publikováno v:
ICSE: International Conference on Software Engineering; 5/25/2019, p889-899, 11p
Autor:
Jeff Huang, Shiyou Huang
Publikováno v:
OOPSLA
Verifying concurrent programs is challenging due to the exponentially large thread interleaving space. The problem is exacerbated by relaxed memory models such as Total Store Order (TSO) and Partial Store Order (PSO) which further explode the interle
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d7988cabdedc7225053904128d0bd470
https://doi.org/10.1145/2983990.2984025
https://doi.org/10.1145/2983990.2984025
Publikováno v:
International Journal of Morphology. Oct2021, Vol. 39 Issue 5, p1311-1315. 5p.