Viraj Athavale

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Open Source Projects

Symbolic Execution

Static Analysis

Top Venues

Publications

Viraj Athavale, Sai Ma, Samuel Hertz, Shobha Vasudevan
Code Coverage of Assertions Using RTL Source Code Analysis. DAC (2014)
Viraj Athavale, Sam Hertz, Darshan Jetly, Vijay Ganesan, Jim Krysl, Shobha Vasudevan
Using static analysis for coverage extraction fromemulation/prototyping platforms. CODES+ISSS (2012)
Parth Sagdeo, Viraj Athavale, Sumant Kowshik, Shobha Vasudevan
PRECIS: Inferring invariants using program path guided clustering. ASE (2011)
Lingyi Liu, David Sheridan, Viraj Athavale, Shobha Vasudevan
Automatic generation of assertions from system level design using data mining. MEMOCODE (2011)
Anirudh Maringanti, Viraj Athavale, Sachin B. Patkar
Acceleration of conjugate gradient method for circuit simulation using CUDA. HiPC (2009)