activity
20152023
most citedEquivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)

2 citations · 5 across the 7 of their papers we have counts for

collaborators
Showing 2020Show all

2 papers · 1 filter

cs.DC2020

GPURepair: Automated Repair of GPU Kernels

Saurabh Joshi, Gautam Muduganti

This paper presents a tool for repairing errors in GPU kernels written in CUDA or OpenCL due to data races and barrier divergence. Our novel extension to prior work can also remove…

cs.FL2020★ 1 cited

Hardware/Software Co-verification Using Path-based Symbolic Execution

Rajdeep Mukherjee, Saurabh Joshi, John O'Leary +2

Conventional tools for formal hardware/software co-verification use bounded model checking techniques to construct a single monolithic propositional formula. Formulas generated in…