Matt McCutchen

Orcid: 0000-0003-4814-5148

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization.
Proc. ACM Program. Lang., 2024

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version).
CoRR, 2024

How We Built Cedar: A Verification-Guided Approach.
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.
Proc. ACM Program. Lang., 2022

2020
Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays.
J. Funct. Program., 2020

2017
SVAuth - A Single-Sign-On Integration Solution with Runtime Verification.
Proceedings of the Runtime Verification - 17th International Conference, 2017

2016
Self-Verifying Execution (Position Paper).
Proceedings of the IEEE Cybersecurity Development, 2016

Object spreadsheets: a new computational model for end-user development of data-centric web applications.
Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!).
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).
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.
Proceedings of the LATIN 2008: Theoretical Informatics, 2008

Streaming Algorithms for k-Center Clustering with Outliers and with Anonymity.
Proceedings of the Approximation, 2008


  Loading...