Jack Williams

According to our database, Jack Williams authored at least 20 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Improving Steering and Verification in AI-Assisted Data Analysis with Interactive Task Decomposition.

Majeed Kazemitabaar, Jack Williams, Ian Drosos, Tovi Grossman, Austin Zachary Henley, Carina Negreanu, Advait Sarkar

Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology, 2024

Solving Data-centric Tasks using Large Language Models.

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

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2024, 2024

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, Carina Negreanu, Sean Rintel, Jack Williams, Benjamin G. Zorn

CoRR, 2023

Co-audit: tools to help humans double-check AI-generated content.

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

CoRR, 2023

COLDECO: An End User Spreadsheet Inspection Tool for AI-Generated Code.

Kasra Ferdowsi, Jack Williams, Ian Drosos, Andrew D. Gordon, Carina Negreanu, Nadia Polikarpova, Advait Sarkar, Benjamin Zorn

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

FxD: a functional debugger for dysfunctional spreadsheets.

Ian Drosos, Nicholas Wilson, Andrew D. Gordon, Sruti Srinivasa Ragavan, Jack Williams

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

"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, Neil Toronto, Andrew D. Gordon

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

2022

LinkingPark: An automatic semantic table interpretation system.

Shuang Chen, Alperen Karaoglu, Carina Negreanu, Tingting Ma, Jin-Ge Yao, Jack Williams, Feng Jiang, Andy Gordon, Chin-Yew Lin

J. Web Semant., 2022

Where-provenance for bidirectional editing in spreadsheets.

Jack Williams, Andrew D. Gordon

J. Comput. Lang., 2022

Rows from Many Sources: Enriching row completions from Wikidata with a pre-trained Language Model.

Carina Negreanu, Alperen Karaoglu, Jack Williams, Shuang Chen, Daniel Fabian, Andrew D. Gordon, Chin-Yew Lin

Proceedings of the Companion of The Web Conference 2022, Virtual Event / Lyon, France, April 25, 2022

End-user encounters with lambda abstraction in spreadsheets: Apollo's bow or Achilles' heel?

Advait Sarkar, Sruti Srinivasa Ragavan, Jack Williams, Andrew D. Gordon

Proceedings of the 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, 2022

2020

Understanding and Inferring Units in Spreadsheets.

Jack Williams, Carina Negreanu, Andrew D. Gordon, Advait Sarkar

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2020

LinkingPark: An Integrated Approach for Semantic Table Interpretation.

Shuang Chen, Alperen Karaoglu, Carina Negreanu, Tingting Ma, Jin-Ge Yao, Jack Williams, Andy Gordon, Chin-Yew Lin

Proceedings of the Semantic Web Challenge on Tabular Data to Knowledge Graph Matching (SemTab 2020) co-located with the 19th International Semantic Web Conference (ISWC 2020), 2020

Higher-Order Spreadsheets with Spilled Arrays.

Jack Williams, Nima Joharizadeh, Andrew D. Gordon, Advait Sarkar

Proceedings of the Programming Languages and Systems, 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, Jack Williams

Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020

Gridlets: Reusing Spreadsheet Grids.

Nima Joharizadeh, Advait Sarkar, Andrew D. Gordon, Jack Williams

Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020

2019

Design and evaluation of contracts for gradual typing.

Jack Williams

PhD thesis, 2019

2018

The root cause of blame: contracts for intersection and union types.

Jack Williams, J. Garrett Morris, Philip Wadler

Proc. ACM Program. Lang., 2018

2017

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact).

Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski

Dagstuhl Artifacts Ser., 2017

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript.

Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017