Disconnect: A Proposal for Reclaiming Control in HCI. - Awais Hameed Khan; Scott Heiner; Ben Matthews (CHI Extended Abstracts, 2019)

Disconnecting: Towards a Semiotic Framework for Personal Data Trails. - Awais Hameed Khan; Stephen Snow; Scott Heiner; Ben Matthews (Conference on Designing Interactive Systems, 2020)

Speculative Designs for Emergent Personal Data Trails: Signs, Signals and Signifiers. - Stephen Snow; Awais Hameed Khan; Stephen Viller; Ben Matthews; Scott Heiner; James Pierce 001; Ewa Luger; Richard Gomer; Dorota Filipczuk (CHI Extended Abstracts, 2020)

Measuring Progress on Scalable Oversight for Large Language Models. - Samuel R. Bowman; Jeeyoon Hyun; Ethan Perez; Edwin Chen; Craig Pettit; Scott Heiner; Kamile Lukosiute; Amanda Askell; Andy Jones; Anna Chen; Anna Goldie; Azalia Mirhoseini; et al. (CoRR, 2022)

Discovering Language Model Behaviors with Model-Written Evaluations. - Ethan Perez; Sam Ringer; Kamile Lukosiute; Karina Nguyen; Edwin Chen; Scott Heiner; Craig Pettit; Catherine Olsson; Sandipan Kundu; Saurav Kadavath; Andy Jones; Anna Chen; et al. (CoRR, 2022)

Discovering Language Model Behaviors with Model-Written Evaluations. - Ethan Perez; Sam Ringer; Kamile Lukosiute; Karina Nguyen; Edwin Chen; Scott Heiner; Craig Pettit; Catherine Olsson; Sandipan Kundu; Saurav Kadavath; Andy Jones; Anna Chen; et al. (ACL (Findings), 2023)

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. - Robert J. Colvin; Ian J. Hayes; Scott Heiner; Peter Höfner; Larissa Meinicke; Roger C. Su (CoRR, 2024)

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. - Robert J. Colvin; Ian J. Hayes; Scott Heiner; Peter Höfner; Larissa Meinicke; Roger C. Su (The Practice of Formal Methods (I), 2024)