Jack Williams

Jack Williams

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

Profiles: github linkedin

Publications
Understanding and Inferring Units in Spreadsheets (VL/HCC 2020)

Jack Williams, Carina Negreanu, Andrew D. Gordon, and Advait Sarkar
IEEE

Higher-Order Spreadsheets with Spilled Arrays (ESOP 2020)

Jack Williams, Nima Joharizadeh, Andrew D. Gordon, and Advait Sarkar
Springer, Extended Version

Gridlets: Reusing Spreadsheet Grids (CHI EA 2020)

Nima Joharizadeh, Advait Sarkar, Jack Williams, and Andy Gordon
ACM, PDF

Spreadsheet Use and Programming Experience: an Exploratory Survey (CHI EA 2020)

Advait Sarkar, Judith W. Borghouts, Anusha Iyer, Sneha Khullar, Christian Canton, Felienne Hermans, Andy Gordon, Jack Williams
ACM, PDF

Design and Evaluation of Contracts for Gradual Typing (PhD Thesis, University of Edinburgh, 2019)

ERA, PDF

The Root Cause of Blame: Contracts for Intersection and Union Types (OOPSLA 2018)

Jack Williams, J. Garrett Morris, and Philip Wadler
ACM, PDF

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (ECOOP 2017)

Jack Williams, J. Garrett Morris, Philip Wadler, and Jakub Zalewski
LIPIcs, PDF