• Sign in
  • Sign up
conf.researchr.org / Joseph W. Cutler
  • ICFP 2020 profile
  • PLDI 2022 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile

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

Share
xThu 9 Feb 03:34
using conf.researchr.org (v1.58.0)
Support page
Sign Up