Compilers Lab - DCC/UFMG

honey-potion

Writing eBPF programs with Elixir!

llvm-course

Code examples used for the LAC LLVM course

wyvern

Automatic conversion of call by value into call by need in the LLVM IR.

lif

A tool to eliminate timing-based side channels

sepe

Synthesis of Optimized Hash Functions

jotai-benchmarks

Collection of executable benchmarks

yali

A framework to analyze a space formed by the combination of program encodings, obfuscation passes and stochastic classification models.

merlin

Program instrumentation and cost function generation

lushu

System to recognize infinite languages and react to string events

Nisse

Ball Larus edge profiling with loop optimization

Angha

Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.

Benchmarks

LLVM test suite benchmarks (260 benchmarks - 36 test suites)

hamsa

A tool to extract complexities and costs from programs and kernels

elixir-pbbs

Rewrite the Problem-Based Benchmark Suite in Elixir

hapi

A domain specific language to define access policies.

DropletSearch

Space search exploration in the compiler optimization space

Zhe

Discovery and Treatment of String Events

chimera

A tool for synthesizing Verilog programs

JINN-C

JINN-C Adaptive Compiler for Heterogeneous Single-ISA architectures

bennu

template_autotvm

koroghlu

Project to build a docker for artifacts.

BenchGen

Automatic Generation of Benchmarks to Stress-Test Computing Systems.

hapi-visualizer

Web interface to visualize policies descriptions

page.bcmp

templates

Templates for presentations

Zhe-Lang

DCC888

ldc

The LLVM-based D compiler.

StaticFeatureExtractor

A Tool to Extract Code Features from JVM Compatible Languages.

lac-dcc.github.io