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.