Dr. Morris received a Distinguished Paper Award at POPL 2024 (see article).