Pinned Repositories
AutoParBench
DawnCC
DawnCC-Compiler
A source-to-source compiler for automatic parallelization of C programs through code annotation.
Interactive_Teacher
A project to help people to learn other languages using technology.
kuifje-compiler
An imperative language for quantitative information flow.
kuifje-compiler-light
Kuifje-Documentation
A documentation for Kuifje Language
SymbolicPtrRangeAnalysis
TaskMiner
TaskMiner-Installer
A project to install TaskMiner with its test framework
gleisonsdm's Repositories
gleisonsdm/DawnCC-Compiler
A source-to-source compiler for automatic parallelization of C programs through code annotation.
gleisonsdm/AutoParBench
gleisonsdm/TaskMiner
gleisonsdm/kuifje-compiler
An imperative language for quantitative information flow.
gleisonsdm/Kuifje-Documentation
A documentation for Kuifje Language
gleisonsdm/TaskMiner-Installer
A project to install TaskMiner with its test framework
gleisonsdm/SymbolicPtrRangeAnalysis
gleisonsdm/DawnCC
gleisonsdm/Interactive_Teacher
A project to help people to learn other languages using technology.
gleisonsdm/kuifje-compiler-light
gleisonsdm/kuifje-shallow
A prototype for a Quantitative Information Flow aware programming language, based on the paper: "Quantitative Information Flow with Monads in Haskell" by Jeremy Gibbons, Annabelle McIver, Carroll Morgan, and Tom Schrijvers.
gleisonsdm/Web-Starter-Kit
gleisonsdm/KuifjeStash
Three different stashes using kuifje
gleisonsdm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
gleisonsdm/OpenMP-Extractor
gleisonsdm/OpenMP_benchmarks
gleisonsdm/PDS2_exemplo
gleisonsdm/phoenix
optimize arithmetic instructions that accepts an identity
gleisonsdm/ppgccufmg
Uma classe LaTeX para dissertações, teses e propostas do Programa de Pós-Graduação em Ciência da Computação (PPGCC) da Universidade Federal de Minas Gerais (UFMG).
gleisonsdm/QIF_LIB
A Quantitative Information Flow Open Source Library
gleisonsdm/rose-apt-get
all things related to supporting apt-get install rose on Ubuntu
gleisonsdm/rose-develop
The latest development version of rose. It may not pass all regression tests.
gleisonsdm/TP-PDS2
Trabalho em grupo na disciplina de PDS2