53 citations · 158 across the 16 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.SE2016★ 2 cited
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)
Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer +2
Semiconductor companies have increasingly adopted a methodology that starts with a system-level design specification in C/C++/SystemC. This model is extensively simulated to ensure…
cs.SE2016
The Virtues of Conflict: Analyzing Modern Concurrency
Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening
Modern shared memory multiprocessors permit reordering of memory operations for performance reasons. These reorderings are often a source of subtle bugs in programs written for suc…