pith. sign in

FAST: acceleration from theory to practice

Bardin S, Finkel A, Leroux J, Petrucci L · 2008 · DOI 10.1007/s10009-008-0064-3

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it
open at publisher browse 2 citing papers

fields

cs.LO 2

years

2026 1 2023 1

verdicts

UNVERDICTED 2

representative citing papers

Accelerating Loops with Arrays

cs.LO · 2026-05-19 · unverdicted · novelty 7.0

A new acceleration method for array-manipulating loops uses inductive lvalues and lambdas to unify treatment with scalars and enable lemma-on-demand SMT solving.

citing papers explorer

Showing 2 of 2 citing papers.

  • Accelerating Loops with Arrays cs.LO · 2026-05-19 · unverdicted · none · ref 5

    A new acceleration method for array-manipulating loops uses inductive lvalues and lambdas to unify treatment with scalars and enable lemma-on-demand SMT solving.

  • On the Complexity of Proving Polyhedral Reductions cs.LO · 2023-06-02 · unverdicted · none · ref 24

    Presents an SMT encoding to automatically prove polyhedral abstractions for Petri nets, complete for flat nets via Presburger reachability.