Faster temporal reasoning for infinite-state programs. - Byron Cook; Heidy Khlaaf; Nir Piterman (FMCAD, 2014)

On Automation of CTL* Verification for Infinite-State Systems. - Byron Cook; Heidy Khlaaf; Nir Piterman (CAV (1), 2015)

Fairness for Infinite-State Systems. - Byron Cook; Heidy Khlaaf; Nir Piterman (TACAS, 2015)

T2: Temporal Property Verification. - Marc Brockschmidt; Byron Cook; Samin Ishtiaq; Heidy Khlaaf; Nir Piterman (TACAS, 2016)

Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems. - Byron Cook; Heidy Khlaaf; Nir Piterman (J. ACM, 2017)

The past, present, and future(s): verifying temporal software properties. - Heidy Khlaaf (2018)

Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy. - Robin Bloomfield; Heidy Khlaaf; Philippa Ryan Conmy; Gareth Fletcher (Computer, 2019)

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1. - Robin Bloomfield; Gareth Fletcher; Heidy Khlaaf; Philippa Ryan; Shuji Kinoshita; Yoshiki Kinoshita; Makoto Takeyama; Yutaka Matsubara; Peter Popov Kazuki Imai; Yoshinori Tsutake (CoRR, 2020)

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2. - Robin Bloomfield; Gareth Fletcher; Heidy Khlaaf; Philippa Ryan; Shuji Kinoshita; Yoshiki Kinoshita; Makoto Takeyama; Yutaka Matsubara; Peter Popov Kazuki Imai; Yoshinori Tsutake (CoRR, 2020)

Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims. - Miles Brundage; Shahar Avin; Jasmine Wang; Haydn Belfield; Gretchen Krueger; Gillian K. Hadfield; Heidy Khlaaf; Jingying Yang; Helen Toner; Ruth Fong; Tegan Maharaj; Pang Wei Koh; et al. (CoRR, 2020)

Safety Case Templates for Autonomous Systems. - Robin Bloomfield; Gareth Fletcher; Heidy Khlaaf; Luke Hinde; Philippa Ryan (CoRR, 2021)

Evaluating Large Language Models Trained on Code. - Mark Chen 003; Jerry Tworek; Heewoo Jun; Qiming Yuan; Henrique Pondé de Oliveira Pinto; Jared Kaplan; Harri Edwards; Yuri Burda; Nicholas Joseph; Greg Brockman; Alex Ray; Raul Puri; et al. (CoRR, 2021)

A Hazard Analysis Framework for Code Synthesis Large Language Models. - Heidy Khlaaf; Pamela Mishkin; Joshua Achiam; Gretchen Krueger; Miles Brundage (CoRR, 2022)

LeftoverLocals: Listening to LLM Responses Through Leaked GPU Local Memory. - Tyler Sorensen 001; Heidy Khlaaf (CoRR, 2024)

Mind the Gap: Foundation Models and the Covert Proliferation of Military Intelligence, Surveillance, and Targeting. - Heidy Khlaaf; Sarah Myers West; Meredith Whittaker (CoRR, 2024)

Safety Co-Option and Compromised National Security: The Self-Fulfilling Prophecy of Weakened AI Risk Thresholds. - Heidy Khlaaf; Sarah Myers West (CoRR, 2025)

A Different Approach to AI Safety: Proceedings from the Columbia Convening on Openness in Artificial Intelligence and AI Safety. - Camille François; Ludovic Peran; Ayah Bdeir; Nouha Dziri; Will Hawkins; Yacine Jernite; Sayash Kapoor; Juliet Shen; Heidy Khlaaf; Kevin Klyman; Nik Marda; Marie Pellat; et al. (CoRR, 2025)