Folgen
Joseph W. Cutler
Joseph W. Cutler
University of Pennsylvania
Bestätigte E-Mail-Adresse bei seas.upenn.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Denotational recurrence extraction for amortized analysis
JW Cutler, DR Licata, N Danner
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020
182020
Property-Based Testing in Practice
H Goldstein, JW Cutler, D Dickstein, BC Pierce, A Head
Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024
162024
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
JW Cutler, C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, ...
Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 670-697, 2024
7*2024
Some Problems with Properties
H Goldstein, JW Cutler, A Stein, BC Pierce, A Head
Proc. Workshop on the Human Aspects of Types and Reasoning Assistants (HATRA), 2022
52022
Automatic Detection of Hybrid Human-Machine Text Boundaries
J Cutler, L Dugan, S Havaldar, A Stein
42021
Stream Types
JW Cutler, C Watson, E Nkurumeh, P Hilliard, H Goldstein, C Stanford, ...
Proceedings of the ACM on Programming Languages 8 (PLDI), 1412-1436, 2024
32024
Improving the Stability of Type Soundness Proofs in Dafny
JW Cutler, E Torlak, M Hicks
Proceedings of the First Workshop on Dafny, 2024
22024
Pattern Matching in AI Compilers and its Formalization (Extended Version)
JW Cutler, A Collins, B Fan, M Ravishankar, V Grover
arXiv preprint arXiv:2412.13398, 2024
2024
Authorization policy validation
MW Hicks, JH Kastner, E Torlak, RM McCUTCHEN, D Mcadams, ...
US Patent App. 18/070,349, 2024
2024
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9