Song Gao

Orcid: 0000-0002-8681-8166

Affiliations:

Chinese Academy of Sciences, Institute of Software, State Key Laboratory of Computer Science, Beijing, China
University of Chinese Academy of Sciences, Beijing, China

According to our database¹, Song Gao authored at least 4 papers between 2021 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Verifying Randomized Consensus Protocols with Common Coins.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

2021

What do all these Buttons do? Statically Mining Android User Interfaces at Scale.

[BibT_eX]

[DOI]

CoRR, 2021

Frontmatter: mining Android user interfaces at scale.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Formal Verification of Consensus in the Taurus Distributed Database.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021