Publisher
Springer Nature Switzerland
Reference34 articles.
1. Bang, S., Nam, S., Chun, I., Jhoo, H.Y., Lee, J.: Smt-based translation validation for machine learning compiler. In: Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, 7–10 August 2022, Proceedings, Part II, p. 386-407, Springer, Berlin (2022). https://doi.org/10.1007/978-3-031-13188-2_19
2. Bastoul, C.: Openscop: A specification and a library for data exchange in polyhedral compilation tools. Paris-Sud University, France (September, Technical Report (2011)
3. Bernstein, A.J.: Analysis of programs for parallel processing. IEEE Trans. Electron. Comput. 15, 757–763 (1966). https://doi.org/10.1109/PGEC.1966.264565
4. Bondhugula, U., Hartono, A., Ramanujam, J., Sadayappan, P.: A practical automatic polyhedral parallelizer and locality optimizer. SIGPLAN Not. 43(6), 101–113 (2008). https://doi.org/10.1145/1379022.1375595
5. Boulmé, S., Maréchaly, A., Monniaux, D., Périn, M., Yu, H.: The verified polyhedron library: an overview. In: 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), pp. 9–17, September 2018. https://doi.org/10.1109/SYNASC.2018.00014