CSE PhD students Rongxin Wu and Xiao Xiao publish the first POPL paper from Hong Kong universities

A collaborative work by CSE PhD students, Rongxin Wu and Xiao Xiao, as well as with MSRA, has been recently accepted by the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). Their work provides a revolutionary approach to efficiently monitor the runtime behaviour of software systems. POPL, commonly recognized as one of the most high-impact computer science conferences, focuses on the foundational development of programming languages and the analysis of software systems. This is the first POPL paper by universities in Hong Kong. Rongxin Wu and Xiao Xiao are supervised by Prof. S.C. Cheung and Prof. Charles Zhang, respectively.

Abstract of the paper.