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

HATRA 2022	Author of Some Problems with Properties: A Study on Property-Based Testing in Industry within the Human Aspects of Types and Reasoning Assistants-track
PLDI 2022	Author of Finding Good Generators with Multi-Armed Bandits within the SRC-track
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