I am currently a Postdoc at Microsoft Research working on the Calc Intelligence project. My research is currently aimed at spreadsheet programming with a focus on safety, extensibility, and collaboration.
I did my PhD at the University of Edinburgh working with Philip Wadler on contract semantics and gradual typing.
I regularly contribute to the TypeScript compiler.
Email: jw ~at~ jackw ~dot~ io
PublicationsUnderstanding and Inferring Units in Spreadsheets (VL/HCC 2020)
Jack Williams, Carina Negreanu, Andrew D. Gordon, and Advait Sarkar IEEEHigher-Order Spreadsheets with Spilled Arrays (ESOP 2020) Gridlets: Reusing Spreadsheet Grids (CHI EA 2020) Spreadsheet Use and Programming Experience: an Exploratory Survey (CHI EA 2020) Design and Evaluation of Contracts for Gradual Typing (PhD Thesis, University of Edinburgh, 2019) The Root Cause of Blame: Contracts for Intersection and Union Types (OOPSLA 2018) Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (ECOOP 2017)