conf.researchr.org / Fei He
Registered user since Thu 5 Jul 2018
Name:Fei He
Country:China
Affiliation:Tsinghua University
Personal website: https://feihe.github.io/
Research interests:formal methods, program analysis, automated reasoning
Contributions
2024
2023
ESEC/FSE
2022
ICSE
Principles and Practice of Parallel Programming
2020
SPLASH
- Author of Incremental Predicate Analysis for Regression Verification within the Posters-track
- Author of Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules within the OOPSLA-track
- Author of Incremental Predicate Analysis for Regression Verification within the OOPSLA-track
ESEC/FSE
2019
2018
SPLASH
- Author of Conflict Resolution for Structured Merge via Version Space Algebra within the Posters-track
- Author of Conflict Resolution for Structured Merge via Version Space Algebra within the OOPSLA-track
- Author of Conflict Resolution for Structured Merge via Version Space Algebra within the Artifacts-track