Matt McCutchen

According to our database, Matt McCutchen authored at least 12 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

Proc. ACM Program. Lang., 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, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

CoRR, 2024

How We Built Cedar: A Verification-Guided Approach.

Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2022

C to checked C by 3c.

Aravind Machiry, John H. Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks

Proc. ACM Program. Lang., 2022

2020

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

Matt McCutchen, Judith Borghouts, Andrew D. Gordon, Simon Peyton Jones, Advait Sarkar

J. Funct. Program., 2020

2017

SVAuth - A Single-Sign-On Integration Solution with Runtime Verification.

Shuo Chen, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer

Proceedings of the Runtime Verification - 17th International Conference, 2017

2016

Self-Verifying Execution (Position Paper).

Matt McCutchen, Daniel Song, Shuo Chen, Shaz Qadeer

Proceedings of the IEEE Cybersecurity Development, 2016

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

Matt McCutchen, Shachar Itzhaky, Daniel Jackson

Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!).

Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte

Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

2010

New Models and Algorithms for Throughput Maximization in Broadcast Scheduling - (Extended Abstract).

Chandra Chekuri, Avigdor Gal, Sungjin Im, Samir Khuller, Jian Li, Richard Matthew McCutchen, Benjamin Moseley, Louiqa Raschid

Proceedings of the Approximation and Online Algorithms - 8th International Workshop, 2010

2008

The Least-Unpopularity-Factor and Least-Unpopularity-Margin Criteria for Matching Problems with One-Sided Preferences.

Richard Matthew McCutchen

Proceedings of the LATIN 2008: Theoretical Informatics, 2008

Streaming Algorithms for k-Center Clustering with Outliers and with Anonymity.

Richard Matthew McCutchen, Samir Khuller

Proceedings of the Approximation, 2008