Bo Wang's Homepage


   
       Bo Wang | 王  博 | 王  博(オーヒロ)                                                                            中文版  日本語
       Ph.D Candidate
      
Software Engineering Institute
       Peking University, Beijing, China. 100871

    Email: wangbo_pku_15 [AT] 163 [DOT] com
    Office: Room 1434, Science Building # 1, Peking University



Biography
I am a third-year Ph.D student in the School of Software and Microelectronics at Peking University, supervised by Prof. Yingfei Xiong. I received my bachelor degree from Central South University in 2012 and master degree from University of Science and Technology of China in 2015.

News
[2017-07-04] Our work of ISSTA'17 received ACM SIGSOFT Distinguished Paper Award.

Research Interests
I am studying software engineering, mainly in software testing and analysis. I am also interested in compiler techniques and ML techniques.

Publications
  1. Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang. Learning to Synthesize. GI'18: International Genetic Improvement Workshop, Gothenburg, Sweden, June, 2018.
  2. Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao. Faster Mutation Analysis via Equivalence Modulo States. ISSTA'17: International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 2017. ACM SIGSOFT Distinguished Paper Award.[TOOL]
  3. Bo Wang. Dynamic analysis of shared execution in software product line testing. SPLC'16-Doctoral SymposiumInternational Systems and Software Product Line Conference, Beijing, China, September, 2016.

Academic Services:
  • 2018: ASE sub-reviewer, SATE sub-reviewer
  • 2017SPLC sub-reviewer, FASE sub-reviewer, invited talk by APSEC
  • 2016: SPLC volunteer, SPLC sub-reviewer, FASE sub-reviewer
Teaching Assistant Experience:
I worked as TA for the course Software Analysis in 2016 and 2017, introducing the LLVM project in a two-hours course.

Language Ability:
Mandarin: Native Speaker
English: Limited Working Proficiency (Level: CET-6)
Japanese: Daily Conversation and Technical Material Reading Proficiency (Level: JPLT N2)