Matt McCutchen

C to checked C by 3c

Aravind Machiry, John Kastner, Matt McCutchen et al. · Proceedings of the ACM on Programming Languages · 2022 · 17 citations · Full text

Computing, Computer Engineering, Computer Science +15

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization

Joseph W. Cutler, Craig Disselkoen, Aaron Eline et al. · Proceedings of the ACM on Programming Languages · 2024 · 16 citations · Full text

Computing, Computer Science, Computer Systems +17

Uncovering bugs in distributed storage systems during testing (not in production

Pantazis Deligiannis, Matt McCutchen, Paul Thomson et al. · Spiral (Imperial College London) · 2016 · 14 citations · Full text

Computing, Cloud Computing, Computer Science +12

Object spreadsheets: a new computational model for end-user development of data-centric web applications

Matt McCutchen, Shachar Itzhaky, Daniel Jackson · 2016 · 14 citations · Full text

Computing, Computer Science, Information Systems +14

Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays

Matt McCutchen, Judith Borghouts, Andrew D. Gordon et al. · Journal of Functional Programming · 2020 · 13 citations

Computing, Computer Science, Algorithms +9