Song Gao (高嵩)'s Homepage

Contact

  • Office: No. 596, Room 339, Building 5
  • Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
  • email: gaos###ios**ac*cn

About me

I am currently a Ph.D student in the group. My main research interests are:

  • Formal Verification of Distributed Protocols
  • Logic and Verification of Probabilistic and Quantum Programs

Education

Visits

Publications

  • Song Gao, Bohua Zhan (), Zhilin Wu (), Lijun Zhang: Verifying Randomized Consensus Protocols with Common Coins. In 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024, Brisbane, Australia, June 24-27, 2024, pages 403-415, 2024. DOI BIB
  • Konstantin Kuznetsov, Chen Fu, Song Gao, David N. Jansen (), Lijun Zhang, Andreas Zeller (): Frontmatter: mining Android user interfaces at scale. In ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021, pages 1580-1584, 2021. DOI BIB
  • Song Gao, Bohua Zhan (), Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen (), Lijun Zhang: Formal Verification of Consensus in the Taurus Distributed Database. In Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, volume 13047 of Lecture Notes in Computer Science, pages 741-751, 2021. DOI BIB