Jaideep Ramachandran

Author Info

Publications (2 rows)

Collaborators (4 rows)

Referers (27 rows)

Referees (26 rows)

Title	Citations	PageRank	Year
Integrating proxy theories and numeric model lifting for floating-point arithmetic.	0	0.34	2016
Make it real: Effective floating-point reasoning via exact arithmetic	7	0.54	2014