Jay Lim’s dissertation “Novel Polynomial Approximation Methods for Correctly Rounded Elementary Functions” has been selected as one of the co-winners of the 2022 ACM SIGPLAN John C Reynolds Outstanding Dissertation Award. His dissertation is available here.
This award is presented annually to the author of an outstanding doctoral dissertation in the area of Programming Languages. The award includes a prize of $1,000. This year Jay Lim is sharing this award with Uri Alon.
This award recognizes the contributions to computer science that John C. Reynolds made during his life. It is a renaming of the SIGPLAN Outstanding Doctoral Dissertation Award to encourage the clarity and rigor that Reynolds embodied and at the same time provide a reminder of Reynolds’s legacy and the difference a person can make in the field of programming language research.