Zobrazeno 1 - 5
of 5
pro vyhledávání: '"ZHIHANG SUN"'
Autor:
HONGYU FAN1 fhy18@mails.tsinghua.edu.cn, ZHIHANG SUN1 sunzh20@mails.tsinghua.edu.cn, FEI HE1 hefei@tsinghua.edu.cn
Publikováno v:
ACM Transactions on Programming Languages & Systems. Mar2023, Vol. 45 Issue 1, p1-37. 37p.
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:929-956
The happens-before orders have been widely adopted to model thread interleaving behaviors of concurrent programs. A dedicated ordering theory solver, usually composed of theory propagation, consistency checking, and conflict clause generation, plays
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b3f6f42448e9ef6555afc1989e307adf
https://doi.org/10.1145/3563321
https://doi.org/10.1145/3563321
Publikováno v:
2022 19th China International Forum on Solid State Lighting & 2022 8th International Forum on Wide Bandgap Semiconductors (SSLCHINA: IFWS).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6ea3f244c665d7dc509f6b1107dbe86c
https://doi.org/10.1109/sslchinaifws57942.2023.10071126
https://doi.org/10.1109/sslchinaifws57942.2023.10071126
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995263
is an SMT-based multi-threaded program verification tool. It is built on top of (front-end) and (back-end). The basic idea of is to integrate into the SMT solver an ordering consistency theory that handles ordering relations over the shared variable
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::435119219dd7d5b9699fc41e43257419
https://doi.org/10.1007/978-3-030-99527-0_25
https://doi.org/10.1007/978-3-030-99527-0_25
Publikováno v:
PLDI
Analyzing multi-threaded programs is hard due to the number of thread interleavings. Partial orders can be used for modeling and analyzing multi-threaded programs. However, there is no dedicated decision procedure for solving partial-order constraint
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ad1ec67c3ceb3096972d2c4e5bd1ab1b
https://doi.org/10.1145/3453483.3454108
https://doi.org/10.1145/3453483.3454108