Jaideep Ramachandran

Author Info

Publications (2 rows)

Collaborators (7 rows)

Referers (5 rows)

Referees (30 rows)

Title	Citations	PageRank	Year
Symbolic Execution for Checking the Accuracy of Floating-Point Programs	2	0.38	2015
From RAM to SAT.	1	0.35	2012