Jaideep Ramachandran

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 2

Top Topics

Boolean Satisfiability

Stochastic Local Search

Top Venues

Electron. Colloquium Comput. Complex.

ACM SIGSOFT Softw. Eng. Notes

Publications

Jaideep Ramachandran, Thomas Wahl
Integrating proxy theories and numeric model lifting for floating-point arithmetic. FMCAD (2016)
Jaideep Ramachandran, Corina S. Pasareanu, Thomas Wahl
Symbolic Execution for Checking the Accuracy of Floating-Point Programs. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Miriam Leeser, Saoni Mukherjee, Jaideep Ramachandran, Thomas Wahl
Make it real: Effective floating-point reasoning via exact arithmetic. DATE (2014)
Zahra Jafargholi, Hamidreza Jahanjou, Eric Miles, Jaideep Ramachandran, Emanuele Viola
From RAM to SAT. Electron. Colloquium Comput. Complex. 19 (2012)