codyjrivera
Second-Year CS Ph.D. Student at the University of Illinois Urbana-Champaign
University of Illinois Urbana-Champaign
Pinned Repositories
amphtml
The AMP web component framework.
competitive-programming
Common repository for UA competitive programming - Fall 2019
context-free-fun
Formal languages playground
growpod
GrowPod is a community garden management web app.
ids-artifact
Artifact for "Predictable Verification using Intrinsic Definitions" in PLDI 2024
ipdps22-opthuffdec
Artifacts of IPDPS '22 paper "Optimizing Huffman Decoding for Error-Bounded Lossy Compression in GPUs"
personal-portfolio
step-starter-projects
Training for STEP Internship Summer 2020
stlc-imp
Simple Simply-Typed Lambda Calculus implementation for occasional hacking on
tsm2x-imp
Implementation of TSM2L and TSM2R -- High-Performance Tall-and-Skinny Matrix-Matrix Multiplication Algorithms for CUDA
codyjrivera's Repositories
codyjrivera/tsm2x-imp
Implementation of TSM2L and TSM2R -- High-Performance Tall-and-Skinny Matrix-Matrix Multiplication Algorithms for CUDA
codyjrivera/ipdps22-opthuffdec
Artifacts of IPDPS '22 paper "Optimizing Huffman Decoding for Error-Bounded Lossy Compression in GPUs"
codyjrivera/competitive-programming
Common repository for UA competitive programming - Fall 2019
codyjrivera/growpod
GrowPod is a community garden management web app.
codyjrivera/step-starter-projects
Training for STEP Internship Summer 2020
codyjrivera/amphtml
The AMP web component framework.
codyjrivera/context-free-fun
Formal languages playground
codyjrivera/crimson-scheme
Tree-walk interpreter for Scheme written in C++
codyjrivera/cs403
Practice Exercises and Exam Solutions for CS 403
codyjrivera/cuda-membenchmark
GPU memory benchmark
codyjrivera/ids-artifact
Artifact for "Predictable Verification using Intrinsic Definitions" in PLDI 2024
codyjrivera/personal-portfolio
codyjrivera/stlc-imp
Simple Simply-Typed Lambda Calculus implementation for occasional hacking on
codyjrivera/cuSZ
cuSZ: An Efficient GPU-Based Error-Bounded Lossy Compression Framework for Scientific Data
codyjrivera/cuSZ-1
A GPU accelerated error-bounded lossy compression for scientific data.
codyjrivera/gpuhd
Massively Parallel Huffman Decoding on GPUs
codyjrivera/infix-calc
Infix calculator
codyjrivera/int-dreal
Artifact Repository for ∫dReal.
codyjrivera/RnnVerifyICELearning
ICE Learning for RNN verification
codyjrivera/StorageStackSemantics
codyjrivera/SZ
Error-bounded Lossy Data Compressor (for floating-point/integer datasets)