Denotational recurrence extraction for amortized analysis. - Joseph W. Cutler; Daniel R. Licata; Norman Danner (Proc. ACM Program. Lang., 2020)

Stream Types. - Joseph W. Cutler; Christopher Watson; Phillip Hilliard; Harrison Goldstein; Caleb Stanford; Benjamin C. Pierce (CoRR, 2023)

Property-Based Testing in Practice. - Harrison Goldstein; Joseph W. Cutler; Daniel Dickstein; Benjamin C. Pierce; Andrew Head (ICSE, 2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (CoRR, 2024)

Pattern Matching in AI Compilers and its Formalization (Extended Version). - Joseph W. Cutler; Alex Collins; Bin Fan; Mahesh Ravishankar; Vinod Grover (CoRR, 2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (Proc. ACM Program. Lang., 2024)

Stream Types. - Joseph W. Cutler; Christopher Watson; Emeka Nkurumeh; Phillip Hilliard; Harrison Goldstein; Caleb Stanford; Benjamin C. Pierce (Proc. ACM Program. Lang., 2024)

Pattern Matching in AI Compilers and Its Formalization. - Joseph W. Cutler; Alex Collins; Bin Fan; Mahesh Ravishankar; Vinod Grover (CGO, 2025)

Fail Faster: Staging and Fast Randomness for High-Performance PBT. - Cynthia Richey; Joseph W. Cutler; Harrison Goldstein; Benjamin C. Pierce (CoRR, 2025)