Pinned Repositories
academic-website
asplos24-ae-crocus
Artifact for our ASPLOS 2024 paper, Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection (Crocus)
cs2110-labs-public
Programming labs for CS 2110, Summer 2022
icse22ae-kani
Kani Rust Model Checker artifact for ICSE 2022 Artifact Evaluation
llvm-loop-perforation
An LLVM pass that mangles your loops, on purpose!
minimum-spanning-trees-alloy
parallel_fsm_rv
Exploring Data Parallel Finite State Machines for Runtime Verification
wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
diospyros
Search-based compiler for high-performance DSP programming
kani
Kani Rust Verifier
avanhatt's Repositories
avanhatt/llvm-loop-perforation
An LLVM pass that mangles your loops, on purpose!
avanhatt/cs2110-labs-public
Programming labs for CS 2110, Summer 2022
avanhatt/icse22ae-kani
Kani Rust Model Checker artifact for ICSE 2022 Artifact Evaluation
avanhatt/minimum-spanning-trees-alloy
avanhatt/asplos24-ae-crocus
Artifact for our ASPLOS 2024 paper, Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection (Crocus)
avanhatt/parallel_fsm_rv
Exploring Data Parallel Finite State Machines for Runtime Verification
avanhatt/academic-website
avanhatt/bril
an educational compiler intermediate representation
avanhatt/cs2110lab7
avanhatt/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
avanhatt/cs6120
advanced compilers
avanhatt/dfg-coverings
Data flow graph coverings
avanhatt/ece4750-tut4-verilog
ECE 4750 Tutorial 4: Verilog Hardware Description Language
avanhatt/firecracker
Secure and fast microVMs for serverless computing.
avanhatt/gsgic.github.io
avanhatt/llvm-pass-skeleton
example LLVM pass
avanhatt/meetings
avanhatt/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
avanhatt/rmc
avanhatt/vm-superio
Emulation for legacy devices