Heidy Khlaaf

According to our database, Heidy Khlaaf authored at least 15 papers between 2014 and 2024.

Collaborative distances:

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

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

LeftoverLocals: Listening to LLM Responses Through Leaked GPU Local Memory.

Tyler Sorensen, Heidy Khlaaf

CoRR, 2024

2022

A Hazard Analysis Framework for Code Synthesis Large Language Models.

Heidy Khlaaf, Pamela Mishkin, Joshua Achiam, Gretchen Krueger, Miles Brundage

CoRR, 2022

2021

Evaluating Large Language Models Trained on Code.

Mark Chen, 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, Gretchen Krueger, Michael Petrov, Heidy Khlaaf, Girish Sastry, Pamela Mishkin, Brooke Chan, Scott Gray, Nick Ryder, Mikhail Pavlov, Alethea Power, Lukasz Kaiser, Mohammad Bavarian, Clemens Winter, Philippe Tillet, Felipe Petroski Such, Dave Cummings, Matthias Plappert, Fotios Chantzis, Elizabeth Barnes, Ariel Herbert-Voss, William Hebgen Guss, Alex Nichol, Alex Paino, Nikolas Tezak, Jie Tang, Igor Babuschkin, Suchir Balaji, Shantanu Jain, William Saunders, Christopher Hesse, Andrew N. Carr, Jan Leike, Joshua Achiam, Vedant Misra, Evan Morikawa, Alec Radford, Matthew Knight, Miles Brundage, Mira Murati, Katie Mayer, Peter Welinder, Bob McGrew, Dario Amodei, Sam McCandlish, Ilya Sutskever, Wojciech Zaremba

CoRR, 2021

Safety Case Templates for Autonomous Systems.

Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Luke Hinde, Philippa Ryan

CoRR, 2021

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, Sara Hooker, Jade Leung, Andrew Trask, Emma Bluemke, Jonathan Lebensold, Cullen O'Keefe, Mark Koren, Théo Ryffel, J. B. Rubinovitz, Tamay Besiroglu, Federica Carugati, Jack Clark, Peter Eckersley, Sarah de Haas, Maritza Johnson, Ben Laurie, Alex Ingerman, Igor Krawczuk, Amanda Askell, Rosario Cammarota, Andrew Lohn, David Krueger, Charlotte Stix, Peter Henderson, Logan Graham, Carina Prunkl, Bianca Martin, Elizabeth Seger, Noa Zilberman, Seán Ó hÉigeartaigh, Frens Kroeger, Girish Sastry, Rebecca Kagan, Adrian Weller, Brian Tse, Elizabeth Barnes, Allan Dafoe, Paul Scharre, Ariel Herbert-Voss, Martijn Rasser, Shagun Sodhani, Carrick Flynn, Thomas Krendl Gilbert, Lisa Dyer, Saif Khan, Yoshua Bengio, Markus Anderljung

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

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

2019

Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy.

Robin Bloomfield, Heidy Khlaaf, Philippa Ryan Conmy, Gareth Fletcher

Computer, 2019

2018

The past, present, and future(s): verifying temporal software properties.

Heidy Khlaaf

PhD thesis, 2018

2017

Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems.

Byron Cook, Heidy Khlaaf, Nir Piterman

J. ACM, 2017

2016

T2: Temporal Property Verification.

Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Fairness for Infinite-State Systems.

Byron Cook, Heidy Khlaaf, Nir Piterman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

On Automation of CTL* Verification for Infinite-State Systems.

Byron Cook, Heidy Khlaaf, Nir Piterman

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Faster temporal reasoning for infinite-state programs.

Byron Cook, Heidy Khlaaf, Nir Piterman

Proceedings of the Formal Methods in Computer-Aided Design, 2014