22 citations · 108 across the 38 of their papers we have counts for
3 papers · 1 filter
A Novel Loop Fission Technique Inspired by Implicit Computational Complexity
Clément Aubert, Thomas Rubiano, Neea Rusch +1
This work explores an unexpected application of Implicit Computational Complexity (ICC) to parallelize loops in imperative programs. Thanks to a lightweight dependency analysis, ou…
pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs
Clément Aubert, Thomas Rubiano, Neea Rusch +1
Complexity analysis offers assurance of program's runtime behavior, but large classes of programs remain unanalyzable by existing automated techniques.The mwp-flow analysis sideste…
Loop Quasi-Invariant Chunk Motion by peeling with statement composition
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Several techniques for analysis and transformations are used in compilers. Among them, the peeling of loops for hoisting quasi-invariants can be used to optimize generated code, or…