Linhai Song
Orcid: 0000-0002-3185-9278
According to our database1,
Linhai Song
authored at least 35 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
4
2
1
1
1
1
3
1
5
3
1
1
1
2
1
1
1
1
4
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Trans. Software Eng., June, 2024
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs.
CoRR, 2024
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
2022
IEEE Trans. Software Eng., 2022
Proc. ACM Program. Lang., 2022
Proceedings of the WWW '22: The ACM Web Conference 2022, Virtual Event, Lyon, France, April 25, 2022
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022
2021
Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021
2020
Proceedings of the 29th USENIX Security Symposium, 2020
Proceedings of the SOSR '20: Symposium on SDN Research, San Jose, CA, USA, March 3, 2020, 2020
Understanding memory and thread safety practices and issues in real-world Rust programs.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020
Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020
2019
Fearless Concurrency? Understanding Concurrent Programming Safety in Real-World Rust Software.
CoRR, 2019
Proceedings of the Internet Measurement Conference, 2019
Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation, 2019
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019
2018
2017
Proceedings of the 39th International Conference on Software Engineering, 2017
2016
Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, 2016
2015
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
2014
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014
Proceedings of the 47th Annual IEEE/ACM International Symposium on Microarchitecture, 2014
2013
Proceedings of the 35th International Conference on Software Engineering, 2013
2012
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
2010
Proceedings of the Advances in Web Technologies and Applications, 2010
2009
Proceedings of The Eighteenth Text REtrieval Conference, 2009
Proceedings of The Eighteenth Text REtrieval Conference, 2009
Proceedings of the IEEE International Conference on Intelligence and Security Informatics, 2009
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009