October 8, 2019
A recent paper on “Building Certified Concurrent OS Kernels” by Professor Zhong Shao and his students is featured as a Research Highlight in the October-2019 issue of Communications of the ACM (the flagship magazine of ACM).
A recent paper on “Building Certified Concurrent OS Kernels” by Professor Zhong Shao and his students is featured as a Research Highlight in the October-2019 issue of Communications of the ACM (the flagship magazine of ACM).