cs17resch01003

IIT Hyderabad

Pinned Repositories

bugle
An LLVM Bitcode to Boogie translator
Language:C++00
gpurepair
GPURepair: Automated Repair of GPU Kernels
Language:C#9 1 11
gpuverify
GPUVerify: a Verifier for GPU Kernels
Language:C#0 0 00
pubnub_countmin
Language:Java01
bugle
An LLVM Bitcode to Boogie translator
Language:C++9 4 04
gpuverify
GPUVerify: a Verifier for GPU Kernels
Language:C#58 12 2515

cs17resch01003's Repositories

cs17resch01003/gpurepair
GPURepair: Automated Repair of GPU Kernels
Language:C#9 1 11
cs17resch01003/bugle
An LLVM Bitcode to Boogie translator
Language:C++00
cs17resch01003/gpuverify
GPUVerify: a Verifier for GPU Kernels
Language:C#0 0 00
cs17resch01003/pubnub_countmin
Language:Java01