Pinned Repositories
clwrapper
OpenCL wrapper (everyone has one)
cudahook
Intercepting CUDA runtime calls with LD_PRELOAD
cudaplay
just playing around with nvcc...
hertz_aos
ic_liggghts
Accelerating LIGGGHTS using GPUs
icliggghts
A LIGGGHTS fork
pairgen
Autogenerate LAMMPS pairstyles
sat
simple dpll sat solver
scan
Scan (prefix-sum) on OpenCL
nchong's Repositories
nchong/cudahook
Intercepting CUDA runtime calls with LD_PRELOAD
nchong/scan
Scan (prefix-sum) on OpenCL
nchong/sat
simple dpll sat solver
nchong/ic_liggghts
Accelerating LIGGGHTS using GPUs
nchong/icliggghts
A LIGGGHTS fork
nchong/pairgen
Autogenerate LAMMPS pairstyles
nchong/clwrapper
OpenCL wrapper (everyone has one)
nchong/hertz_aos
nchong/hertz_framework
A framework for performance testing different contact model implementations
nchong/hertz_testdata
nchong/hertzstone
nchong/litmus
GPU litmus tests
nchong/oplus2_rose
Implementation of the OPlus2 translator using the ROSE compiler framework
nchong/pairgenv2
nchong/barrier-reasoning-tests
nchong/c11popl15
nchong/cbmc
C Bounded Model Checker
nchong/DogIR
nchong/get-image
nchong/herdtools
diy testing tool for weak memory models, herd design
nchong/ios
Interval of Summations
nchong/juicy-soundbytes
nchong/memalloy
Memory consistency modelling using Alloy
nchong/nchong.github.com
nchong/nchong.github.io
nchong/repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
nchong/rop
nchong/smack-playground
Trying out the smack verifier
nchong/thesis-artifact
Scalable Verification Techniques for Data-Parallel Programs: Accompanying Artifact
nchong/uvisor
mbed OS uVisor -- device security layer for ARMv7M microcontrollers