Joseph W. Cutler
- Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
2024/03/07 by Joseph W. Cutler, Craig Disselkoen, Cutler, Joseph W. +28 · 3 voices · 6 citations
Computer Science · Social Sciences · #Access Control and Trust #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- Pattern Matching in AI Compilers and its Formalization (Extended Version)
2024/12/18 by Joseph W. Cutler, Cutler, Joseph W., Alex Collins +8 · 1 voice
Computer Science · #Algorithms and Data Compression #Fuzzy Logic and Control Systems #Software Testing and Debugging Techniques #cs.LG #cs.PL
- Stream Types
2023/07/18 by Joseph W. Cutler, Cutler, Joseph W., Christopher Watson +10 · 1 citation
Environmental Science · #FOS: Computer and information sciences #Groundwater flow and contamination studies #Programming Languages (cs.PL)