conf.researchr.org / Joseph W. Cutler

Registered user since Mon 2 Dec 2019

Name:Joseph W. Cutler
Affiliation:University of Pennsylvania
Personal website:https://cis.upenn.edu/~jwc
Research interests:Programming Languages

Contributions

SPLASH 2021 Author of Denotational Recurrence Extraction for Amortized Analysis within the SIGPLAN Papers-track
ICFP 2020 Author of Denotational Recurrence Extraction for Amortized Analysis within the ICFP Program-track