hcoffey1
PhD Student in Computer Science at University of Wisconsin-Madison.
University of Wisconsin-MadisonMadison
Pinned Repositories
wow-so-distributed
The Wow (so distributed) FS!
BOAT_SHANTIES_
boatshantiesapi
Programming interface for boatshanties microbots.
dotfiles
duck_compiler
Duck Duck Goose in Rust.
galaxyvis
perlin
Playing with a Perlin noise generator in Rust.
Quarry
spambase_data
worley
Worley noise generator.
hcoffey1's Repositories
hcoffey1/duck_compiler
Duck Duck Goose in Rust.
hcoffey1/galaxyvis
hcoffey1/765_artifact
Data Visualization Project Code Artifacts
hcoffey1/cacheWorkloads
hcoffey1/dotfiles
hcoffey1/perlin
Playing with a Perlin noise generator in Rust.
hcoffey1/Quarry
hcoffey1/electrolysis
Simple verification of Rust programs via functional purification in Lean 2(!)
hcoffey1/fait-maison-spmv
Sparse Matrix-Vector Multiplication implementations in C
hcoffey1/gups
gups mirror
hcoffey1/hcoffey1
Config files for my GitHub profile.
hcoffey1/hippocrates
Automatically fixing persistency bugs in PM applications. ASPLOS '21.
hcoffey1/ipc_testing
Testing performance of different IPC methods.
hcoffey1/kernel
Used for playing with the Linux kernel.
hcoffey1/lem-in
Graph traversal project
hcoffey1/linux
Linux kernel source tree
hcoffey1/llvm-ir-cmake-utils
LLVM IR CMake utils for bitcode file manipulation by opt and friends
hcoffey1/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
hcoffey1/llvm-test-suite
hcoffey1/movies
hcoffey1/os_proj
hcoffey1/QASMBench
A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.
hcoffey1/ram_bench
A benchmark for random memory accesses
hcoffey1/ramulator-pim
A fast and flexible simulation infrastructure for exploring general-purpose processing-in-memory (PIM) architectures. Ramulator-PIM combines a widely-used simulator for out-of-order and in-order processors (ZSim) with Ramulator, a DRAM simulator with memory models for DDRx, LPDDRx, GDDRx, WIOx, HBMx, and HMCx. Ramulator is described in the IEEE CAL
hcoffey1/wallpapers
Wallpapers I've collected over time.
hcoffey1/workloads
hcoffey1/yed
Your Editor
hcoffey1/yed-vimish
hcoffey1/yedPlugins
Where I ruin other people's work
hcoffey1/ypm-plugins