Jack Williams

Jack Williams

I am currently a Postdoc at Microsoft Research working on the Calc Intelligence project. My research is aimed at enriching spreadsheet programming with a focus on safety and extensibility.

Previously I was a PhD student at the University of Edinburgh working with Philip Wadler on contracts and gradual typing. My work includes contract semantics, blame, and the empirical evaluation of gradual typing.

Email: jw ~at~ jackw ~dot~ io

Profiles: GitHub LinkedIn

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

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

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

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

Code

My GitHub page can be found here; I occasionally contribute to TypeScript. Any code associated with my research is best obtained from the artifact repository. See the following links: Mixed Messages: Measuring Conformance and Non-Interference in TypeScript and contracts-ts.