From RAM to SAT. - Zahra Jafargholi; Hamidreza Jahanjou; Eric Miles; Jaideep Ramachandran; Emanuele Viola (Electron. Colloquium Comput. Complex., 2012)

Make it real: Effective floating-point reasoning via exact arithmetic. - Miriam Leeser; Saoni Mukherjee; Jaideep Ramachandran; Thomas Wahl (DATE, 2014)

Symbolic Execution for Checking the Accuracy of Floating-Point Programs. - Jaideep Ramachandran; Corina S. Pasareanu; Thomas Wahl (ACM SIGSOFT Softw. Eng. Notes, 2015)

Integrating proxy theories and numeric model lifting for floating-point arithmetic. - Jaideep Ramachandran; Thomas Wahl (FMCAD, 2016)