Zhendong Ang

According to our database, Zhendong Ang authored at least 3 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

Predictive Monitoring with Strong Trace Prefixes.

Zhendong Ang, Umang Mathur

Proceedings of the Computer Aided Verification - 36th International Conference, 2024