Heidy Khlaaf

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 13

Top Venues

CoRR

TACAS

CAV (1)

Computer

University College London, UK (PHD)

Education History

University College London, UK

PHD

Publications

Tyler Sorensen, Heidy Khlaaf
LeftoverLocals: Listening to LLM Responses Through Leaked GPU Local Memory. CoRR (2024)
Heidy Khlaaf, Pamela Mishkin, Joshua Achiam, Gretchen Krueger, Miles Brundage
A Hazard Analysis Framework for Code Synthesis Large Language Models. CoRR (2022)
Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde de Oliveira Pinto, Jared Kaplan, Harrison 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
Evaluating Large Language Models Trained on Code. CoRR (2021)
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Luke Hinde, Philippa Ryan
Safety Case Templates for Autonomous Systems. CoRR (2021)
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2. CoRR (2020)
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
Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims. CoRR (2020)
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1. CoRR (2020)
Robin Bloomfield, Heidy Khlaaf, Philippa Ryan Conmy, Gareth Fletcher
Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy. Computer 52 (9) (2019)
Byron Cook, Heidy Khlaaf, Nir Piterman
Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems. J. ACM 64 (2) (2017)
Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
T2: Temporal Property Verification. TACAS (2016)
Byron Cook, Heidy Khlaaf, Nir Piterman
On Automation of CTL* Verification for Infinite-State Systems. CAV (1) (2015)
Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
T2: Temporal Property Verification. CoRR (2015)
Byron Cook, Heidy Khlaaf, Nir Piterman
Fairness for Infinite-State Systems. TACAS (2015)
Byron Cook, Heidy Khlaaf, Nir Piterman
Faster temporal reasoning for infinite-state programs. FMCAD (2014)

Heidy Khlaaf.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Heidy Khlaaf