Acceleration of conjugate gradient method for circuit simulation using CUDA. - Anirudh Maringanti; Viraj Athavale; Sachin B. Patkar (HiPC, 2009)

PRECIS: Inferring invariants using program path guided clustering. - Parth Sagdeo; Viraj Athavale; Sumant Kowshik; Shobha Vasudevan (ASE, 2011)

Automatic generation of assertions from system level design using data mining. - Lingyi Liu; David Sheridan; Viraj Athavale; Shobha Vasudevan (MEMOCODE, 2011)

Using static analysis for coverage extraction fromemulation/prototyping platforms. - Viraj Athavale; Sam Hertz; Darshan Jetly; Vijay Ganesan; Jim Krysl; Shobha Vasudevan (CODES+ISSS, 2012)

Code Coverage of Assertions Using RTL Source Code Analysis. - Viraj Athavale; Sai Ma; Samuel Hertz; Shobha Vasudevan (DAC, 2014)