Heidy Khlaaf - RankMe

18 papers A 2B 1Journal 13Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Different Approach to AI Safety: Proceedings from the Columbia Convening on Openness in Artificial Intelligence and AI Safety. CoRR 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, Deb Raji, Divya Siddarth, Aviya Skowron, Joseph S. Spisak, Madhulika Srikumar, Victor Storchan, Audrey Tang, Jen Weedon
2025	J	`jnl`	Safety Co-Option and Compromised National Security: The Self-Fulfilling Prophecy of Weakened AI Risk Thresholds. CoRR Heidy Khlaaf, Sarah Myers West
2024	J	`jnl`	LeftoverLocals: Listening to LLM Responses Through Leaked GPU Local Memory. CoRR Tyler Sorensen, Heidy Khlaaf
2024	J	`jnl`	Mind the Gap: Foundation Models and the Covert Proliferation of Military Intelligence, Surveillance, and Targeting. CoRR Heidy Khlaaf, Sarah Myers West, Meredith Whittaker
2022	J	`jnl`	A Hazard Analysis Framework for Code Synthesis Large Language Models. CoRR Heidy Khlaaf, Pamela Mishkin, Joshua Achiam, Gretchen Krueger, Miles Brundage
2021	J	`jnl`	Evaluating Large Language Models Trained on Code. CoRR 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
2021	J	`jnl`	Safety Case Templates for Autonomous Systems. CoRR Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Luke Hinde, Philippa Ryan
2020	J	`jnl`	Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims. CoRR 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 M. Khan, Yoshua Bengio, Markus Anderljung
2020	J	`jnl`	Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1. CoRR Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake
2020	J	`jnl`	Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2. CoRR Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake
2019	J	`jnl`	Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy. Computer Robin Bloomfield, Heidy Khlaaf, Philippa Ryan Conmy, Gareth Fletcher
2018	—	`—`	The past, present, and future(s): verifying temporal software properties. Heidy Khlaaf
2017	J	`jnl`	Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems. J. ACM Byron Cook, Heidy Khlaaf, Nir Piterman
2016	A	`conf`	T2: Temporal Property Verification. TACAS Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
2015	A	`conf`	Fairness for Infinite-State Systems. TACAS Byron Cook, Heidy Khlaaf, Nir Piterman
2015	—	`conf`	On Automation of CTL* Verification for Infinite-State Systems. CAV (1) Byron Cook, Heidy Khlaaf, Nir Piterman
2015	J	`jnl`	T2: Temporal Property Verification. CoRR Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman
2014	B	`conf`	Faster temporal reasoning for infinite-state programs. FMCAD Byron Cook, Heidy Khlaaf, Nir Piterman