Joseph W. Cutler

Making the Best of a Bad Situation Inferring Random Generators for Numerical Properties with Multi-Armed Bandits

Joseph W. Cutler, 2022 .

Some Problems with Properties A Study on Property-Based Testing in Industry

Joseph W. Cutler, 2022 .

Automatic Detection of Hybrid Human-Machine Text Boundaries

Liam Dugan, Joseph W. Cutler, Shreya Havaldar, 2021 .

Stream Types

B. Pierce, C. Stanford, Harrison Goldstein, 2023, ArXiv.

Denotational recurrence extraction for amortized analysis

Daniel R. Licata, Norman Danner, Joseph W. Cutler, 2020, Proc. ACM Program. Lang..

Property-Based Testing in Practice

Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, 2024, 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE).