程序分析与测试、软件安全等

招收 2024 入学推免生（硕士生、博士生），程序分析与测试、软件安全、自动驾驶测试 等方向！

083500-软件工程
081202-计算机软件与理论
083900-网络空间安全

并发程序分析, 软件测试理论, 软件安全

2010-09--2014-08 香港城市大学 博士
2009-10--2010-03 日本熊本大学 Research Student
2005-09--2009-07 山东大学 学士

软件分析与测试

   

（1） Tolerate Control-Flow Changes for Sound Data Race Prediction, IEEE/ACM International Conference on Software Engineering （ICSE 2023）, 2023, 通讯作者
（2） Building Critical Testing Scenarios for Autonomous Driving from Real Accidents, The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), 2023, 通讯作者
（3） FREEWILL: Automatically Diagnosing Use-after-free Bugs via Reference Miscounting Detection on Binaries, 31st USENIX Security Symposium (USENIX Security 22), 2022, 第 4 作者
（4） ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs, IEEE TRANSACTIONS ON RELIABILITY, 2022, 第 7 作者
（5） XDebloat: Towards Automated Feature-Oriented App Debloating, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2022, 第 7 作者
（6） RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis, ISSTA, 2021, 第 5 作者
（7） Sound and Efficient Concurrency Bug Prediction, The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2021, 通讯作者
（8） Detecting Concurrency Vulnerabilities Based on Partial Orders of Memory and Thread Events, The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2021, 第 3 作者
（9） Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?, The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2021, 第 8 作者
（10） Resource Race Attacks on Android, PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20), 2020, 通讯作者
（11） Detecting Bugs by Discovering Expectations and Their Violations (vol 45, pg 984, 2019), IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2020, 第 6 作者
（12） Special section on testing and repair for software engineering technologies and applications, SOFTWARE QUALITY JOURNAL, 2020, 第 2 作者
（13） Low-Overhead Deadlock Prediction, The 42nd International Conference on Software Engineering (ICSE'20), 2020, 第 1 作者
（14） Detecting Concurrency Memory Corruption Vulnerabilities, ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2019, 通讯作者
（15） Detecting Bugs by Discovering Expectations and Their Violations, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2019, 第 6 作者
（16） 程序分析研究进展, Recent Progress in Program Analysis, 软件学报, 2019, 第11作者
（17） CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities, 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019), 2019, 第 5 作者
（18） NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection, ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2018, 第 5 作者
（19） AtexRace: Across Thread and Execution Sampling for In-House Race Detection, ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, 通讯作者
（20） Adaptively Generating High Quality Fixes for Atomicity Violations, ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, 通讯作者
（21） AntMiner: Mining More Bugs by Reducing Noise Interference, 2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2016, 第 6 作者
（22） Dynamic Testing for Deadlocks via Constraints, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 通讯作者
（23） Fixing Deadlocks via Lock Pre-Acquisitions, 2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2016, 通讯作者
（24） The 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), A Deployable Sampling Strategy for Data Race Detection, 2016, 第 1 作者
（25） The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), RADIUSAWAREPROBABILISTICTESTINGOFDEADLOCKSWITHGUARANTEES, 2016, 第 1 作者
（26） 5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing, JOURNAL OF SYSTEMS AND SOFTWARE, 2016, 第 2 作者
（27） Effective and Precise Dynamic Detection of Hidden Races for Java Programs., 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2015, 第 1 作者
（28） A Subsumption Hierarchy of Test Case Prioritization for Composite Services, IEEE TRANSACTIONS ON SERVICES COMPUTING, 2015, 第 2 作者
（29） ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs, IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2015, 通讯作者
（30） ConLock: A Constraint-based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs, THE 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), 2014, 第 1 作者
（31） Magiclock: Scalable Detection of Potential Deadlocks in Large-Scale Multithreaded Programs, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2014, 通讯作者
（32） Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs, INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2013, 第 2 作者
（33） Lock Trace Reduction for Multithreaded Programs, IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2013, 通讯作者
（34） TeamWork: Synchronizing Threads Globally to Detect Real Deadlocks for Multithreaded Programs, ACM SIGPLAN NOTICES, 2013, 第 1 作者
（35） Taming Deadlocks in Multithreaded Programs, 2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2013, 通讯作者
（36） Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions, The 20th IEEE International Conference on Web Services (ICWS 2013), 2013, 第 1 作者
（37） In quest of the science in statistical fault localization, SOFTWARE-PRACTICE & EXPERIENCE, 2013, 第 2 作者
（38） MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications, 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, 通讯作者
（39） LOFT: Redundant Synchronization Event Removal for Data Race Detection, 22ND IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2011, 通讯作者
（40） sCompile: Critical Path Identification and Analysis for Smart Contracts, 

已指导学生

曹玲微  硕士研究生  081203-计算机应用技术  

朱碧云  硕士研究生  081202-计算机软件与理论  

李海成  硕士研究生  085211-计算机技术  

孟瑞杰  硕士研究生  083500-软件工程  

云昊  硕士研究生  083500-软件工程  

王金秋  硕士研究生  083500-软件工程  

现指导学生

祝世豪  博士研究生  083500-软件工程  

张旭东  博士研究生  083500-软件工程  

郭宇祺  博士研究生  083500-软件工程  

李鼎程  硕士研究生  083500-软件工程  

马思源  硕士研究生  083500-软件工程  

聂泽华  博士研究生  083500-软件工程  

林璐霞  硕士研究生  083500-软件工程  

冯锐洲  硕士研究生  081200-计算机科学与技术  

卫思为  博士研究生  083500-软件工程