Matt McCutchen

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

Ravishankar K. Iyer, Phuong Cao, Shaz Qadeer, 2017, RV.

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

Daniel Jackson, Shachar Itzhaky, Matt McCutchen, 2016, Onward!.

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

Cheng Huang, Wolfram Schulte, Alastair F. Donaldson, 2016, FAST.

Self-Verifying Execution (Position Paper)

Shaz Qadeer, Shuo Chen, Daniel Song, 2016, 2016 IEEE Cybersecurity Development (SecDev).

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

Simon Peyton Jones, Andrew D. Gordon, Advait Sarkar, 2020, J. Funct. Program..