We stand with Ukraine  

Yao Li

Orcid: 0000-0001-8720-883X

Affiliations:
  • 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 14 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs.
[BibTeX]
[DOI]
Li-yao Xia
,
Laura Israel
,
Maite Kramarz
,
Nicholas Coltharp
,
Koen Claessen
,
Stephanie Weirich
,
Yao Li
Proc. ACM Program. Lang., 2024

2022
Program adverbs and Tlön embeddings.
[BibTeX]
[DOI]
Yao Li
,
Stephanie Weirich
Proc. ACM Program. Lang., 2022

2021
Reasoning about the garden of forking paths.
[BibTeX]
[DOI]
Yao Li
,
Li-yao Xia
,
Stephanie Weirich
Proc. ACM Program. Lang., 2021

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.
[BibTeX]
[DOI]
Joachim Breitner
,
Antal Spector-Zabusky
,
Yao Li
,
Christine Rizkallah
,
John Wiegley
,
Joshua M. Cohen
,
Stephanie Weirich
J. Funct. Program., 2021

Verifying an HTTP Key-Value Server with Interaction Trees and VST.
[BibTeX]
[DOI]
Hengchu Zhang
,
Wolf Honoré
,
Nicolas Koh
,
Yao Li
,
Yishuai Li
,
Li-yao Xia
,
Lennart Beringer
,
William Mansky
,
Benjamin C. Pierce
,
Steve Zdancewic
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language.
[BibTeX]
[DOI]
Jay Bosamiya
,
Sydney Gibson
,
Yao Li
,
Bryan Parno
,
Chris Hawblitzel
Proceedings of the Software Verification - 12th International Conference, 2020

2019
A scala based framework for developing acceleration systems with FPGAs.
[BibTeX]
[DOI]
Yanqiang Liu
,
Yao Li
,
Zhengwei Qi
,
Haibing Guan
J. Syst. Archit., 2019

Embracing a mechanized formalization gap.
[BibTeX]
[DOI]
Antal Spector-Zabusky
,
Joachim Breitner
,
Yao Li
,
Stephanie Weirich
CoRR, 2019

From C to interaction trees: specifying, verifying, and testing a networked server.
[BibTeX]
[DOI]
Nicolas Koh
,
Yao Li
,
Yishuai Li
,
Li-yao Xia
,
Lennart Beringer
,
Wolf Honoré
,
William Mansky
,
Benjamin C. Pierce
,
Steve Zdancewic
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).
[BibTeX]
[DOI]
Joachim Breitner
,
Antal Spector-Zabusky
,
Yao Li
,
Christine Rizkallah
,
John Wiegley
,
Stephanie Weirich
Proc. ACM Program. Lang., 2018

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.
[BibTeX]
[DOI]
Joachim Breitner
,
Antal Spector-Zabusky
,
Yao Li
,
Christine Rizkallah
,
John Wiegley
,
Stephanie Weirich
CoRR, 2018

2017
Scala Based FPGA Design Flow (Abstract Only).
[BibTeX]
[DOI]
Yanqiang Liu
,
Yao Li
,
Weilun Xiong
,
Meng Lai
,
Cheng Chen
,
Zhengwei Qi
,
Haibing Guan
Proceedings of the 2017 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2017

2016
AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses.
[BibTeX]
[DOI]
Yudi Zheng
,
Andrea Rosà
,
Luca Salucci
,
Yao Li
,
Haiyang Sun
,
Omar Javed
,
Lubomír Bulej
,
Lydia Y. Chen
,
Zhengwei Qi
,
Walter Binder
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

2014
ScalaHDL: Express and test hardware designs in a Scala DSL.
[BibTeX]
[DOI]
Yao Li
,
Antonio Roldao Lopes
,
Zhouyun Xu
,
Zhengwei Qi
,
Haibing Guan
Proceedings of the 32nd IEEE International Conference on Computer Design, 2014


  Loading...