Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. - Jack Williams 001; J. Garrett Morris; Philip Wadler; Jakub Zalewski (ECOOP, 2017)

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact). - Jack Williams 001; J. Garrett Morris; Philip Wadler; Jakub Zalewski (Dagstuhl Artifacts Ser., 2017)

The root cause of blame: contracts for intersection and union types. - Jack Williams 001; J. Garrett Morris; Philip Wadler (Proc. ACM Program. Lang., 2018)

Design and evaluation of contracts for gradual typing. - Jack Williams 001 (2019)

Gridlets: Reusing Spreadsheet Grids. - Nima Joharizadeh; Advait Sarkar; Andrew D. Gordon 001; Jack Williams 001 (CHI Extended Abstracts, 2020)

Spreadsheet Use and Programming Experience: An Exploratory Survey. - Advait Sarkar; Judith W. Borghouts; Anusha Iyer; Sneha Khullar; Christian Canton; Felienne Hermans; Andrew D. Gordon 001; Jack Williams 001 (CHI Extended Abstracts, 2020)

Higher-Order Spreadsheets with Spilled Arrays. - Jack Williams 001; Nima Joharizadeh; Andrew D. Gordon 001; Advait Sarkar (ESOP, 2020)

LinkingPark: An Integrated Approach for Semantic Table Interpretation. - Shuang Chen 003; Alperen Karaoglu; Carina Negreanu; Tingting Ma; Jin-Ge Yao; Jack Williams 001; Andy Gordon 001; Chin-Yew Lin (SemTab@ISWC, 2020)

Understanding and Inferring Units in Spreadsheets. - Jack Williams 001; Carina Negreanu; Andrew D. Gordon 001; Advait Sarkar (VL/HCC, 2020)

End-user encounters with lambda abstraction in spreadsheets: Apollo's bow or Achilles' heel? - Advait Sarkar; Sruti Srinivasa Ragavan; Jack Williams 001; Andrew D. Gordon 001 (VL/HCC, 2022)

Rows from Many Sources: Enriching row completions from Wikidata with a pre-trained Language Model. - Carina Negreanu; Alperen Karaoglu; Jack Williams 001; Shuang Chen 003; Daniel Fabian; Andrew D. Gordon 001; Chin-Yew Lin (WWW (Companion Volume), 2022)

Where-provenance for bidirectional editing in spreadsheets. - Jack Williams 001; Andrew D. Gordon 001 (J. Comput. Lang., 2022)

LinkingPark: An automatic semantic table interpretation system. - Shuang Chen 003; Alperen Karaoglu; Carina Negreanu; Tingting Ma; Jin-Ge Yao; Jack Williams 001; Feng Jiang 001; Andy Gordon 001; Chin-Yew Lin (J. Web Semant., 2022)

"What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models. - Michael Xieyang Liu; Advait Sarkar; Carina Negreanu; Benjamin G. Zorn; Jack Williams 001; Neil Toronto; Andrew D. Gordon 001 (CHI, 2023)

FxD: a functional debugger for dysfunctional spreadsheets. - Ian Drosos; Nicholas Wilson; Andrew D. Gordon 001; Sruti Srinivasa Ragavan; Jack Williams 001 (VL/HCC, 2023)

COLDECO: An End User Spreadsheet Inspection Tool for AI-Generated Code. - Kasra Ferdowsi; Jack Williams 001; Ian Drosos; Andrew D. Gordon 001; Carina Negreanu; Nadia Polikarpova; Advait Sarkar; Benjamin Zorn 001 (VL/HCC, 2023)

Co-audit: tools to help humans double-check AI-generated content. - Andrew D. Gordon 001; Carina Negreanu; José Cambronero; Rasika Chakravarthy; Ian Drosos; Hao Fang; Bhaskar Mitra 001; Hannah Richardson; Advait Sarkar; Stephanie Simmons; Jack Williams 001; Ben Zorn 001 (CoRR, 2023)

Participatory prompting: a user-centric research method for eliciting AI assistance opportunities in knowledge workflows. - Advait Sarkar; Ian Drosos; Rob DeLine; Andrew D. Gordon 001; Carina Negreanu; Sean Rintel; Jack Williams 001; Benjamin G. Zorn (CoRR, 2023)

Solving Data-centric Tasks using Large Language Models. - Shraddha Barke; Christian Pölitz; Carina Negreanu; Benjamin Zorn 001; José Cambronero; Andrew D. Gordon 001; Vu Le 002; Elnaz Nouri; Nadia Polikarpova; Advait Sarkar; Brian Slininger; Neil Toronto; et al. (NAACL-HLT (Findings), 2024)

Improving Steering and Verification in AI-Assisted Data Analysis with Interactive Task Decomposition. - Majeed Kazemitabaar; Jack Williams 001; Ian Drosos; Tovi Grossman; Austin Zachary Henley; Carina Negreanu; Advait Sarkar (UIST, 2024)

Dynamic Prompt Middleware: Contextual Prompt Refinement Controls for Comprehension Tasks. - Ian Drosos; Jack Williams 001; Advait Sarkar; Nicholas Wilson (CoRR, 2024)

Dynamic Prompt Middleware: Contextual Prompt Refinement Controls for Comprehension Tasks. - Ian Drosos; Jack Williams 001; Advait Sarkar; Nicholas Wilson; Sean Rintel; Payod Panda (CHIWORK, 2025)

Synthetic Function Demonstrations Improve Generation in Low-Resource Programming Languages. - Nick McKenna; Xinnuo Xu; Jack Williams 001; Nick Wilson; Benjamin Van Durme; Christian Pölitz (CoRR, 2025)