百晓学者学者目录

周旻

副研究员、助理研究员，清华大学

精选作品

期刊论文

2025

PANDA: Accelerating single-source value flow defect detection via parallel computing

Ru-Lin Xu, Bai Lin, Min Zhou, Xiaoguang Mao

Empirical Software Engineering

DOI

2025

FAMiT: Mitigating False Alarms for Program Analysis Using Large Language Models

Jiabao Zeng, Yuanlin Li, Ran Zhang, Yuan-Min Xie, Kejia Li, Min Zhou

Theoretical Aspects of Software Engineering

DOI

2025

Interactively Translating Real-world Software Requirements into Linear Temporal Logics with Large Language Models

Min Zhou, Zhibin Yang, Yong Zhou, Shuyi Yang, Ai Liu

IEEE International Conference on Software Quality, Reliability and Security Companion

DOI

2022

基于改进YOLOv4的变电站缺陷检测

陈婷，周旻，韩勤，张湘，茅耀斌

《计算机系统应用》

预印本

2026

ShadowProbe: Language-Extensible Detection of Hidden Algorithmic Complexity Vulnerabilities

Yuanmin Xie, X . Wu, Wenhao Wu, Lingyun Ying, Puzhuo Liu, Haipeng Qu, Zhongyuan Chen, Min Zhou, C. P. Sun

arXiv (Cornell University)

DOI

研究方向

软件分析验证软件工程

此主页由公开资料整理，尚未经学者本人认领。