Compilers Lab - DCC/UFMG

Belo Horizonte, Brazil

Pinned Repositories

chimera
A tool for synthesizing Verilog programs
Language:Verilog101 3 6012
honey-potion
Writing eBPF programs with Elixir!
Language:C268 8 2811
jotai-benchmarks
Collection of executable benchmarks
Language:C43 4 05
lif
A tool to eliminate timing-based side channels
Language:LLVM49 7 37
llvm-course
Code examples used for the LAC LLVM course
Language:C++130 7 016
merlin
Program instrumentation and cost function generation
Language:C++29 3 01
Nisse
Ball Larus edge profiling with loop optimization
Language:C++31 2 02
sepe
Synthesis of Optimized Hash Functions
Language:C++53 2 03
wyvern
Automatic conversion of call by value into call by need in the LLVM IR.
Language:C++59 4 15
yali
A framework to analyze a space formed by the combination of program encodings, obfuscation passes and stochastic classification models.
Language:LLVM33 5 04

Compilers Lab - DCC/UFMG's Repositories

lac-dcc/honey-potion
Writing eBPF programs with Elixir!
Language:C268 8 2811
lac-dcc/llvm-course
Code examples used for the LAC LLVM course
Language:C++130 7 016
lac-dcc/chimera
A tool for synthesizing Verilog programs
Language:Verilog101 3 6012
lac-dcc/wyvern
Automatic conversion of call by value into call by need in the LLVM IR.
Language:C++59 4 15
lac-dcc/sepe
Synthesis of Optimized Hash Functions
Language:C++53 2 03
lac-dcc/lif
A tool to eliminate timing-based side channels
Language:LLVM49 7 37
lac-dcc/jotai-benchmarks
Collection of executable benchmarks
Language:C43 4 05
lac-dcc/yali
A framework to analyze a space formed by the combination of program encodings, obfuscation passes and stochastic classification models.
Language:LLVM33 5 04
lac-dcc/Nisse
Ball Larus edge profiling with loop optimization
Language:C++31 2 02
lac-dcc/merlin
Program instrumentation and cost function generation
Language:C++29 3 01
lac-dcc/Daedalus
Daedalus is an LLVM pass that compresses code by identifying and extracting recurrent program slices.
Language:C++28 4 113
lac-dcc/lushu
System to recognize infinite languages and react to string events
Language:Jupyter Notebook26 2 31
lac-dcc/Angha
Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.
Language:Python23 5 23
lac-dcc/Benchmarks
LLVM test suite benchmarks (260 benchmarks - 36 test suites)
Language:C18 3 24
lac-dcc/hamsa
A tool to extract complexities and costs from programs and kernels
Language:C++17 4 04
lac-dcc/hydra
A benchmark game for guessing the hottest point of a program
Language:C15 1 1
lac-dcc/elixir-pbbs
Rewrite the Problem-Based Benchmark Suite in Elixir
Language:Elixir14 3 01
lac-dcc/hapi
A domain specific language to define access policies.
Language:Kotlin14 5 00
lac-dcc/BenchGen
Automatic Generation of Benchmarks to Stress-Test Computing Systems.
Language:TeX13 3 60
lac-dcc/DropletSearch
Space search exploration in the compiler optimization space
Language:Python13 4 01
lac-dcc/Zhe
Discovery and Treatment of String Events
Language:Kotlin9 5 00
lac-dcc/koroghlu
Project to build a docker for artifacts.
Language:Python5 3 0
lac-dcc/benchMetrics
Language:C4 1 10
lac-dcc/bennu
template_autotvm
Language:Python4 3 00
lac-dcc/baku
Benchmark Automation with Knowledge-driven Utilization
Language:Jupyter Notebook30
lac-dcc/hapi-visualizer
Web interface to visualize policies descriptions
Language:CSS3 4 0
lac-dcc/templates
Templates for presentations
Language:TeX3 4 01
lac-dcc/DCC888
Language:Python2 2 01
lac-dcc/lac-dcc.github.io
Language:HTML2 0
lac-dcc/tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
Language:Python0 0