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
662019
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
392018
Verifying an HTTP key-value server with interaction trees and VST
H Zhang, W Honoré, N Koh, Y Li, Y Li, L Xia, L Beringer, W Mansky, ...
Leibniz international proceedings in informatics 193, 2021
342021
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
172021
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
162019
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
122020
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
122016
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
92021
Program adverbs and Tlön embeddings
Y Li, S Weirich
Proceedings of the ACM on Programming Languages 6 (ICFP), 312-342, 2022
82022
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
62017
Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
L Xia, L Israel, M Kramarz, N Coltharp, K Claessen, S Weirich, Y Li
Proceedings of the ACM on Programming Languages 8 (ICFP), 30-63, 2024
12024
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–14