Jaideep Ramachandran

According to our database, Jaideep Ramachandran authored at least 4 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Integrating proxy theories and numeric model lifting for floating-point arithmetic.

Jaideep Ramachandran, Thomas Wahl

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Symbolic Execution for Checking the Accuracy of Floating-Point Programs.

Jaideep Ramachandran, Corina S. Pasareanu, Thomas Wahl

ACM SIGSOFT Softw. Eng. Notes, 2015

2014

Make it real: Effective floating-point reasoning via exact arithmetic.

Miriam Leeser, Saoni Mukherjee, Jaideep Ramachandran, Thomas Wahl

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2012

From RAM to SAT.

Zahra Jafargholi, Hamidreza Jahanjou, Eric Miles, Jaideep Ramachandran, Emanuele Viola

Electron. Colloquium Comput. Complex., 2012