Skip to content

@lac-dcc Compilers Lab - DCC/UFMG

Change the repository type filter

All

    Repositories list

    40 repositories

    • baku

      Public
      Benchmark Automation with Knowledge-driven Utilization
      C
      •0•4•0•0•Updated Aug 23, 2025Aug 23, 2025

    • chimera

      Public
      A tool for synthesizing Verilog programs
      Verilog
      •
      GNU General Public License v3.0
      •11•98•10•1•Updated Aug 21, 2025Aug 21, 2025

    • hydra

      Public
      A benchmark game for guessing the hottest point of a program
      llvmcompilersprofiling
      C
      •
      GNU General Public License v3.0
      •0•17•1•1•Updated Aug 21, 2025Aug 21, 2025

    • Daedalus

      Public
      An LLVM pass to compress code by identifying and extracting recurrent program slices.
      C++
      •
      GNU General Public License v3.0
      •3•28•2•1•Updated Aug 20, 2025Aug 20, 2025

    • manticore

      Public
      C++
      •
      GNU General Public License v3.0
      •0•6•0•0•Updated Aug 20, 2025Aug 20, 2025

    • BenchGen

      Public
      Automatic Generation of Benchmarks to Stress-Test Computing Systems.
      TeX
      •
      Apache License 2.0
      •0•22•11•2•Updated Aug 19, 2025Aug 19, 2025

    • Kiriko

      Public
      C
      •1•2•0•0•Updated Aug 19, 2025Aug 19, 2025

    • ammit

      Public
      A Benchmark Collection for Testing Binary Diffing Tools
      C
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Aug 15, 2025Aug 15, 2025

    • lac-dcc.github.io

      Public
      HTML
      •0•0•0•0•Updated Aug 5, 2025Aug 5, 2025

    • Gagana

      Public
      The artiface to reproduce the experiments on the paper "On the Practicality of LLM-Based Compiler Fuzzing"
      Jupyter Notebook
      •
      MIT License
      •1•6•0•0•Updated Aug 4, 2025Aug 4, 2025

    • Nisse

      Public
      Ball Larus edge profiling with loop optimization
      C++
      •
      GNU General Public License v3.0
      •2•32•0•0•Updated Jul 11, 2025Jul 11, 2025

    • honey-potion

      Public
      Writing eBPF programs with Elixir!
      clinuxframeworkelixircompilermetaprogramminglinux-kerneloptimizerclangtracing
      C
      •
      GNU General Public License v3.0
      •11•285•7•1•Updated Jun 26, 2025Jun 26, 2025

    • benchMetrics

      Public
      C
      •0•4•0•0•Updated Jun 4, 2025Jun 4, 2025

    • sepe

      Public
      Synthesis of Optimized Hash Functions
      C++
      •
      GNU General Public License v3.0
      •3•54•0•0•Updated Dec 11, 2024Dec 11, 2024

    • llvm-course

      Public
      Code examples used for the LAC LLVM course
      C++
      •
      GNU General Public License v3.0
      •16•131•0•1•Updated Nov 8, 2024Nov 8, 2024

    • merlin

      Public
      Program instrumentation and cost function generation
      C++
      •
      GNU General Public License v3.0
      •1•28•0•0•Updated Aug 20, 2024Aug 20, 2024

    • tvm

      Public
      Open deep learning compiler stack for cpu, gpu and specialized accelerators
      Python
      •
      Apache License 2.0
      •3.6k•0•0•0•Updated Jun 17, 2024Jun 17, 2024

    • bennu

      Public
      template_autotvm
      Python
      •
      MIT License
      •0•4•0•0•Updated Jun 2, 2024Jun 2, 2024

    • DropletSearch

      Public
      Space search exploration in the compiler optimization space
      Python
      •
      GNU General Public License v3.0
      •1•13•0•0•Updated Dec 18, 2023Dec 18, 2023

    • lushu

      Public
      System to recognize infinite languages and react to string events
      reactive-programmingstring-eventunbound-data
      Jupyter Notebook
      •
      GNU General Public License v3.0
      •1•26•3•1•Updated Dec 10, 2023Dec 10, 2023

    • jotai-benchmarks

      Public
      Collection of executable benchmarks
      benchmarkingllvmclangfuzzingautotuningmachinelearningcompilation
      C
      •
      GNU General Public License v3.0
      •5•44•0•0•Updated Dec 1, 2023Dec 1, 2023

    • DCC888

      Public
      Python
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated Nov 29, 2023Nov 29, 2023

    • wyvern

      Public
      Automatic conversion of call by value into call by need in the LLVM IR.
      functional-programmingoptimizationcode-generationlazy-evaluationclosuresoutliningcompilerllvm
      C++
      •
      GNU General Public License v3.0
      •5•59•0•0•Updated Oct 15, 2023Oct 15, 2023

    • yali

      Public
      A framework to analyze a space formed by the combination of program encodings, obfuscation passes and stochastic classification models.
      obfuscationollvmmachine-learning
      LLVM
      •
      GNU General Public License v3.0
      •4•34•0•0•Updated Aug 1, 2023Aug 1, 2023

    • Angha

      Public
      Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.
      Python
      •
      GNU Lesser General Public License v2.1
      •3•22•0•0•Updated Jul 7, 2023Jul 7, 2023

    • koroghlu

      Public
      Project to build a docker for artifacts.
      Python
      •
      GNU General Public License v3.0
      •0•5•0•0•Updated Jun 29, 2023Jun 29, 2023

    • hamsa

      Public
      A tool to extract complexities and costs from programs and kernels
      C++
      •
      GNU General Public License v3.0
      •4•17•0•0•Updated Apr 19, 2023Apr 19, 2023

    • Zhe

      Public
      Discovery and Treatment of String Events
      Kotlin
      •0•9•0•2•Updated Mar 11, 2023Mar 11, 2023

    • lif

      Public
      A tool to eliminate timing-based side channels
      LLVM
      •
      GNU General Public License v3.0
      •7•50•3•0•Updated Dec 28, 2022Dec 28, 2022

    • elixir-pbbs

      Public
      Rewrite the Problem-Based Benchmark Suite in Elixir
      Elixir
      •
      MIT License
      •1•14•0•0•Updated Dec 20, 2022Dec 20, 2022