Matt McCutchen

11 papers A 1B 1Journal 6Unranked 3

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). CoRR 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
2024	J	`jnl`	Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. Proc. ACM Program. Lang. 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
2024	—	`conf`	How We Built Cedar: A Verification-Guided Approach. SIGSOFT FSE Companion 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
2024	J	`jnl`	How We Built Cedar: A Verification-Guided Approach. CoRR 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
2022	J	`jnl`	C to Checked C by 3C. CoRR Aravind Machiry, John H. Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks
2022	J	`jnl`	C to checked C by 3c. Proc. ACM Program. Lang. Aravind Machiry, John H. Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks
2020	J	`jnl`	Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays. J. Funct. Program. Matt McCutchen, Judith Borghouts, Andrew D. Gordon, Simon Peyton Jones, Advait Sarkar
2017	B	`conf`	SVAuth - A Single-Sign-On Integration Solution with Runtime Verification. RV Shuo Chen, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer
2016	—	`conf`	Object spreadsheets: a new computational model for end-user development of data-centric web applications. Onward! Matt McCutchen, Shachar Itzhaky, Daniel Jackson
2016	—	`conf`	Self-Verifying Execution (Position Paper). SecDev Matt McCutchen, Daniel Song, Shuo Chen, Shaz Qadeer
2016	A	`conf`	Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). FAST Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte