Sign in
Bin Gu
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 6
Top Topics
Sequence Diagrams
Formal Representation
Code Generation
Software Projects
Top Venues
CoRR
Proc. ACM Program. Lang.
ISSTA
ICSED
</>
Publications
</>
Jia Li
,
Ge Li
,
Yunfei Zhao
,
Yongmin Li
,
Zhi Jin
,
Hao Zhu
,
Huanyu Liu
,
Kaibo Liu
,
Lecheng Wang
,
Zheng Fang
,
Lanshen Wang
,
Jiazheng Ding
,
Xuanming Zhang
,
Yihong Dong
,
Yuqi Zhu
,
Bin Gu
,
Mengfei Yang
DevEval: Evaluating Code Generation in Practical Software Projects.
CoRR
(2024)
Heran Wang
,
Xiaogang Dong
,
Bin Gu
,
Xiaofeng Li
,
Ruiming Zhong
Improve Software Development: An Overview of Program Synthesis.
ICSED
(2023)
Chao Li
,
Rui Chen
,
Boxiang Wang
,
Zhixuan Wang
,
Tingting Yu
,
Yunsong Jiang
,
Bin Gu
,
Mengfei Yang
An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software.
ISSTA
(2023)
Jiang Liu
,
Han Su
,
Yunjun Bai
,
Bin Gu
,
Bai Xue
,
Mengfei Yang
,
Naijun Zhan
Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller.
CoRR
(2023)
Jincao Feng
,
Weikai Miao
,
Hanyue Zheng
,
Yihao Huang
,
Jianwen Li
,
Zheng Wang
,
Ting Su
,
Bin Gu
,
Geguang Pu
,
Mengfei Yang
,
Jifeng He
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.
CoRR
(2023)
Chijin Zhou
,
Quan Zhang
,
Lihua Guo
,
Mingzhe Wang
,
Yu Jiang
,
Qing Liao
,
Zhiyong Wu
,
Shanshan Li
,
Bin Gu
Towards Better Semantics Exploration for Browser Fuzzing.
Proc. ACM Program. Lang.
7 (OOPSLA2) (2023)