ACM Transactions on Architecture and Code Optimization ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2019, 16 (4), pp.1-26. ⟨10.1145/3363785⟩ ACM Transactions on Architecture and Code Optimization, 2019, 16 (4), pp.1-26. ⟨10.1145/3363785⟩
SC SC 2019-International Conference for High Performance Computing, Networking, Storage and Analysis SC 2019-International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2019, Denver, United States. pp.1-13, ⟨10.1145/3295500.3356218⟩
LCTES Conference on Languages, Compilers, Tools, and Theory for Embedded Systems Conference on Languages, Compilers, Tools, and Theory for Embedded Systems, ACM SIGPLAN/SIGBED, Jun 2016, Santa Barbara, United States. pp.10, ⟨10.1145/2907950.2907960⟩
Journal of Logical and Algebraic Methods in Programming Journal of Logical and Algebraic Methods in Programming, Elsevier, 2018, 99, pp.143-177. 〈10.1016/j.jlamp.2018.05.005〉 Journal of Logical and Algebraic Methods in Programming, Elsevier, 2018, 99, pp.143-177. ⟨10.1016/j.jlamp.2018.05.005⟩ Journal of Logical and Algebraic Methods in Programming, 2018, 99, pp.143-177. ⟨10.1016/j.jlamp.2018.05.005⟩
IMPACT 2022-12th International Workshop on Polyhedral Compilation Techniques IMPACT 2022-12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary. pp.1-12