Yao Li
Orcid: 0000-0001-8720-883XAffiliations:
- University of Pennsylvania, Department of Computer and Information Science, Philadelphia, PA, USA (since 2016)
- University of Lugano, Faculty of Informatics, Switzerland (2015)
- Shanghai Jiao Tong University, China (until 2016)
According to our database1,
Yao Li
authored at least 13 papers
between 2014 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
-
on github.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2022
2021
J. Funct. Program., 2021
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021
2020
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language.
Proceedings of the Software Verification - 12th International Conference, 2020
2019
J. Syst. Archit., 2019
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
2018
Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report).
Proc. ACM Program. Lang., 2018
2017
Proceedings of the 2017 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2017
2016
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016
2014
Proceedings of the 32nd IEEE International Conference on Computer Design, 2014