Follow
Yao Li
Title
Cited by
Cited by
Year
From C to interaction trees: specifying, verifying, and testing a networked server
N Koh, Y Li, Y Li, L Xia, L Beringer, W Honoré, W Mansky, BC Pierce, ...
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
452019
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code (Experience report)
J Breitner, A Spector-Zabusky, Y Li, C Rizkallah, J Wiegley, S Weirich
Proceedings of the ACM on Programming Languages 2 (ICFP), 2018
252018
Verifying an HTTP key-value server with Interaction Trees and VST
H Zhang, W Honoré, N Koh, Y Li, Y Li, LY Xia, L Beringer, W Mansky, ...
12th International Conference on Interactive Theorem Proving (ITP 2021), 2021
142021
Autobench: Finding workloads that you need using pluggable hybrid analyses
Y Zheng, A Rosŕ, L Salucci, Y Li, H Sun, O Javed, L Bulej, LY Chen, Z Qi, ...
2016 IEEE 23rd International Conference on Software Analysis, Evolution, and …, 2016
112016
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
J Breitner, A Spector-Zabusky, Y Li, C Rizkallah, J Wiegley, J Cohen, ...
Journal of Functional Programming 31, 2021
92021
A scala based framework for developing acceleration systems with FPGAs
Y Liu, Y Li, Z Qi, H Guan
Journal of Systems Architecture 98, 231-242, 2019
92019
Scala based fpga design flow
Y Liu, Y Li, W Xiong, M Lai, C Chen, Z Qi, H Guan
Proceedings of the 2017 ACM/SIGDA International Symposium on Field …, 2017
52017
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language
J Bosamiya, S Gibson, Y Li, B Parno, C Hawblitzel
Software Verification, 106--123, 2020
32020
Program adverbs and Tlön embeddings
Y Li, S Weirich
Proceedings of the ACM on Programming Languages 6 (ICFP), 312-342, 2022
22022
Reasoning about the garden of forking paths
Y Li, L Xia, S Weirich
Proceedings of the ACM on Programming Languages 5 (ICFP), 80:1-80:28, 2021
22021
Embracing a mechanized formalization gap
A Spector-Zabusky, J Breitner, Y Li, S Weirich
arXiv, 2019
12019
ScalaHDL: Express and test hardware designs in a Scala DSL
Y Li, AR Lopes, Z Xu, Z Qi, H Guan
2014 IEEE 32nd International Conference on Computer Design (ICCD), 521-524, 2014
12014
Mechanized Reasoning About" how" Using Functional Programs And Embeddings
Y Li
University of Pennsylvania, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–13