Vanessa McHale

  • QuickCheck With Shape Types

    by Vanessa McHale | Vector Languages

    One motivation for Apple was demonstrating typed array programming. Shape types are rich; we can use types as witnesses as in QuickCheck, generating test cases that are shape-correct.

  • Performance of High-level Languages

    by Vanessa McHale | Compilers

    It is quite possible to beat established (array) implementations with special cases and bittwiddling.

  • Softmax in Apple As an Example of Explicit Rank

    by Vanessa McHale | Apple

    Consider a softmax layer from Aditya Srinivas Menon's tutorial:

  • Optimizing Array Code With Inferred Type Information

    by Vanessa McHale | Vector Languages

    Apple, being a JIT compiler with shape types, is able to do a number of optimizations based on inferred dimension (and rank). Rank is almost always known in practice, so such optimizations are pertinent.

  • Streaming Compression/decompression in Haskell via Laziness

    by Vanessa McHale | Haskell

    In Haskell, one can present a streaming compression/decompression API with lazy bytestrings.