Joseph W. Cutler

According to our database, Joseph W. Cutler authored at least 13 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Typing Strictness.

Daniel Sainati, Joseph W. Cutler, Benjamin C. Pierce, Stephanie Weirich

Proc. ACM Program. Lang., 2026

2025

Modular GPU Programming with Typed Perspectives.

Manya Bansal, Daniel Sainati, Joseph W. Cutler, Saman P. Amarasinghe, Jonathan Ragan-Kelley

CoRR, November, 2025

Typing Strictness (Extended Version).

Daniel Sainati, Joseph W. Cutler, Benjamin C. Pierce, Stephanie Weirich

CoRR, October, 2025

Artifact associated with "Typing Strictness".

Daniel Sainati, Joseph W. Cutler, Benjamin C. Pierce, Stephanie Weirich

Dataset, October, 2025

Fail Faster: Staging and Fast Randomness for High-Performance PBT.

Cynthia Richey, Joseph W. Cutler, Harrison Goldstein, Benjamin C. Pierce

CoRR, March, 2025

Pattern Matching in AI Compilers and Its Formalization.

Joseph W. Cutler, Alex Collins, Bin Fan, Mahesh Ravishankar, Vinod Grover

Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization, 2025

2024

Stream Types.

Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce

Proc. ACM Program. Lang., 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, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

Proc. ACM Program. Lang., 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 (Extended Version).

Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

CoRR, 2024

Property-Based Testing in Practice.

Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Stream Types.

Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce

CoRR, 2023

2020

Denotational recurrence extraction for amortized analysis.

Joseph W. Cutler, Daniel R. Licata, Norman Danner

Proc. ACM Program. Lang., 2020