An algebraic approach to vectorial programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... (Preprint) Year : 2022

An algebraic approach to vectorial programs

Abstract

Vectorial programming, the combination of SIMD instructions with usual processor instructions, is known to speed-up many standard algorithms. Simple regular languages have benefited from this technology. This paper is a first step towards pushing these benefits further. We take advantage of the inner algebraic structure of regular languages and produce high level representations of efficient vectorial programs that recognize certain classes of regular languages. As a technical ingredient, we establish equivalences between classes of vectorial circuits and logical formalisms, namely unary temporal logic and first order logic. The main result is the construction of compilation procedures that turns syntactic semigroups into vectorial circuits. The circuits we obtain are small in that they improve known upper-bounds on representations of automata within the logical formalisms. The gain is mostly due to a careful sharing of sub-formulas based on algebraic tools.
Fichier principal
Vignette du fichier
main.pdf (796.79 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03831752 , version 1 (27-10-2022)

Identifiers

Cite

Charles Paperman, Sylvain Salvati, Claire Soyez-Martin. An algebraic approach to vectorial programs. 2022. ⟨hal-03831752⟩
158 View
140 Download

Altmetric

Share

Gmail Facebook X LinkedIn More