Streaming Algorithms for k-Center Clustering with Outliers and with Anonymity. - Richard Matthew McCutchen; Samir Khuller (APPROX-RANDOM, 2008)

The Least-Unpopularity-Factor and Least-Unpopularity-Margin Criteria for Matching Problems with One-Sided Preferences. - Richard Matthew McCutchen (LATIN, 2008)

New Models and Algorithms for Throughput Maximization in Broadcast Scheduling - (Extended Abstract). - Chandra Chekuri; Avigdor Gal; Sungjin Im; Samir Khuller; Jian Li 015; Richard Matthew McCutchen; Benjamin Moseley; Louiqa Raschid (WAOA, 2010)

Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). - Pantazis Deligiannis; Matt McCutchen; Paul Thomson; Shuo Chen 001; Alastair F. Donaldson; John Erickson; Cheng Huang; Akash Lal; Rashmi Mudduluru; Shaz Qadeer; Wolfram Schulte (FAST, 2016)

Object spreadsheets: a new computational model for end-user development of data-centric web applications. - Matt McCutchen; Shachar Itzhaky; Daniel Jackson 001 (Onward!, 2016)

Self-Verifying Execution (Position Paper). - Matt McCutchen; Daniel Song; Shuo Chen 001; Shaz Qadeer (SecDev, 2016)

SVAuth - A Single-Sign-On Integration Solution with Runtime Verification. - Shuo Chen 001; Matt McCutchen; Phuong Cao; Shaz Qadeer; Ravishankar K. Iyer (RV, 2017)

Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays. - Matt McCutchen; Judith Borghouts; Andrew D. Gordon 001; Simon Peyton Jones; Advait Sarkar (J. Funct. Program., 2020)

C to checked C by 3c. - Aravind Machiry; John H. Kastner; Matt McCutchen; Aaron Eline; Kyle Headley; Michael Hicks 001 (Proc. ACM Program. Lang., 2022)

How We Built Cedar: A Verification-Guided Approach. - Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; John H. Kastner; Anwar Mamat; Matt McCutchen; Neha Rungta; Bhakti Shah; Emina Torlak; et al. (SIGSOFT FSE Companion, 2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (CoRR, 2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (Proc. ACM Program. Lang., 2024)