Folgen
Jack Williams
Jack Williams
Microsoft Research
Bestätigte E-Mail-Adresse bei microsoft.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
“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
532023
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
272020
Mixed messages: Measuring conformance and non-interference in TypeScript
J Williams, JG Morris, P Wadler, J Zalewski
Schloss Dagstuhl, 2017
232017
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
162018
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
122020
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
122020
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
92022
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
62020
Higher-Order Spreadsheets with Spilled Arrays.
J Williams, N Joharizadeh, AD Gordon, A Sarkar
ESOP, 743-769, 2020
62020
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
52022
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
32023
Where-provenance for bidirectional editing in spreadsheets
J Williams, AD Gordon
Journal of Computer Languages 73, 101155, 2022
32022
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
22023
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
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
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
2024
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
2023
" 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
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact).
J Williams, JG Morris, P Wadler, J Zalewski
Dagstuhl Artifacts Ser. 3 (2), 08:1-08:2, 2017
2017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20