SLEEC: Semantics-rich Libraries for Effective Exascale Computation, Milind Kulkarni, Purdue