• Sign in
  • Sign up
conf.researchr.org / Jack Williams
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • SPLASH 2018 profile
  • VL/HCC 2020 profile
  • VL/HCC 2021 profile
  • VL/HCC 2022 profile
Jack Williams

Registered user since Tue 2 May 2017

Name:Jack Williams
Country:United Kingdom
Affiliation:Microsoft Research, Cambridge
Personal website:http://www.jackw.io

Contributions

VL/HCC 2022 Author of End-user encounters with lambda abstraction in spreadsheets: Apollo's bow or Achilles' heel? within the Research Papers-track
VL/HCC 2021 Author of Where-provenance for Bidirectional Editing in Spreadsheets within the Research Papers-track
VL/HCC 2020 Author of Understanding and Inferring Units in Spreadsheets within the Research Papers-track
Committee Member in Organizing Committee within the Workshop: Intelligence in Spreadsheets and End-User Programming (ISEUP)-track
SPLASH 2018 Author of The Root Cause of Blame: Contracts for Intersection and Union Types within the Artifacts-track
Author of The Root Cause of Blame: Contracts for Intersection and Union Types within the OOPSLA-track
ECOOP 2017 Author of Mixed Messages: Measuring Conformance and Non-Interference in TypeScript within the ECOOP Research Papers-track

Share
xMon 15 Aug 17:59
using conf.researchr.org (v1.56.0)
Support page
Sign Up