Kwing Hei Li

According to our database, Kwing Hei Li authored at least 13 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version).

Philipp G. Haselwarter, Alejandro Aguirre, Simon Oddershede Gregersen, Kwing Hei Li, Joseph Tassarotti, Lars Birkedal

CoRR, April, 2026

2025

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs.

Kwing Hei Li, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal

CoRR, November, 2025

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs.

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.

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.

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.

Kwing Hei Li, Alejandro Aguirre, Simon Oddershede Gregersen, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal

Proc. ACM Program. Lang., 2025

Approximate Relational Reasoning for Higher-Order Probabilistic Programs.

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.

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.

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.

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.

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.

Kwing Hei Li

CoRR, 2022

2021

Secure aggregation for federated learning in flower.

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