Towards Automated Differential Program Verification for Approximate Computing
Shuvendu K. Lahiri, Zvonimir Rakamaric. Workshop on Approximate Computing Across the Stack (WAX 2015), Portland, OR, USA.
Shuvendu K. Lahiri, Zvonimir Rakamaric. Workshop on Approximate Computing Across the Stack (WAX 2015), Portland, OR, USA.
Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric. 8th International Workshop on Numerical Software Verification (NSV 2015), Seattle, WA, USA.
Joachim Protze, Simone Atzeni, Dong H. Ahn, Martin Schulz, Ganesh Gopalakrishnan, Matthias S. Muller, Ignacio Laguna, Zvonimir Rakamaric, Greg L. Lee. LLVM Compiler Infrastructure in HPC Workshop (LLVM-HPC 2014), New Orleans, LA, USA.
Diego Caminha B. de Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins. 27th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2014), Hillsboro, OR, USA.
Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman. Java Pathfinder Workshop (JPF 2014), Salt Lake City, UT, USA.
Vishal Chandra Sharma, Zvonimir Rakamaric, Ganesh Gopalakrishnan. 10th IEEE Workshop on Silicon Errors in Logic – System Effects (SELSE 2014), Palo Alto, CA, USA.
Marko Dimjasevic, Zvonimir Rakamaric. Java Pathfinder Workshop (JPF 2013), Palo Alto, CA, USA.
Dong H. Ahn, Gregory L. Lee, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Martin Schulz, Ignacio Laguna. 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering (SE-HPCCSE 2013), Denver, CO, USA.
Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Gregory L. Lee. 4th Workshop on Determinism and Correctness in Parallel Programming (WoDet 2013), Houston, TX, USA.
Diego Caminha B. de Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins. 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE 2013), San Francisco, CA, USA.