What is Decidable about Gradual Types? with Jens Palsberg. In ACM SIGPLAN Symposium on Principles of Programming Languages (POPL ’20). Artifact.
On the Cost of Type-Tag Soundness with Ben Greenman. In Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM’18).