Publications

Group highlights

(For a full list see below or go to Google Scholar

Interval Counterexamples for Loop Invariant Learning

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

ESEC/FSE 2020

Control flow-guided SMT solving for program verification

This paper is selected as ACM SIGSOFT Distinguished Paper. (TODO) Some more description is needed here.

Jianhui Chen, Fei He

ASE2018

 

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

Multi-Atom Quasiparticle Scattering Interference for Superconductor Energy-Gap Symmetry Determination
Jianhui Chen, Fei He
PLDI 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