Java Vector API: Benchmarking and Performance Analysis. - Matteo Basso; Andrea Rosà; Luca Omini; Walter Binder (CC, 2023)