cogumbreiro Goto Github PK

gorn-coq

Deadlock avoidance on using futures in shared memory. The project includes the formalization of a trace language and results on a policy on safe joins (through a notion of known tasks) and we show that data-race-freedom implies deadlock freedom.

gpucheck

Static Analyzer for GPU Performance Problems

gpuverify

GPUVerify: a Verifier for GPU Kernels

graph-kernels

Graph kernels

habanero-coq

Coq formalization of the Habanero programming model.

hj-why3-base-dockerfile

HJ-Why3 base dockerfile

homebrew

:beer: The missing package manager for OS X.

hyde

A brazen two-column theme for Jekyll.

inginious-containers

Additional containers for INGInious. INGInious is a free and open-source platform for secure and automated code assessment.

interval-tree-clocks

A Logical Clock for Static and Dynamic Systems

ipm

Integrated Performance Monitoring for High Performance Computing

isp

ISP (In-situ Partial Order): a dynamic verifier for MPI Programs

isp-dockerfile

itc4j

An Implementation of Interval Tree Clock

jekyll-foundation-6-starter

Start a github pages website powerd by Jekyll using Foundation/SCSS in under 5 minutes!

jlamp17

A light weight theme for minimalism.

kajero

Interactive JavaScript notebooks with clever graphing

klee

KLEE Symbolic Virtual Machine

klee-docker

Klee Dockerfile development

lcdmv

Grammar induction with left-corner DMV (dependency model with valence)

libisp-sched

Project to make the ISP scheduler into a library.

literature_review

Survey of program analysis research with a focus on machine code

locksmith

Mirror of Locksmith <http://www.cs.umd.edu/projects/PL/locksmith/>

locksmith-docker

Docker script for locksmith, a static race detection tool

loopy

A system for programming formally-verified loop transformations.

lucene-solr

Mirror of Apache Lucene + Solr

main

📦 The next-generation default bucket for Scoop.

nltk-examples

Worked examples from the NLTK Book

notes

ocaml-tiger