Haoze Wu
ACM SIGCSE Technical Symposium on Computer Science Education (Student Research Competition)
BibTeX
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
portfolio
publications
Guy Katz, Derek A Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljić, David L Dill, Mykel J Kochenderfer, Clark Barrett
International Conference on Computer Aided Verification (CAV'19)
BibTeX
Haoze Wu, Raghuram Ramanujan
Twelfth Annual Symposium on Combinatorial Search (SoCS'19)
BibTeX
Jiaxuan You*, Haoze Wu*, Clark Barrett, Raghuram Ramanujan, Jure Leskovec
Advances in neural information processing systems (NeurIPS'19)
BibTeX
* denotes equal contribution.
Haoze Wu, Alex Ozdemir, Aleksandar Zeljić, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina Pasareanu, Clark Barrett
2020 Formal Methods in Computer Aided Design (FMCAD'20)
BibTeX
Ahmed Irfan, Kyle D. Julian, Haoze Wu, Clark Barrett, Mykel J. Kochenderfer, Baoluo Meng, and James Lopez.
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC'20)
BibTeX
Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark Barrett
International Conference on Computer Safety, Reliability and Security (SafeComp'21)
BibTeX
Guy Amir, Haoze Wu, Clark Barrett, Guy Katz
Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21)
BibTeX
Alex Ozdemir*, Haoze Wu*, Clark Barrett
Formal Methods in Computer Aided Design (FMCAD'21)
BibTeX
* denotes equal contribution.
Christopher A. Strong, Haoze Wu, Aleksandar Zeljić, Kyle D. Julian, Guy Katz, Clark Barrett, Mykel J. Kochenderfer
Journal of Machine Learning
BibTeX
Haoze Wu, Aleksandar Zeljic, Guy Katz, Clark Barrett
Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22)
BibTeX
Tom Zelazny, Haoze Wu, Clark Barrett, Guy Katz
Formal Methods in Computer-Aided Design (FMCAD'22)
BibTeX
Abhishek Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark Barrett
Formal Methods in Computer-Aided Design (FMCAD'22)
BibTeX
Haoze Wu, Clark Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh
Proceedings of the ACM on Programming Languages (OOPSLA'22)
BibTeX
Haoze Wu*, Teruhiro Tagomori*, Alexander Robey*, Fengjun Yang*, Nikolai Matni, George Pappas, Hamed Hassani, Corina Pasareanu, Clark Barrett
2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML'23)
BibTeX
* denotes equal contribution.
Dennis Wei, Haoze Wu, Min Wu, Pin-Yu Chen, Clark Barrett, Eitan Farchi
International Conference on Artificial Intelligence and Statistics (AISTATS'23)
BibTeX
Haoze Wu, Min Wu, Dorsa Sadigh, Clark Barrett
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'23)
BibTeX
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark Barrett
Formal Methods in Computer-Aided Design (FMCAD'23) (Best paper nominee)
BibTeX
Min Wu, Haoze Wu, Clark Barrett
Advances in neural information processing systems (NeurIPS'23)
BibTeX
Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark Barrett
AAAI Conference on Artificial Intelligence (AAAI'24) (Oral Presentation at the Safe, Robust, and Responsible AI track)
BibTeX
Haoze Wu, Clark Barrett, Nina Narodytska
International Conference on Learning Representations (ICLR'24) (Oral Presentation at MATH-AI'23, BayLearn'24)
BibTeX
Haoze Wu, Omri Isac, Aleksandar Zeljić, Teruhiro Tagomori, Matthew Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark Barrett
International Conference on Computer Aided Verification (CAV'24)
BibTeX
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Milan Ganai, Tobey Shim, Guy Katz, Clark Barrett
Formal Methods in Computer-Aided Design (FMCAD'24)
BibTeX
Pei Huang, Yuting Yang, Haoze Wu, Ieva Daukantas, Min Wu, Fuqi Jia, Clark Barrett
International Symposium on AI Verification (SAIV'24)
BibTeX
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto Ravaioli, Baoluo Meng, Michael Durling, Kerianne Hobbs, Milan Ganai, Tobey Shim, Guy Katz, Clark Barrett
AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC'24)
BibTeX
Min Wu, Xiaofu Li, Haoze Wu, Clark Barrett
Omri Isac, Idan Refaeli, Haoze Wu, Clark Barrett, Guy Katz
Haoze Wu, Clark Barrett, Nina Narodytska
Jingyuan Zhou, Haoze Wu, Longhao Yan, Kaidi Yang
AI Verification in the Wild Workshop@ICLR'25 (VerifAI)
BibTeX
Lucas C Cordeiro, Matthew L Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Šinkarovs, Haoze Wu
European Symposium on Programming (ESOP'25)
BibTeX
Amalee Wilson, Nina Narodytska, Clark Barrett, and Haoze Wu
To appear in 2025 Formal Methods in Computer Aided Design (FMCAD'25)
software
Lemur
Marabou
VeriX
talks
teaching
CS243 Program Analysis and Optimizations
Winter 2020, Stanford University
CS357 Formal Methods for Computer Systems
Fall 2021, Stanford University
CS257 Introduction to Automated Reasoning
Fall 2023, Fall 2022, Stanford University
COSC-241 Artificial Intelligence
Fall 2024, Amherst College
COSC-111 Introduction to Computer Science I
Fall 2025, Spring 2025, Fall 2024, Amherst College
COSC-345 Automated Reasoning
Spring 2025, Amherst College
COSC-227 Neural Safety Net
Fall 2025, Amherst College