Toggle navigation
Sign in
Sign up
conf.researchr.org
/
John M. Li
conf.researchr.org general profile
ICFP 2021 profile
SPLASH 2021 profile
Registered user since Thu 15 Jul 2021
Name:
John M. Li
Country:
United States
Affiliation:
Princeton University
Contributions
2021
SPLASH
Author of Compositional Optimizations for CertiCoq within the SIGPLAN Papers-track
ICFP
Author of Deriving Efficient Program Transformations from Rewrite Rules within the Research Papers-track
Author of Compositional Optimizations for CertiCoq within the Research Papers-track
Share
x
Sun 22 Dec 02:56