Zhendong Ang

According to our database, Zhendong Ang authored at least 2 papers in 2024.

Collaborative distances:

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

2024

Predictive Monitoring against Pattern Regular Languages.

Zhendong Ang, Umang Mathur

Proc. ACM Program. Lang., January, 2024

Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic.

Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, Ilya Sergey

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024