Matt McCutchen's publications, etc.

This is intended to be the most comprehensive list of my publications and other works that have passed a scholarly review of some kind.  Some of the materials here may be subject to third-party copyrights, and even for copyrights I hold, I may not grant full permissions due to publisher restrictions; please ask me if you need more information.  I maintain my ORCID page to a degree, but it may be missing some information.

Espalier / Object Spreadsheets[# Top]

(Project web site)

• [#] Matt McCutchen, Shachar Itzhaky, Daniel Jackson, and Willow Jarvis.  Espalier: a structured spreadsheet tool for end-user development of organizational applications.  LIVE Programming Workshop 2018.  Submitted demo video, page on workshop site.
• [#] Matt McCutchen.  Object Spreadsheets: an end-user development tool for web applications backed by entity-relationship data.  Master's thesis, June 2016.  PDF, MIT DSpace page.
• [#] Matt McCutchen, Shachar Itzhaky, and Daniel Jackson.  Object Spreadsheets: a new computational model for end-user development of data-centric web applications.  In 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2016).  PDF, publisher web page, page on conference site.

Other end-user development work[# Top]

• [#] Matt McCutchen, Judith Borghouts, Andrew D. Gordon, Simon Peyton Jones, and Advait Sarkar.  Elastic sheet-defined functions: generalising spreadsheet functions to variable-size input arrays.  Journal of Functional Programming.  Presented at the 25th ACM SIGPLAN International Conference on Functional Programming (ICFP 2020).  PDF, Microsoft Research publication page, publisher web page (discussion thread), page on conference site (includes talk video and related materials).

Other programming languages and software engineering work[# Top]

• [#] Aravind Machiry, John Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, and Michael Hicks.  C to Checked C by 3C.  OOPSLA 2022.  PDF, publisher web page, page on conference site.
• [#] Matt McCutchen, Daniel Song, Shuo Chen, and Shaz Qadeer.  Self-verifying execution (position paper).  IEEE Cybersecurity Development Conference (SecDev 2016).  PDF, Microsoft Research publication page, publisher web page.
• [#] Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, and Wolfram Schulte.  Uncovering bugs in distributed storage systems during testing (not in production!).  In 14th USENIX Conference on File and Storage Technologies (FAST 2016), pp. 249–262.  PDF, page on conference site.

Approximation algorithms[# Top]

• [#] Richard Matthew McCutchen.  The least-unpopularity-factor and least-unpopularity-margin criteria for matching problems with one-sided preferences.  In Latin American Symposium on Theoretical Informatics 2008 (LATIN 2008), pp. 593–604.  PDF, publisher web page.
• [#] Richard Matthew McCutchen and Samir Khuller.  Streaming algorithms for k-center clustering with outliers and with anonymity.  In 11th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2008), pp. 165–178.  PDF, publisher web page.
• [#] Chandra Chekuri, Avigdor Gal, Sungjin Im, Samir Khuller, Jian Li, Richard McCutchen, Benjamin Moseley, Louiqa Raschid.  New models and algorithms for throughput maximization in broadcast scheduling.  In 8th Workshop on Approximation and Online Algorithms (WAOA 2010), pp. 71–82.  PDF, publisher web page.