Song Gao (高嵩)'s Homepage

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

Contact

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

Sept. 2017 – present: Ph.D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
Sept. 2013 – Jun. 2017: Information and Computing Sciences (Bachelor’s degree) at SMS, Peking University

Oct. 2019 – Mar. 2020: visited Andreas Zeller ()’s group at CISPA/Universität des Saarlandes.

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