Publications
Group highlights
(For a full list see below or go to Google Scholar
Interval counterexamples were introduced in this paper, each of which represents a set of counterexamples. With interval counterexamples, the number of iterations for loop invariant learning can be greatly reduced.
Rongchen Xu, Fei He and Bow-Yaw Wang
This paper is selected as ACM SIGSOFT Distinguished Paper. (TODO) Some more description is needed here.
Jianhui Chen, Fei He
Full List
Termination Analysis for Evolving Programs : An Incremental Approach by Reusing Certified Modules
Fei He, Jitao Han
OOPSLA 2020
Interval Counterexamples for Loop Invariant Learning
Rongchen Xu, Fei He and Bow-Yaw Wang
ESEC/FSE 2020
Enhancing precision of structured merge by proper tree matching
Fengmin Zhu, Fei He, Qianshan Yu
ICSE 2019
PSpec-SQL: Enabling Fine-Grained Control for Distributed Data Analytics
Chen Luo, Fei He, Fei Peng, Dong Yan, Dan Zhang and Xin Zhou
IEEE Transactions on Dependable and Secure Computing, 2019, Early Access
Conflict resolution for structured merge via version space algebra
Fengmin Zhu, Fei He
OOPSLA 2018
Control flow-guided SMT solving for program verification
Jianhui Chen, Fei He
ASE2018
SMT-Based Query Tracking for Differentially Private Data Analytics Systems
Chen Luo, Fei He
Frontier of Computer Science, 2018, 12 (6): 1192-1207
Efficient Software Product-Line Model Checking using Induction and a SAT-Solver
Fei He, Yuan Gao and Liangze Yin
Frontier of Computer Science, 2018, 12 (2): 264-279
PSpec: A Formal Specification Language for Fine-Grained Control on Distributed Data Analytics
Chen Luo, Fei He, Dong Yan, Dan Zhang, Xin Zhou and Bow-Yaw Wang
ICSE 2017
A True-Concurrency Encoding for BMC of Compositional Systems
Liangze Yin, Wei Dong, Fei He and Ji Wang
The Computer Journal, 2017 July: 1-14
Inferring Software Behavioral Models with MapReduce (extended version)
Chen Luo, Fei He and Carlo Ghezzi
Science of Computer Programming, vol. 145, pp. 13-36, Oct. 2017
Learning-based Assume-Guarantee Regression Verification
Fei He, Shu Mao and Bow-Yaw Wang
CAV 2016
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes (journal version of the POPL’15 paper)
Fei He, Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang and Lijun Zhang
TOSEM 2016
Inferring Software Behavioral Models with MapReduce
Chen Luo, Fei He and Carlo Ghezzi
SETTA 2015
VeRV: A Temporal and Data-Concerned Verification Framework for the Vehicle Bus Systems
Shuo Zhang, Fei He and Ming Gu
IEEE INFOCOM 2015
Leveraging Weighted Automata in Composition Reasoning about Concurrent Probabilistic Systems
Fei He, Xiaowei Gao, Bow-Yaw Wang and Lijun Zhang
POPL 2015
Deadlock detection in FPGA design: a practical way
Dexi Wang, Fei He, Yangdong Deng, Chao Su, Ming Gu, and Jiaguang Sun
Tsinghua Science & Technology, 20(2), pp. 212-218, January 2015
Generalized Interface Automata with Multicast Synchronization
Fei He, Xiaoyu Song, Ming Gu and Jiaguang Sun
Frontier of Computer Sciences, 9(1), pp. 1-14, Feb. 2015
Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic
Min Zhou, Fei He, Xiaoyu Song, Shi He, Gangyi Chen, Ming Gu
Theory of Computing Systems, 56(2), pp. 347-371, Feb. 2015