Follow
Jack Williams
Jack Williams
Other namesJohn Herbert Martin Williams
Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
“What it wants me to say”: Bridging the abstraction gap between end-user programmers and code-generating large language models
MX Liu, A Sarkar, C Negreanu, B Zorn, J Williams, N Toronto, AD Gordon
Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems …, 2023
972023
LinkingPark: An Integrated Approach for Semantic Table Interpretation.
S Chen, A Karaoglu, C Negreanu, T Ma, JG Yao, J Williams, A Gordon, ...
SemTab@ ISWC, 65-74, 2020
332020
Mixed messages: Measuring conformance and non-interference in TypeScript
J Williams, JG Morris, P Wadler, J Zalewski
Schloss Dagstuhl, 2017
272017
The root cause of blame: contracts for intersection and union types
J Williams, JG Morris, P Wadler
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
192018
Understanding and inferring units in spreadsheets
J Williams, C Negreanu, AD Gordon, A Sarkar
2020 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2020
152020
ColDeco: An end user spreadsheet inspection tool for AI-generated code
K Ferdowsi, J Williams, I Drosos, AD Gordon, C Negreanu, N Polikarpova, ...
2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2023
132023
Co-audit: tools to help humans double-check AI-generated content
AD Gordon, C Negreanu, J Cambronero, R Chakravarthy, I Drosos, ...
arXiv preprint arXiv:2310.01297, 2023
132023
Gridlets: Reusing spreadsheet grids
N Joharizadeh, A Sarkar, AD Gordon, J Williams
Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing …, 2020
132020
End-user encounters with lambda abstraction in spreadsheets: Apollo’s bow or Achilles’ heel?
A Sarkar, SS Ragavan, J Williams, AD Gordon
2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2022
122022
Spreadsheet use and programming experience: An exploratory survey
A Sarkar, JW Borghouts, A Iyer, S Khullar, C Canton, F Hermans, ...
Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing …, 2020
122020
LinkingPark: An automatic semantic table interpretation system
S Chen, A Karaoglu, C Negreanu, T Ma, JG Yao, J Williams, F Jiang, ...
Journal of Web Semantics 74, 100733, 2022
82022
Higher-Order Spreadsheets with Spilled Arrays.
J Williams, N Joharizadeh, AD Gordon, A Sarkar
ESOP, 743-769, 2020
72020
Participatory prompting: a user-centric research method for eliciting AI assistance opportunities in knowledge workflows
A Sarkar, I Drosos, R Deline, AD Gordon, C Negreanu, S Rintel, ...
arXiv preprint arXiv:2312.16633, 2023
52023
Improving steering and verification in AI-assisted data analysis with interactive task decomposition
M Kazemitabaar, J Williams, I Drosos, T Grossman, AZ Henley, ...
Proceedings of the 37th Annual ACM Symposium on User Interface Software and …, 2024
42024
Where-provenance for bidirectional editing in spreadsheets
J Williams, AD Gordon
Journal of Computer Languages 73, 101155, 2022
32022
Rows from Many Sources: Enriching row completions from Wikidata with a pre-trained Language Model
C Negreanu, A Karaoglu, J Williams, S Chen, D Fabian, A Gordon, CY Lin
Companion Proceedings of the Web Conference 2022, 1272-1280, 2022
22022
Solving Data-centric Tasks using Large Language Models
S Barke, C Poelitz, CS Negreanu, B Zorn, J Cambronero, AD Gordon, ...
arXiv preprint arXiv:2402.11734, 2024
12024
FxD: a functional debugger for dysfunctional spreadsheets
I Drosos, N Wilson, AD Gordon, SS Ragavan, J Williams
2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2023
12023
" What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models
M Xieyang Liu, A Sarkar, C Negreanu, B Zorn, J Williams, N Toronto, ...
arXiv e-prints, arXiv: 2304.06597, 2023
2023
Design and evaluation of contracts for gradual typing
J Williams
The University of Edinburgh, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20