Skip to content

@cdl-saarland Compiler Design Lab - Saarland University

Change the repository type filter

All

    Repositories list

    23 repositories

    • rv

      Public
      RV: A Unified Region Vectorizer for LLVM
      compileropenmpsimdavx2vectorizationavx512compiler-optimizationarm-neonloop-optimizationspmd
      C++
      •
      Other
      •16•106•16•0•Updated Oct 16, 2024Oct 16, 2024

    • pmtestbench

      Public
      Code development and artifact for our port mapping inference approaches
      Python
      •
      MIT License
      •0•6•0•0•Updated Mar 25, 2024Mar 25, 2024

    • llvm_dsl

      Public
      Material for "Build your own DSL using LLVM: A Hands-on Workshop"
      C++
      •0•1•0•0•Updated Mar 20, 2024Mar 20, 2024

    • iwho

      Public
      Instructions With Holes: A library for matching instructions to more abstract schemes that can be instantiated with other operands.
      Python
      •
      MIT License
      •0•4•0•0•Updated Feb 27, 2024Feb 27, 2024

    • AnICA-UI

      Public
      A user interface to work with the results of AnICA.
      Python
      •
      MIT License
      •0•1•0•0•Updated Jul 11, 2023Jul 11, 2023

    • llvm_demystified

      Public
      Material for "LLVM Demystified: A Hands-On Workshop for HPC Developers"
      LLVM
      •0•2•0•0•Updated May 16, 2023May 16, 2023

    • sleef

      Public
      RV-adjusted version of the "SIMD Library for Evaluating Elementary Functions, vectorized libm and DFT"
      C
      •
      Boost Software License 1.0
      •135•0•0•0•Updated Feb 21, 2023Feb 21, 2023

    • MemInstrument

      Public
      A framework to make C memory safe
      C++
      •
      University of Illinois/NCSA Open Source License
      •0•3•0•0•Updated Sep 20, 2022Sep 20, 2022

    • MemInstrument-Runtime

      Public
      C runtime component for MemInstrument
      C
      •
      University of Illinois/NCSA Open Source License
      •0•2•5•0•Updated Sep 20, 2022Sep 20, 2022

    • AnICA-Artifact

      Public
      Vagrant VM config for the AnICA aritfact eval
      Shell
      •
      MIT License
      •0•1•0•0•Updated Sep 6, 2022Sep 6, 2022

    • AnICA

      Public
      Analyzing Inconsistencies of Code Analyzers
      Python
      •
      MIT License
      •0•4•0•0•Updated Sep 6, 2022Sep 6, 2022

    • pmevo-artifact

      Public
      PLDI'20 Research Artifact for the PMEvo Project
      Python
      •
      MIT License
      •2•7•0•0•Updated Dec 7, 2021Dec 7, 2021

    • vellvm

      Public
      The Vellvm (Verified LLVM) coq development.
      Coq
      •
      Other
      •34•0•0•0•Updated Sep 30, 2021Sep 30, 2021

    • axtor

      Public
      AST - Extractor for LLVM
      openclllvmdecompilerast
      C++
      •
      Other
      •5•18•0•1•Updated Feb 23, 2021Feb 23, 2021

    • uniana

      Public
      Coq
      •1•1•0•0•Updated Nov 26, 2020Nov 26, 2020

    • uniana-artifact

      Public
      POPL'21 Research Artifact
      0•0•0•0•Updated Oct 23, 2020Oct 23, 2020

    • noise

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Dec 2, 2019Dec 2, 2019

    • llvm-vp

      Public
      Vector Predication extension for LLVM
      LLVM
      •
      Other
      •0•1•0•0•Updated Oct 24, 2019Oct 24, 2019

    • llvm-aurora-dev

      Public
      llvm cloned from https://github.com/llvm-mirror/llvm and modified for VE
      LLVM
      •
      Other
      •1•1•0•0•Updated Jun 13, 2019Jun 13, 2019

    • vplan-rv

      Public
      LLVM
      •
      Other
      •0•2•0•0•Updated Jan 15, 2019Jan 15, 2019

    • PolyhedralExpressionPropagation

      Public
      Polyhedral Expression Propagation as described by the Compiler Consturction (CC) paper 2018.
      C++
      •1•3•0•0•Updated Jan 21, 2018Jan 21, 2018

    • CGO17_ArtifactEvaluation

      Public
      Artifact evaluation repository for the CGO17 paper: Optimistic Loop Optimization
      C
      •4•5•0•0•Updated Dec 10, 2016Dec 10, 2016

    • spolly

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Jul 23, 2015Jul 23, 2015