Repositories list

• pymwp

  Public
  A static analyzer of variable value growth for C programs.

  program-analysismwp-analysisimplicit-computational-complexity

  Python

  •

  GNU General Public License v3.0

  •1•4•7•0•Updated Jan 10, 2025Jan 10, 2025

• loop-fission

  Public
  Benchmarks of loop fission algorithm.

  dependency-analysisprogram-analysisautomatic-parallelization+ 2loop-optimizationprogram-transformation

  C

  •

  Other

  •0•5•0•0•Updated Nov 3, 2024Nov 3, 2024

• ifspec

  Public
  The IFSPEC information flow control benchmark suite.

  Java

  •

  Other

  •0•0•0•0•Updated Sep 9, 2024Sep 9, 2024

• .github

  Public
  HTML

  •0•0•0•0•Updated Nov 10, 2023Nov 10, 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

  •

  Creative Commons Zero v1.0 Universal

  •4•4•0•0•Updated Mar 5, 2021Mar 5, 2021