Jessica Shi


About / Research / Teaching


I am broadly interested in how to increase the effectiveness and usability of tools that increase the correctness and clarity of code.

At the moment, this is manifesting as a project on property-based testing. I am also looking to wander into the world of proof engineering.


I worked on projects related to the tensor algebra compiler from Fall 2019 to Spring 2021. In particular, I explored how to leverage symmetry, as summarized below:

An Attempt to Generate Code for Symmetric Tensor Computations
Jessica Shi, Stephen Chou, Fredrik Kjolstad, Saman Amarasinghe.
Posted to arXiv in October 2021.