3 citations · 4 across the 6 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…
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity
Clément Aubert, Thomas Rubiano, Neea Rusch +1
Implicit Computational Complexity (ICC) drives better understanding of complexity classes, but it also guides the development of resources-aware languages and static source code an…
Realizing Implicit Computational Complexity
Clément Aubert, Thomas Rubiano, Neea Rusch +1
This abstract aims at presenting an ongoing effort to apply a novel typing mechanism stemming from Implicit Computational Complexity (ICC), that tracks dependencies between variabl…