Pinned Repositories
adapt-lidar-tools
Contains code/project notes/ and Data for GEO+CS lidar data processing
CodeSynthesis
ForestryServiceDatabase
GeoAc
Infrasonic ray tracing code
green-screen-demo
IEGenLib
Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
OCR_4_Forest_Service
omega
Omega Library/ Calculator
spf-dialect
An MLIR dialect for the Sparse Polyhedral Framework.
spf-ie
Sparse polyhedral framework optimizing compiler frontend
Boise State Adapt Lab's Repositories
BoiseState-AdaptLab/adapt-lidar-tools
Contains code/project notes/ and Data for GEO+CS lidar data processing
BoiseState-AdaptLab/spf-ie
Sparse polyhedral framework optimizing compiler frontend
BoiseState-AdaptLab/omega
Omega Library/ Calculator
BoiseState-AdaptLab/IEGenLib
Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
BoiseState-AdaptLab/OCR_4_Forest_Service
BoiseState-AdaptLab/CodeSynthesis
BoiseState-AdaptLab/GeoAc
Infrasonic ray tracing code
BoiseState-AdaptLab/green-screen-demo
BoiseState-AdaptLab/spf-dialect
An MLIR dialect for the Sparse Polyhedral Framework.
BoiseState-AdaptLab/boisestate-adaptlab.github.io
Source for https://boisestate-adaptlab.github.io
BoiseState-AdaptLab/Forest_Service
BoiseState-AdaptLab/ForestryServiceDatabase
BoiseState-AdaptLab/IEGENLIB_tutorial
BoiseState-AdaptLab/PDFG-IR_C_frontend
BoiseState-AdaptLab/adapt-mem-bench
An Application-Specific Memory Subsystem Benchmarking Framework
BoiseState-AdaptLab/HS_00_myFirstJavaScript
BoiseState-AdaptLab/HS_02_ShapeMaker
BoiseState-AdaptLab/PolyhedralDataflowIR
BoiseState-AdaptLab/Sparse_Format_Conversion_Experiments
A suite for benchmarking sparse format conversions using IntelMKL, SPARSKIT and TACO. The tool uses 14 sparse data sources from https://sparse.tamu.edu/ for benchmarking. It also uses a singularity conrtainer making it easy to run test on various machines.
BoiseState-AdaptLab/the-omega-project
Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega Calculator" (text interface); the "Omega Test" for depedence analysis; the "Uniform Library" for code transformation; and the "Code generation" library for generating the transformed code. I am experimenting with tracking bugs with Lighthouse, but am not yet sure I've got it configure right --- see http://davew_haverford.lighthouseapp.com/projects/13658-the-omega-project/overview (if you can; if you can't, email davew@cs.haverford.edu).
BoiseState-AdaptLab/VariationsOnATheme