Philip Reames's repositories
public-notes
A collection of (public) notes on assorted topics
gpu-garbage-collection
Snapshot of code used for the ISMM 2012 paper "GPUs as an Opportunity for Offloading Garbage Collection"
llvm-auto-triage-corpus
Public interface for auto reduction of LLVM bugs. Post a pull request to have a test reduced.
llvm-auto-triage-scripting
Scripts backing preames/llvm-auto-triage-corpus
inst-decode-search
Using coverage guided fuzzing to explore the intricacies of x86-64 instruction decoding.
hinted-collection
A copy of the code used in the ISMM 2013 paper "Toward Hinted Collection"
simple-vector-riscv
Examples of simple vector loop codegen for riscv64 using ToT clang
technical-links
A collection of technical links I want to be easily find again
llvm-prove-equivalence
A command line script to prove two LLVM IR files are semantically equivalent (modulo undefined behavior)
dbgutils
A collection of utility routines for debugging C and C++11 programs.
gc-cpp-poc
POC for clang changes to support a GC'd variant of C++
iwg-workspace
(temporary) Workspace for LLVM Infrastructure Working Group
job-queue
Very basic cron triggered idle queue manager
llvm-aws-builder
A set of scripts for managing an AWS spot instance as a remote builder for ToT LLVM development
llvm-premerge-checks
CI system for premerge-testing in LLVM project
llvm-project
My development copy of llvm-project for pull requests.
llvm-prove
A command line tool using LLVM's optimizer to prove properties of programs
ucb-aspire-autotuner
A first attempt at an autotuner framework for the berkeley ASPIRE project. Warning: early draft code!
ucb-corvette-floating-point-benchmarks
A collection of floating point programs used by the Berkeley Covette research group for evaluating success of various precision debugging techniques.