Joseph W. Cutler

13 papers A* 1A 1Journal 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Typing Strictness.
Proc. ACM Program. Lang.
Daniel Sainati, Joseph W. Cutler, Benjamin C. Pierce, Stephanie Weirich
2025 J jnl
Fail Faster: Staging and Fast Randomness for High-Performance PBT.
CoRR
Cynthia Richey, Joseph W. Cutler, Harrison Goldstein, Benjamin C. Pierce
2025 J jnl
Modular GPU Programming with Typed Perspectives.
CoRR
Manya Bansal, Daniel Sainati, Joseph W. Cutler, Saman P. Amarasinghe, Jonathan Ragan-Kelley
2025 A conf
Pattern Matching in AI Compilers and Its Formalization.
CGO
Joseph W. Cutler, Alex Collins, Bin Fan, Mahesh Ravishankar, Vinod Grover
2025 J jnl
Typing Strictness (Extended Version).
CoRR
Daniel Sainati, Joseph W. Cutler, Benjamin C. Pierce, Stephanie Weirich
2024 J jnl
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version).
CoRR
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
2024 J jnl
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization.
Proc. ACM Program. Lang.
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
2024 J jnl
Pattern Matching in AI Compilers and its Formalization (Extended Version).
CoRR
Joseph W. Cutler, Alex Collins, Bin Fan, Mahesh Ravishankar, Vinod Grover
2024 A* conf
Property-Based Testing in Practice.
ICSE
Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head
2024 J jnl
Stream Types.
Proc. ACM Program. Lang.
Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce
2023 J jnl
Stream Types.
CoRR
Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce
2020 J jnl
Denotational recurrence extraction for amortized analysis.
CoRR
Joseph W. Cutler, Daniel R. Licata, Norman Danner
2020 J jnl
Denotational recurrence extraction for amortized analysis.
Proc. ACM Program. Lang.
Joseph W. Cutler, Daniel R. Licata, Norman Danner