Skip to content

@CompOpt4Apps CompOpt4Apps: Compiler Optimizations For Applications Research Group

Change the repository type filter

All

    Repositories list

    16 repositories

    • IEGenLib

      Public
      Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.
      C
      •
      BSD 2-Clause "Simplified" License
      •12•3•14•1•Updated Oct 26, 2022Oct 26, 2022

    • ParflowInstallation

      Public
      Shell
      •1•0•0•0•Updated Dec 31, 2020Dec 31, 2020

    • AthanPumaDemo

      Public
      C
      •0•1•0•0•Updated Nov 3, 2020Nov 3, 2020

    • Artifact-DataDepSimplify

      Public
      PLDI 2019 Artifact for "Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors"
      C
      •
      MIT License
      •3•6•0•0•Updated Sep 2, 2020Sep 2, 2020

    • IanHydroframeWork

      Public
      Jupyter Notebook
      •0•0•22•0•Updated Aug 13, 2020Aug 13, 2020

    • cuda-research

      Public
      Cuda
      •0•0•0•0•Updated Nov 1, 2019Nov 1, 2019

    • ians_cool_test_repo

      Public
      0•0•0•0•Updated Nov 1, 2019Nov 1, 2019

    • Artifact-SparseLoopParallelism

      Public
      Code that calls CHiLL to do data dependence analysis, uses IEGenLib to represent deps, and then converts them to Z3 problems along with user-defined assertions.
      C
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated Jan 14, 2019Jan 14, 2019

    • VariationsOnATheme

      Public
      C++
      •
      Other
      •1•0•0•0•Updated Aug 21, 2018Aug 21, 2018

    • Thesis

      Public
      Python
      •1•0•0•0•Updated Jul 27, 2018Jul 27, 2018

    • Artifact-datadepsimplify-arXiv-July2018

      Public
      Artifact that uses CHiLL for data dependence analysis, IEGenLib for simplification, and produces results for paper submitted to arXiv in July 2018.
      C
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jul 18, 2018Jul 18, 2018

    • LoopChainIR

      Public
      The code repository for the internal representation data structure that holds a loop chain execution schedule.
      C++
      •4•0•0•0•Updated Nov 3, 2017Nov 3, 2017

    • LoopChainToolDemo

      Public
      C++
      •0•0•1•0•Updated Oct 31, 2017Oct 31, 2017

    • DiamondTiling3DPrint

      Public
      Powder School District PWR internship project: 3D printing diamond tiling
      Java
      •1•0•0•0•Updated Jul 27, 2016Jul 27, 2016

    • DiamondTilingViz

      Public
      Various approaches to visualizing diamond tilings.
      C++
      •
      MIT License
      •2•0•3•0•Updated Jun 21, 2016Jun 21, 2016

    • LoopChainsWithRose

      Public
      A source-to-source translator implemented using Rose
      C++
      •0•0•0•0•Updated Mar 30, 2016Mar 30, 2016