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 3 papers in 2021.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

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

Song Gao

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...