Hongrong Ouyang(欧阳鸿荣)

Biography

• I am a second year graduate student of Computer Science and Technology Department of Nanjing University and a member of Disalg Group in Institute of Computer Software (ICS), which is led by professor Yu Huang.

• I received my B.Sc. degree from Computer Science and Technology Department of Nanjing University. In September 2020, I was admitted to study for a M.Sc. degree without entrance examination.

Research Interests

• Distributed Systems
  • Distributed Data Consistency
  • Distributed Transactions
• Databases
• Formal Methods

Publications

Work In Progress

• Verifying Transactional Protocols of MongoDB. 2022. [arXiv Version] [GitHub]

(*: Corresponding Author)

2022

• Hongrong Ouyang, Hengfeng Wei*, Yu Huang, Haixiang Li*, Anqun Pan.
  Checking Causal Consistency of MongoDB.
  Journal of Computer Science and Technology (JCST), 37(1):128-146, Nov. 2022.
  

  [PDF] (Journal version of the Internetware’2020/2021 paper); [GitHub] [Abstract]; [Funding];

2021

• Hongrong Ouyang, Hengfeng Wei*, Yu Huang.
  Checking Causal Consistency of MongoDB.
  The 12th Asia-Pacific Symposium on Internetware (Internetware 2020),May 12-14. 2021.
  

  [PDF]; [Video at bilibili]

Awards & Honors

• Tencent Scholarship, 2021.
• Master’s Academic Scholarship, 2021.
• Guorui Scholarship, 2020
• Outstanding Graduate of Nanjing University, 2020.

Correspondence

• Email: mf20330056@smail.nju.edu.cn
• Zhihu: Tsunaou