Joseph W. Cutler

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

Collaborative distances:

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

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