Name: Tiago Cogumbreiro
Type: User
Company: UMass Boston
Bio: As a CS reseacher, my goal is to advance the foundations of parallel
programming, by improving the quality assurance of languages and
runtimes.
Location: Boston, MA, USA
Blog: http://cogumbreiro.github.io/
Tiago Cogumbreiro's Projects
📦 The next-generation default bucket for Scoop.
Worked examples from the NLTK Book
Implementation of the ocaml.org website.
Archive for all Coq related OPAM packages organized in various repositories
Phase 2 Hackathon GitHub repository
Parallel Colt is a multithreaded version of Colt.
Simple matrix-matrix multiply to test autotuning tools
Persistent Adaptive Radix Trees in Java
A demo implementation of a simple dependently-typed language
Compiler/source code fuzzing tool using AFL instrumentation
Automatically exported from code.google.com/p/rdfcoder
Mirror of RELAY: Static Race Detection, by Jan Wen Voung http://cseweb.ucsd.edu/~jvoung/race/
A simple, in-browser, markdown-driven slideshow tool.
Reveal.js theme for cleaver slides
Statistical bug-finding framework for API-using code
A command-line installer for Windows.
Demonstration repository of the Scribble tool.
A web interface for demonstrating Scribble.
Sepi online demo
Setup the Faial static code analyzer for CUDA kernels
Automated S-expression conversion
SMACK: A Bounded Software Verifier for C Programs
A parser and some utils for SMTLIB
University of Notre Dame CSE 30151 Spring 2018