nchong/c11popl15
Public repository.
Public GitHub Catalog
Discovered Oct 3, 2026
nchong / thesis-artifact
Scalable Verification Techniques for Data-Parallel Programs: Accompanying Artifact
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#26080072GitHub System ID
nchongOrganization / User
PublicVisibility
ActiveCatalog Status
More from nchong
nchong/repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
nchong/cudahook
Intercepting CUDA runtime calls with LD_PRELOAD
nchong/ios
Interval of Summations