Zobrazeno 1 - 8
of 8
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
Publikováno v:
Chinese Journal of Tissue Engineering Research / Zhongguo Zuzhi Gongcheng Yanjiu. 3/8/2025, Vol. 29 Issue 7, p1336-1342. 7p.
Publikováno v:
Journal of Physics: Conference Series; Aug2023, Vol. 2569 Issue 1, p1-7, 7p
Autor:
Dana Fisman, Grigore Rosu
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the Europea