Joseph W. Cutler -

Registered user since Mon 2 Dec 2019

Name:Joseph W. Cutler

Country:United States

Affiliation:University of Pennsylvania

Personal website: http://cutler.pl

Research interests:Programming Languages

Contributions

2027

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track

2026

SPLASH

Author of Fail Faster: Staging and Fast Randomness for High-Performance PBT within the OOPSLA-track

PLDI

Author of Modular GPU Programming with Typed Perspectives within the PLDI Research Papers-track

POPL

Author of Typing Strictness within the POPL-track

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