Joseph W. Cutler

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

Collaborative distances:

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

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

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