vix.ing · top · new · best · stats · spec

Sharma, Saksham

  1. Sound Mixed-Precision Optimization with Rewriting
    2017/07/07 by Darulova, Eva, Horn, Einar, Sharma, Saksham · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)