WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models

被引：0
|
作者：
Yang, Chenyuan [1 ]
Deng, Yinlin [1 ]
Lu, Runyu [2 ]
Yao, Jiayi [3 ]
Liu, Jiawei [1 ]
Jabbarvand, Reyhaneh [1 ]
Zhang, Lingming [1 ]
机构：
[1] University of Illinois at Urbana-Champaign, Champaign, United States
[2] Huazhong University of Science and Technology, Wuhan, China
[3] Chinese University of Hong Kong, Shenzhen, China
来源：
Proceedings of the ACM on Programming Languages | 2024年 / 8卷 / OOPSLA2期
基金：
美国国家科学基金会;
关键词：
D O I：
10.1145/3689736
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Individualized Models for Glucose Prediction in Type 1 Diabetes: Comparing Black-Box Approaches to a Physiological White-Box One
    Cappon, Giacomo
    Prendin, Francesco
    Facchinetti, Andrea
    Sparacino, Giovanni
    Del Favero, Simone
    IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, 2023, 70 (11) : 3105 - 3115
  • [32] CALIBRATION OF WHITE-BOX WHOLE-BUILDING ENERGY MODELS USING A SYSTEMS-IDENTIFICATION APPROACH
    Mostafavi, Saman
    Cox, Robert
    Futrell, Benjamin
    Ashafari, Roshanak
    IECON 2018 - 44TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2018, : 795 - 800
  • [33] Impact of Actual Weather Datasets for Calibrating White-Box Building Energy Models Base on Monitored Data
    Gutierrez Gonzalez, Vicente
    Ramos Ruiz, German
    Fernandez Bandera, Carlos
    ENERGIES, 2021, 14 (04)
  • [34] SMT Solver Validation Empowered by Large Pre-trained Language Models
    Sun, Maolin
    Yang, Yibiao
    Wang, Yang
    Wen, Ming
    Jia, Haoxiang
    Zhou, Yuming
    2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 1288 - 1300
  • [35] Increasing the Accuracy of White-box Based Correction Models for the Compensation of Thermo-elastic Machine Errors
    Brecher C.
    Fey M.
    Wittmann M.
    Dehn M.
    ZWF Zeitschrift fuer Wirtschaftlichen Fabrikbetrieb, 2021, 116 (7-8): : 505 - 510
  • [36] MSFuzz: Augmenting Protocol Fuzzing with Message Syntax Comprehension via Large Language Models
    Cheng, Mingjie
    Zhu, Kailong
    Chen, Yuanchao
    Yang, Guozheng
    Lu, Yuliang
    Lu, Canju
    ELECTRONICS, 2024, 13 (13)
  • [37] Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models
    Tu, Haoxin
    Zhou, Zhide
    Jiang, He
    Yusuf, Imam Nur Bani
    Li, Yuxian
    Jiang, Lingxiao
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 50 (07) : 1768 - 1788
  • [38] Jailbreaking Black Box Large Language Models in Twenty Queries
    Chao, Patrick
    Robey, Alexander
    Dobriban, Edgar
    Hassani, Hamed
    Pappas, George J.
    Wong, Eric
    arXiv, 2023,
  • [39] White-box machine-learning models for accurate interfacial tension prediction in hydrogen-brine mixtures
    Lv, Qichao
    Xue, Jinglei
    Li, Xiaochen
    Rezaei, Farzaneh
    Larestani, Aydin
    Norouzi-Apourvari, Saeid
    Abdollahi, Hadi
    Hemmati-Sarapardeh, Abdolhossein
    CLEAN ENERGY, 2024, 8 (05): : 252 - 264
  • [40] Large language models empowered agent-based modeling and simulation: a survey and perspectives
    Gao, Chen
    Lan, Xiaochong
    Li, Nian
    Yuan, Yuan
    Ding, Jingtao
    Zhou, Zhilun
    Xu, Fengli
    Li, Yong
    HUMANITIES & SOCIAL SCIENCES COMMUNICATIONS, 2024, 11 (01):
12345