lac-dcc/wyvern

Stars
55
Rank 537,381 (Top 11 %)
Language
C++
License
GNU General Publi...
Created over 2 years ago
Updated about 1 year ago

lac-dcc/wyvern

lac-dcc

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

honey-potion

Writing eBPF programs with Elixir!

llvm-course

Code examples used for the LAC LLVM course

sepe

Synthesis of Optimized Hash Functions

lif

A tool to eliminate timing-based side channels

jotai-benchmarks

Collection of executable benchmarks

chimera

A tool for synthesizing Verilog programs

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

Jupyter Notebook

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.

Daedalus

Daedalus is an LLVM pass that compresses code by identifying and extracting recurrent program slices.

Benchmarks

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

hamsa

A tool to extract complexities and costs from programs and kernels

hapi

A domain specific language to define access policies.

elixir-pbbs

Rewrite the Problem-Based Benchmark Suite in Elixir

DropletSearch

Space search exploration in the compiler optimization space

hydra

A benchmark game for guessing the hottest point of a program

Zhe

Discovery and Treatment of String Events

BenchGen

Automatic Generation of Benchmarks to Stress-Test Computing Systems.

CMeasure

Power measurement tool designed to extract power data from the National Instruments DAQ USB-6009 Device

koroghlu

Project to build a docker for artifacts.

JINN-C

JINN-C Adaptive Compiler for Heterogeneous Single-ISA architectures

bennu

template_autotvm

hapi-visualizer

Web interface to visualize policies descriptions

Zhe-Lang

templates

Templates for presentations

page.bcmp

benchMetrics

DCC888

StaticFeatureExtractor

A Tool to Extract Code Features from JVM Compatible Languages.