Skip to content

@lac-dcc Compilers Lab - DCC/UFMG

Change the repository type filter

All

    Repositories list

    37 repositories

    • manticore

      Public
      GNU General Public License v3.0
      •0•3•0•0•Updated Mar 1, 2025Mar 1, 2025

    • baku

      Public
      Benchmark Automation with Knowledge-driven Utilization
      Jupyter Notebook
      •0•3•5•0•Updated Feb 28, 2025Feb 28, 2025

    • Daedalus

      Public
      Daedalus is an LLVM pass that compresses code by identifying and extracting recurrent program slices.
      C++
      •
      GNU General Public License v3.0
      •3•28•3•0•Updated Feb 28, 2025Feb 28, 2025

    • hydra

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

    • chimera

      Public
      A tool for synthesizing Verilog programs
      Verilog
      •
      GNU General Public License v3.0
      •7•72•9•1•Updated Feb 26, 2025Feb 26, 2025

    • BenchGen

      Public
      Automatic Generation of Benchmarks to Stress-Test Computing Systems.
      TeX
      •
      Apache License 2.0
      •0•12•5•0•Updated Feb 23, 2025Feb 23, 2025

    • benchMetrics

      Public
      C
      •0•4•0•0•Updated Jan 27, 2025Jan 27, 2025

    • honey-potion

      Public
      Writing eBPF programs with Elixir!
      clinuxframeworkcompilermetaprogramminglinux-kerneloptimizerclangtracingnetwork-monitoring
      C
      •
      GNU General Public License v3.0
      •10•262•6•1•Updated Jan 16, 2025Jan 16, 2025

    • lac-dcc.github.io

      Public
      HTML
      •0•0•0•0•Updated Dec 30, 2024Dec 30, 2024

    • sepe

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

    • Nisse

      Public
      Ball Larus edge profiling with loop optimization
      C++
      •
      GNU General Public License v3.0
      •2•29•0•0•Updated Nov 27, 2024Nov 27, 2024

    • llvm-course

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

    • merlin

      Public
      Program instrumentation and cost function generation
      C++
      •
      GNU General Public License v3.0
      •1•29•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.5k•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•43•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•58•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•31•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•23•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•49•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

    • Benchmarks

      Public
      LLVM test suite benchmarks (260 benchmarks - 36 test suites)
      C
      •4•18•2•0•Updated Feb 2, 2022Feb 2, 2022

    • hapi

      Public
      A domain specific language to define access policies.
      Kotlin
      •
      GNU General Public License v3.0
      •0•14•0•2•Updated Dec 1, 2021Dec 1, 2021

    • templates

      Public
      Templates for presentations
      TeX
      •
      GNU General Public License v3.0
      •1•3•0•0•Updated Sep 11, 2021Sep 11, 2021