Skip to content
@statycc

Static Analyses of Program Flows: Types and Certificate for Complexity

README.md

StATyCC stands for "Static Analyses of Program Flows: Types and Certificate for Complexity." This is a two-year international collaborative project funded by the Transatlantic Research Partnership and involving the School of Computer and Cyber Sciences of the Augusta University and the Northern Paris Computer Science Lab of the University of Paris 13.

The project aims at providing new static analysis tools based on theoretical results from Implicit computational complexity, building on previous work of Moyen, Rubiano and Seiller [1]. It revolves around certified compositional analysis of source code, loop optimization through an original dependency model. Application to parallel optimization and intermediate representation are currently being investigated.

Pinned

  1. pymwp pymwp Public

    A static analyzer of variable value growth for C programs.

    Python 3 1

  2. LQICM_On_C_Toy_Parser LQICM_On_C_Toy_Parser Public

    This Loop Quasi-Invariant Chunk Motion pass use the "pyCParser" to modify C programs' AST and produce an optimized one semantically equivalent.

    Python 4 4

Repositories

Showing 4 of 4 repositories
  • pymwp Public

    A static analyzer of variable value growth for C programs.

    Python 3 GPL-3.0 1 7 0 Updated May 21, 2024
  • .github Public
    HTML 0 0 0 0 Updated Nov 10, 2023
  • loop-fission Public

    Benchmarks of loop fission algorithm.

    C 4 0 0 0 Updated Jan 9, 2023
  • LQICM_On_C_Toy_Parser Public

    This Loop Quasi-Invariant Chunk Motion pass use the "pyCParser" to modify C programs' AST and produce an optimized one semantically equivalent.

    Python 4 CC0-1.0 4 0 0 Updated Mar 5, 2021

Top languages

Loading…

Most used topics

Loading…