Jack Williams

29 papers A* 2A 2B 5Journal 12Unranked 7
YearRankTypeTitle / Venue / Authors
2026 — conf
What does Generative UI mean for HCI Practice?
CHI Extended Abstracts
Siân Lindley, Jack Williams, Yining Cao, Haijun Xia, Elizabeth F. Churchill, Abigail Sellen, Jeffrey Nichols, David R. Karger
2025 — conf
Dynamic Prompt Middleware: Contextual Prompt Refinement Controls for Comprehension Tasks.
CHIWORK
Ian Drosos, Jack Williams, Advait Sarkar, Nicholas Wilson, Sean Rintel, Payod Panda
2025 J jnl
Synthetic Function Demonstrations Improve Generation in Low-Resource Programming Languages.
CoRR
Nick McKenna, Xinnuo Xu, Jack Williams, Nick Wilson, Benjamin Van Durme, Christian Pölitz
2024 J jnl
Dynamic Prompt Middleware: Contextual Prompt Refinement Controls for Comprehension Tasks.
CoRR
Ian Drosos, Jack Williams, Advait Sarkar, Nicholas Wilson
2024 A* conf
Improving Steering and Verification in AI-Assisted Data Analysis with Interactive Task Decomposition.
UIST
Majeed Kazemitabaar, Jack Williams, Ian Drosos, Tovi Grossman, Austin Zachary Henley, Carina Negreanu, Advait Sarkar
2024 J jnl
Improving Steering and Verification in AI-Assisted Data Analysis with Interactive Task Decomposition.
CoRR
Majeed Kazemitabaar, Jack Williams, Ian Drosos, Tovi Grossman, Austin Z. Henley, Carina Negreanu, Advait Sarkar
2024 — conf
Solving Data-centric Tasks using Large Language Models.
NAACL-HLT (Findings)
Shraddha Barke, Christian Pölitz, Carina Negreanu, Benjamin Zorn, José Cambronero, Andrew D. Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams
2024 J jnl
Solving Data-centric Tasks using Large Language Models.
CoRR
Shraddha Barke, Christian Pölitz, Carina Suzana Negreanu, Benjamin G. Zorn, José Cambronero, Andrew D. Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams
2023 A* conf
"What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models.
CHI
Michael Xieyang Liu, Advait Sarkar, Carina Negreanu, Benjamin G. Zorn, Jack Williams, Neil Toronto, Andrew D. Gordon
2023 J jnl
"What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models.
CoRR
Michael Xieyang Liu, Advait Sarkar, Carina Negreanu, Ben Zorn, Jack Williams, Neil Toronto, Andrew D. Gordon
2023 B conf
COLDECO: An End User Spreadsheet Inspection Tool for AI-Generated Code.
VL/HCC
Kasra Ferdowsi, Jack Williams, Ian Drosos, Andrew D. Gordon, Carina Negreanu, Nadia Polikarpova, Advait Sarkar, Benjamin Zorn
2023 J jnl
Co-audit: tools to help humans double-check AI-generated content.
CoRR
Andrew D. Gordon, Carina Negreanu, José Cambronero, Rasika Chakravarthy, Ian Drosos, Hao Fang, Bhaskar Mitra, Hannah Richardson, Advait Sarkar, Stephanie Simmons, Jack Williams, Ben Zorn
2023 B conf
FxD: a functional debugger for dysfunctional spreadsheets.
VL/HCC
Ian Drosos, Nicholas Wilson, Andrew D. Gordon, Sruti Srinivasa Ragavan, Jack Williams
2023 J jnl
Participatory prompting: a user-centric research method for eliciting AI assistance opportunities in knowledge workflows.
CoRR
Advait Sarkar, Ian Drosos, Rob DeLine, Andrew D. Gordon, Carina Negreanu, Sean Rintel, Jack Williams, Benjamin G. Zorn
2022 B conf
End-user encounters with lambda abstraction in spreadsheets: Apollo's bow or Achilles' heel?
VL/HCC
Advait Sarkar, Sruti Srinivasa Ragavan, Jack Williams, Andrew D. Gordon
2022 J jnl
LinkingPark: An automatic semantic table interpretation system.
J. Web Semant.
Shuang Chen, Alperen Karaoglu, Carina Negreanu, Tingting Ma, Jin-Ge Yao, Jack Williams, Feng Jiang, Andy Gordon, Chin-Yew Lin
2022 — conf
Rows from Many Sources: Enriching row completions from Wikidata with a pre-trained Language Model.
WWW (Companion Volume)
Carina Negreanu, Alperen Karaoglu, Jack Williams, Shuang Chen, Daniel Fabian, Andrew D. Gordon, Chin-Yew Lin
2022 J jnl
Rows from Many Sources: Enriching row completions from Wikidata with a pre-trained Language Model.
CoRR
Carina Negreanu, Alperen Karaoglu, Jack Williams, Shuang Chen, Daniel Fabian, Andrew D. Gordon, Chin-Yew Lin
2022 J jnl
Where-provenance for bidirectional editing in spreadsheets.
J. Comput. Lang.
Jack Williams, Andrew D. Gordon
2021 B conf
Where-Provenance for Bidirectional Editing in Spreadsheets.
VL/HCC
Jack Williams, Andrew D. Gordon
2020 — conf
Gridlets: Reusing Spreadsheet Grids.
CHI Extended Abstracts
Nima Joharizadeh, Advait Sarkar, Andrew D. Gordon, Jack Williams
2020 A conf
Higher-Order Spreadsheets with Spilled Arrays.
ESOP
Jack Williams, Nima Joharizadeh, Andrew D. Gordon, Advait Sarkar
2020 — conf
LinkingPark: An Integrated Approach for Semantic Table Interpretation.
SemTab@ISWC
Shuang Chen, Alperen Karaoglu, Carina Negreanu, Tingting Ma, Jin-Ge Yao, Jack Williams, Andy Gordon, Chin-Yew Lin
2020 — conf
Spreadsheet Use and Programming Experience: An Exploratory Survey.
CHI Extended Abstracts
Advait Sarkar, Judith W. Borghouts, Anusha Iyer, Sneha Khullar, Christian Canton, Felienne Hermans, Andrew D. Gordon, Jack Williams
2020 B conf
Understanding and Inferring Units in Spreadsheets.
VL/HCC
Jack Williams, Carina Negreanu, Andrew D. Gordon, Advait Sarkar
2019 — —
Design and evaluation of contracts for gradual typing.
Jack Williams
2018 J jnl
The root cause of blame: contracts for intersection and union types.
Proc. ACM Program. Lang.
Jack Williams, J. Garrett Morris, Philip Wadler
2017 J jnl
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact).
Dagstuhl Artifacts Ser.
Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski
2017 A conf
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript.
ECOOP
Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski