Property-Based Testing in Practice
Goldstein, Harrison, Cutler, Joseph W., Dickstein, Daniel, Pierce, Benjamin C., Head, Andrew
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Published in 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) (14.04.2024)
Get full text
Conference Proceeding
Denotational recurrence extraction for amortized analysis
Cutler, Joseph W., Licata, Daniel R., Danner, Norman
Published in Proceedings of ACM on programming languages (02.08.2020)
Published in Proceedings of ACM on programming languages (02.08.2020)
Get full text
Journal Article
Stream Types
Cutler, Joseph W., Watson, Christopher, Nkurumeh, Emeka, Hilliard, Phillip, Goldstein, Harrison, Stanford, Caleb, Pierce, Benjamin C.
Published in Proceedings of ACM on programming languages (20.06.2024)
Published in Proceedings of ACM on programming languages (20.06.2024)
Get full text
Journal Article
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Cutler, Joseph W., Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew M.
Published in Proceedings of ACM on programming languages (29.04.2024)
Published in Proceedings of ACM on programming languages (29.04.2024)
Get full text
Journal Article
Stream Types
Cutler, Joseph W, Watson, Christopher, Nkurumeh, Emeka, Hilliard, Phillip, Goldstein, Harrison, Stanford, Caleb, Pierce, Benjamin C
Published in arXiv.org (02.04.2024)
Published in arXiv.org (02.04.2024)
Get full text
Paper
Journal Article
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
Cutler, Joseph W, Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew
Published in arXiv.org (08.03.2024)
Published in arXiv.org (08.03.2024)
Get full text
Paper
Journal Article