Bihuan Chen is a pre-tenure associate professor at the School of Computer Science in Fudan University since 2017. He received his B.Sc. and Ph.D. degrees in Computer Science from Fudan University in 2009 and 2014, advised by Prof. Wenyun Zhao and Prof. Xin Peng. He was a postdoctoral research fellow at the School of Computer Science and Engineering in Nanyang Technological University from 2014 to 2017. His research interests lie in software engineering, focusing on program analysis, software testing, software security, and self-adaptive systems. He received an ACM SIGSOFT Distinguished Paper Award at FSE 2016.
We are working on several program analysis topics, including performance analysis for generating performance distributions for Java programs (ICSE'16 paper), and loop analysis for computing disjunctive loop summaries (FSE'16 paper) and proving loop termination (ESEC/FSE'17 paper), using techniques like symbolic execution, software testing and static program analysis.
We are developing a software testing framework to synergize random testing with concolic testing for improving code coverage and bug detection, using machine learning, concolic execution and taint analysis techniques.
We are working at several security topics, including security patch analysis for identifying security patches from binaries (ICSE'17 paper), and program fuzzing for generating well-distributed seeds (S&P'17 paper) and incorporating new feedbacks to enhance fuzzing (ESEC/FSE'17 paper).
We are working at model-based self-adaptive systems. In particular, we are developing techniques for requirements-driven adaptations (RE'11, JSS'12, TSC'15 and REJ'15 papers), architecture-based adaptations (TSC'16 paper), combination of requirements-driven and architecture-based adaptations (ICSE'14 paper), and uncertainty handling in requirements-driven adaptations (JSS'14 paper).
Android Framework Diff
Room 403, Software Building, Zhangjiang Campus