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

2025

CGO

Author of Pattern Matching in AI Compilers and its Formalization within the Main Conference-track

PLMW

Speaker of Getting the Most Out of POPL within the PLMW @ POPL 2025-track

2024

SPLASH

Author of Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization within the OOPSLA 2024-track

PLDI

Author of Stream Types within the PLDI Research Papers-track

ICSE

Author of Property-Based Testing in Practice within the Research Track-track

Dafny

Author of Improving the Stability of Type Safety Proofs in Dafny within the Dafny 2024-track

2022

HATRA

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

Author of Finding Good Generators with Multi-Armed Bandits within the SRC-track

2021

SPLASH

Author of Denotational Recurrence Extraction for Amortized Analysis within the SIGPLAN Papers-track

2020

ICFP

Author of Denotational Recurrence Extraction for Amortized Analysis within the ICFP Program-track