Matt McCutchen -

Registered user since Wed 3 Aug 2016

Name:Matt McCutchen

Country:United States

Personal website: https://mattmccutchen.net/

Research interests:end-user development, programming languages, security

Contributions

2024

SPLASH

Author of Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization within the OOPSLA 2024-track

ESEC/FSE

Author of How We Built Cedar: A Verification-Guided Approach within the Industry Papers-track

2022

SPLASH

Author of C to checked C by 3c within the OOPSLA-track

2020

ICFP

Author of Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays within the ICFP Program-track

2018

LIVE

Author of Espalier: a structured spreadsheet tool for end-user development of organizational applications within the LIVE 2018-track

SPLASH

Author of Espalier: a structured spreadsheet tool for end-user development of organizational applications within the Posters-track

2016

Onward!

Author of Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications within the Onward! Papers-track