Second-Year CS Ph.D. Student at the University of Illinois Urbana-Champaign
-
University of Illinois Urbana-Champaign
- codyrivera.com
Pinned Loading
-
ipdps22-opthuffdec
ipdps22-opthuffdec PublicArtifacts of IPDPS '22 paper "Optimizing Huffman Decoding for Error-Bounded Lossy Compression in GPUs"
-
ids-artifact
ids-artifact PublicArtifact for "Predictable Verification using Intrinsic Definitions" in PLDI 2024
Boogie
-
-
stlc-imp
stlc-imp PublicSimple Simply-Typed Lambda Calculus implementation for occasional hacking on
OCaml
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.