Symbolic Specialization: Making Your Code Faster

Is your code running slowly? What if it could be 12x faster by applying multiple symbolic techniques? In this video, we use symbolic specialization, where the particular structure of a problem is used to avoid multiplying by zero or adding with zero online. A comparison among multiplication methods shows that the specialized matrix multiplication is significantly faster than either generic dense or sparse multiplication techniques with the only drawback being a modest increase in the size of the compiled code.