Alexa VanHattum's repositories
llvm-loop-perforation
An LLVM pass that mangles your loops, on purpose!
cs2110-labs-public
Programming labs for CS 2110, Summer 2022
icse22ae-kani
Kani Rust Model Checker artifact for ICSE 2022 Artifact Evaluation
asplos24-ae-crocus
Artifact for our ASPLOS 2024 paper, Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection (Crocus)
parallel_fsm_rv
Exploring Data Parallel Finite State Machines for Runtime Verification
bril
an educational compiler intermediate representation
cs6120
advanced compilers
dfg-coverings
Data flow graph coverings
ece4750-tut4-verilog
ECE 4750 Tutorial 4: Verilog Hardware Description Language
firecracker
Secure and fast microVMs for serverless computing.
llvm-pass-skeleton
example LLVM pass
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
vm-superio
Emulation for legacy devices