Yao Li

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 16

Top Topics

Hardware Design

Intuitionistic Logic

Top Venues

Proc. ACM Program. Lang.

Publications

Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li
Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs. CoRR (2024)
Yao Li, Stephanie Weirich
Program Adverbs and Tlön Embeddings. CoRR (2022)
Yao Li, Stephanie Weirich
Program adverbs and Tlön embeddings. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic
Verifying an HTTP Key-Value Server with Interaction Trees and VST. ITP (2021)
Yao Li, Li-yao Xia, Stephanie Weirich
Reasoning about the garden of forking paths. CoRR (2021)
Yao Li, Li-yao Xia, Stephanie Weirich
Reasoning about the garden of forking paths. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Joshua Cohen, Stephanie Weirich
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. J. Funct. Program. 31 (2021)
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language. VSTTE (2020)
Yanqiang Liu, Yao Li, Zhengwei Qi, Haibing Guan
A scala based framework for developing acceleration systems with FPGAs. J. Syst. Archit. 98 (2019)
Antal Spector-Zabusky, Joachim Breitner, Yao Li, Stephanie Weirich
Embracing a mechanized formalization gap. CoRR (2019)
Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic
From C to interaction trees: specifying, verifying, and testing a networked server. CPP (2019)
Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic
From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server. CoRR (2018)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich
Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report). Proc. ACM Program. Lang. 2 (ICFP) (2018)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. CoRR (2018)
Yanqiang Liu, Yao Li, Weilun Xiong, Meng Lai, Cheng Chen, Zhengwei Qi, Haibing Guan
Scala Based FPGA Design Flow (Abstract Only). FPGA (2017)
Yudi Zheng, Andrea Rosà, Luca Salucci, Yao Li, Haiyang Sun, Omar Javed, Lubomír Bulej, Lydia Y. Chen, Zhengwei Qi, Walter Binder
AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses. SANER (2016)
Yao Li, Antonio Roldao Lopes, Zhouyun Xu, Zhengwei Qi, Haibing Guan
ScalaHDL: Express and test hardware designs in a Scala DSL. ICCD (2014)