Wellbeing and Healthcare: Exploring Ways of Interactive Prototyping with Mental Process. - Yancong Zhu; Xiaohan Wang; Longxin Ma; Bowen Zhang; Yuchen Jing; Xiaoyu Shen; Amanda Liu; Wei Liu 020 (AHFE (18), 2021)

Verified tensor-program optimization via high-level scheduling rewrites. - Amanda Liu; Gilbert Louis Bernstein; Adam Chlipala; Jonathan Ragan-Kelley (Proc. ACM Program. Lang., 2022)

What Else Do I Need to Know? The Effect of Background Information on Users' Reliance on QA Systems. - Navita Goyal; Eleftheria Briakou; Amanda Liu; Connor Baumler; Claire Bonial; Jeffrey Micher; Clare R. Voss; Marine Carpuat; Hal Daumé III (EMNLP, 2023)

How Can BOLE Identify, Cultivate, and Judge User Experience (UX) Talents? Inspiring and Designing the Playful Experience of Tomorrow. - Mei Ai; Qiwen Cai; Yun Fan; Bowen Li; Ruonan Huang; Shuya Liu; Yuxin Ran; Ruikang Wang; Yanna Wang; Kaihe Zhang; Amanda Liu; Zheng Zou; et al. (HCI (20), 2023)

What Else Do I Need to Know? The Effect of Background Information on Users' Reliance on AI Systems. - Navita Goyal; Eleftheria Briakou; Amanda Liu; Connor Baumler; Claire Bonial; Jeffrey Micher; Clare R. Voss; Marine Carpuat; Hal Daumé III (CoRR, 2023)

The Prompt Report: A Systematic Survey of Prompting Techniques. - Sander Schulhoff; Michael Ilie; Nishant Balepur; Konstantine Kahadze; Amanda Liu; Chenglei Si; Yinheng Li; Aayush Gupta; HyoJung Han; Sevien Schulhoff; Pranav Sandeep Dulepet; Saurav Vidyadhara; et al. (CoRR, 2024)

A Verified Compiler for a Functional Tensor Language. - Amanda Liu; Gilbert Bernstein; Adam Chlipala; Jonathan Ragan-Kelley (Proc. ACM Program. Lang., 2024)