Author:
Beillahi Sidi Mohamed,Bouajjani Ahmed,Enea Constantin,Lahiri Shuvendu
Publisher
Springer Nature Switzerland
Reference31 articles.
1. Bacon, D.F., Graham, S.L., Sharp, O.J.: Compiler transformations for high-performance computing. ACM Comput. Surv. 26(4), 345–420 (1994). https://doi.org/10.1145/197405.197406
2. Beillahi, S.M., Bouajjani, A., Enea, C., Lahiri, S.: Artifact for the SAS 2022 paper: Automated Synthesis of Asynchronizations (May 2022). DOI: https://doi.org/10.5281/zenodo.7055422,https://doi.org/10.5281/zenodo.7055422
3. Beillahi, S.M., Bouajjani, A., Enea, C., Lahiri, S.: Automated synthesis of asynchronizations. CoRR abs/2209.06648 (2022), https://arxiv.org/abs/2209.06648
4. Lecture Notes in Computer Science;G Bierman,2012
5. Blackshear, S., Gorogiannis, N., O’Hearn, P.W., Sergey, I.: Racerd: compositional static race detection. Proc. ACM Program. Lang. 2(OOPSLA), 144:1–144:28 (2018). https://doi.org/10.1145/3276514