nimit-singhania

Pinned Repositories

loopy
A system for programming formally-verified loop transformations.
Language:C16 1 15
mosaic
A tool to learn Piecewise Affine Models from Input-Output Data.
Language:MATLAB22
gpudrano-static-analysis_v1.0
GPU Drano Static Analysis for GPU programs.
Language:C++22 9 14

nimit-singhania's Repositories

nimit-singhania/loopy
A system for programming formally-verified loop transformations.
Language:C16 1 15
nimit-singhania/mosaic
A tool to learn Piecewise Affine Models from Input-Output Data.
Language:MATLAB22