173 citations · 655 across the 66 of their papers we have counts for
Showing 2016 · cs.SEShow all
2 papers · 2 filters
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…