Yao Li

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