We stand with Ukraine  

Kwing Hei Li

Orcid: 0000-0002-4124-5720

According to our database1, Kwing Hei Li authored at least 11 papers between 2021 and 2025.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs.
[BibTeX]
[DOI]
Kwing Hei Li
,
Alejandro Aguirre
,
Simon Gregesen
,
Philipp G. Haselwarter
,
Joseph Tassarotti
,
Lars Birkedal
Dataset, June, 2025

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs.
[BibTeX]
[DOI]
Kwing Hei Li
,
Alejandro Aguirre
,
Simon Gregesen
,
Philipp G. Haselwarter
,
Joseph Tassarotti
,
Lars Birkedal
Dataset, June, 2025

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs.
[BibTeX]
[DOI]
Kwing Hei Li
,
Alejandro Aguirre
,
Simon Gregesen
,
Philipp G. Haselwarter
,
Joseph Tassarotti
,
Lars Birkedal
Dataset, May, 2025

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs.
[BibTeX]
[DOI]
Kwing Hei Li
,
Alejandro Aguirre
,
Simon Oddershede Gregersen
,
Philipp G. Haselwarter
,
Joseph Tassarotti
,
Lars Birkedal
CoRR, March, 2025

Approximate Relational Reasoning for Higher-Order Probabilistic Programs.
[BibTeX]
[DOI]
Philipp G. Haselwarter
,
Kwing Hei Li
,
Alejandro Aguirre
,
Simon Oddershede Gregersen
,
Joseph Tassarotti
,
Lars Birkedal
Proc. ACM Program. Lang., 2025

2024
Approximate Relational Reasoning for Higher-Order Probabilistic Programs - Formalization Artifact.
[BibTeX]
[DOI]
Philipp G. Haselwarter
,
Kwing Hei Li
,
Alejandro Aguirre
,
Simon Oddershede Gregersen
,
Joseph Tassarotti
,
Lars Birkedal
Dataset, October, 2024

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs - Coq Artifact.
[BibTeX]
[DOI]
Alejandro Aguirre
,
Philipp G. Haselwarter
,
Markus de Medeiros
,
Kwing Hei Li
,
Simon Oddershede Gregersen
,
Joseph Tassarotti
,
Lars Birkedal
Dataset, June, 2024

Tachis: Higher-Order Separation Logic with Credits for Expected Costs.
[BibTeX]
[DOI]
Philipp G. Haselwarter
,
Kwing Hei Li
,
Markus de Medeiros
,
Simon Oddershede Gregersen
,
Alejandro Aguirre
,
Joseph Tassarotti
,
Lars Birkedal
Proc. ACM Program. Lang., 2024

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs.
[BibTeX]
[DOI]
Alejandro Aguirre
,
Philipp G. Haselwarter
,
Markus de Medeiros
,
Kwing Hei Li
,
Simon Oddershede Gregersen
,
Joseph Tassarotti
,
Lars Birkedal
Proc. ACM Program. Lang., 2024

2022
Formalizing May's Theorem.
[BibTeX]
[DOI]
Kwing Hei Li
CoRR, 2022

2021
Secure aggregation for federated learning in flower.
[BibTeX]
[DOI]
Kwing Hei Li
,
Pedro Porto Buarque de Gusmão
,
Daniel J. Beutel
,
Nicholas D. Lane
Proceedings of the DistributedML '21: Proceedings of the 2nd ACM International Workshop on Distributed Machine Learning, 2021


  Loading...