Get started
Author

Kwing Hei Li

Observed name: Li, Kwing Hei
ORCID: 0000-0002-4124-5720
Observed ORCID: 0000-0002-4124-5720
OpenAlex ID: A5069949583
Flower: a Friendly Federated Learning Framework
2022 · Beutel, Daniel J., Topal, Taner, et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 75
PDF
Secure aggregation for federated learning in flower
2021 · Kwing Hei Li, Pedro Porto Buarque de Gusmão, et al. · 47
PDF
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
2024 · Alejandro Aguirre, Philipp G. Haselwarter, et al. · Proceedings of the ACM on Programming Languages · 10
Approximate Relational Reasoning for Higher-Order Probabilistic Programs
2025 · Philipp G. Haselwarter, Kwing Hei Li, et al. · Proceedings of the ACM on Programming Languages · 8
Tachis: Higher-Order Separation Logic with Credits for Expected Costs
2024 · Philipp G. Haselwarter, Kwing Hei Li, et al. · Proceedings of the ACM on Programming Languages · 5
Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
2025 · Kwing Hei Li, Alejandro Aguirre, et al. · Proceedings of the ACM on Programming Languages · 3
PDF
Contextual Refinement of Higher-Order Concurrent Probabilistic Programs
2025 · Li, Kwing Hei, Aguirre, Alejandro, et al. · arXiv (Cornell University) · 1
PDF
Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs
2025 · Li, Kwing Hei, Aguirre, Alejandro, et al. · arXiv (Cornell University) · 1
PDF
Formalizing May's Theorem
2022 · Li, Kwing Hei · arXiv (Cornell University) · 1
PDF
Elton: Urn Resources for Reasoning about Adversarial Probabilistic Programs
2026 · Li, Kwing Hei, Aguirre, Alejandro, et al. · arXiv (Cornell University)
PDF
Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic
2026 · Philipp G. Haselwarter, Alejandro Aguirre, et al. · Proceedings of the ACM on Programming Languages
Contextual Refinement of Higher-Order Concurrent Probabilistic Programs
2026 · Kwing Hei Li, Alejandro Aguirre, et al. · Proceedings of the ACM on Programming Languages
Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
2026 · de Medeiros, Markus, Liu, Puming, et al. · arXiv (Cornell University)
Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
2026 · de Medeiros, Markus, Liu, Puming, et al. · arXiv (Cornell University)
PDF
Artifact for "Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic"
2026 · de Medeiros, Markus, Liu, Puming, et al. · Zenodo (CERN European Organization for Nuclear Research)
Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
2026 · Haselwarter, Philipp G, Aguirre, Alejandro, et al. · Figshare
Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic - Artifact
2026 · Haselwarter, Philipp G., Aguirre, Alejandro, et al. · Zenodo (CERN European Organization for Nuclear Research)
Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic
2026 · Haselwarter, Philipp G, Aguirre, Alejandro, et al. · Figshare
Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
2026 · de Medeiros, Markus, Liu, Puming, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Separation Logics for Probability, Concurrency, and Security
2025 · Kwing Hei Li · ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH)
Works count: 22
Citation count: 153
H-index: 5
I10-index: 3
Year
Topic
Type