🌎 🌔 A hobby web browser developed from scratch

Auto-gen Go fuzzing wrappers from normal code. Finds buggy call sequences, including data races & deadlocks. Supports rich signature types.

A controlled concurrency testing framework for the JVM

JMC - Java Model Checker

From the Transistor to the Web Browser, a rough outline for a 12 week course

The Ultimate program analysis framework.

A fast and simple automata library

An open-source, customizable intermediate logic textbook

The SQL Standards Project aims to create consensus in SQL semantics

The main VAMOS repository

Dynamic Analysis for Concurrent Programs

A place to report bugs on websites.

Code for improved rv-predict and installer

OneDrive Client for Linux

Trace-Based Run-time Analysis of Message-Passing Go Programs

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Record and Replay Framework

TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.

A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for testing concurrent programs.

Automated Controller Synthesis

Race Detection on Compressed Traces

An instrumenter for dynamic logging for java bytecode programs

Google Drive CLI Client

Automatically exported from code.google.com/p/sequitur

Links to tools by subject