Make it real: Effective floating-point reasoning via exact arithmetic M Leeser, S Mukherjee, J Ramachandran, T Wahl Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014 …, 2014 | 28 | 2014 |
OpenCL Floating Point Software on Heterogeneous Architectures–Portable or Not M Leeser, J Ramachandran, T Wahl, D Yablonski Workshop on Numerical Software Verification (NSV), 2012 | 16 | 2012 |
Integrating proxy theories and numeric model lifting for floating-point arithmetic J Ramachandran, T Wahl Proceedings of the 16th Conference on Formal Methods in Computer-Aided …, 2016 | 12 | 2016 |
Symbolic Execution for Checking the Accuracy of Floating-Point Programs J Ramachandran, C Păsăreanu, T Wahl ACM SIGSOFT Software Engineering Notes 40 (1), 1-5, 2015 | 12 | 2015 |
From the Approximate to the Exact: Solving Floating-Point Formulas via Proxy Theories J Ramachandran Northeastern University, 2018 | | 2018 |
From RAM to SAT. Z Jafargholi, H Jahanjou, E Miles, J Ramachandran, E Viola Electronic Colloquium on Computational Complexity (ECCC) 19, 125, 2012 | | 2012 |
Symbolic Model Checking Techniques for Large State Spaces J Ramachandran Indian Institute of Technology Bombay Mumbai, 2006 | | 2006 |