davis-matthew Goto Github PK

alive2

Automatic verification of LLVM optimizations

billy-bot

Quality of life bot for the Billy Hatcher speedrunning Discord.

billy-hatcher-modding

Resources and Tutorials for Modding Billy Hatcher and the Giant Egg (2003, GCN)

calculator

Windows Calculator: A simple yet powerful calculator that ships with Windows

coderrect-test

A repo to demo how to use coderrect to detect concurrency bugs

davis-matthew.github.io

My Personal Website

extrae

Instrumentation framework to generate execution traces of the most used parallel runtimes.

fenix

Fenix: A Portable, Flexible Fault Tolerance Programming Framework for MPI Applications

githistoryvscode

Git History for Visual Studio Code

hclib

A C/C++ task-based programming model for shared memory and distributed parallel computing.

images-to-pdf

An app to convert images to PDF file!

jape

Jape, a configurable proof editor (best at natural deduction and sequent calculus)

kokkos-resilience

Resilience Extensions for Kokkos

leandojo

Tool for data extraction and interacting with Lean programmatically.

llvm-project

My local checkout of LLVM branch, mainly used for OpenMP work, the OMPSan branch is the updated version

neo-svf

A tool which creates TSan blacklists through the LLVM-based SVF-Tools analysis framework

oss

An Open Source Code Comment Spellchecker

painless

shad

Scalable High-performance Algorithms and Data-structures

svf-project

4240 Project 3 / 6430 SVF Project infrastructure

symcc

SymCC: efficient compiler-based symbolic execution

toytracesummarizer

A trace summarizer for toy traces exploiting the nature of OpenMP data mapping consistency bugs to improve analysis overhead

z3

The Z3 Theorem Prover