John A. Gunnels IBM Research Division, Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, New York 10598 (email@example.com). Dr. Gunnels joined IBM Research in 2001 and is currently a Research Staff Member and Manager in the Business Analytics and Mathematical Sciences Department at the Thomas J. Watson Research Center. He received his PhD degree in Computer Science from University of Texas at Austin in 2001. He is a member of the IBM Academy of Technology and has received several Outstanding Technical Achievement Awards, an IBM Corporate Award, a Gerstner Award for Client Excellence, and three Gordon Bell Awards. His research interests include code verification, high performance library specification and development, large scale scientific computing, and the leveraging of hardware accelerators. He currently holds 20 US patents in these and other research areas.