Haoyi Zeng

According to our database, Haoyi Zeng authored at least 6 papers between 2024 and 2026.

Collaborative distances:

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

2026

A Deductive System for Contract Satisfaction Proofs.

Arthur Correnson, Haoyi Zeng, Jana Hofmann

CoRR, April, 2026

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem.

Dominik Kirst, Haoyi Zeng

CoRR, January, 2026

2025

Destabilizing Iris.

Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, Derek Dreyer

Proc. ACM Program. Lang., 2025

The Impact of Digital Finance on the Mental Health of Older Adults: Evidence from China.

Haoyi Zeng, Chuanfeng Han, Shan Jiang, Lingpeng Meng

Int. J. Hum. Comput. Interact., 2025

The Blurred Drinker Paradox: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem.

Dominik Kirst, Haoyi Zeng

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

2024

Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities.

Zheyuan Wu, Haoyi Zeng, Aaron Bies

Proceedings of the Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, 2024