cogumbreiro

Tiago Cogumbreiro's repositories

brenner-coq

Brenner is a calculus for reasoning about task parallelism and barrier synchronization. This calculus distils the semantics of phasers and unifies the synchronisation patterns of various abstractions.

Language:Coq4 30

habanero-coq

Coq formalization of the Habanero programming model.

Language:CoqBSD-2-Clause4 30

setup-faial

Setup the Faial static code analyzer for CUDA kernels

Language:JavaScriptMIT4 10

aniceto-coq

Aniceto is a library that helps Coq development. It includes a libray of properties on graph theory.

Language:CoqUnlicense3 30

cogumbreiro.github.io

Tiago Cogumbreiro's personal web page.

Language:HTMLGPL-2.02 3 2

faial-tutorial

A tutorial on how to use `faial`.

Language:CudaMIT100

umbcs.github.io

Language:SCSS1 20

code-miner-tk

Language:Python040

apisan

APISan: Sanitizing API Usages through Semantic Cross-Checking

Language:C++030

backslide

:sweat_drops: CLI tool for making HTML presentations with Remark.js using Markdown

Language:JavaScriptMIT020

bugle

An LLVM Bitcode to Boogie translator

Language:C++NOASSERTION030

coq-plugin-template

Template of Coq Plugin using the Dune build system, and showcasing some advanced features

Language:OCaml020

CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

Language:PythonNOASSERTION010