厦门大学吴荣鑫教授课题组的研究成果《ValScope: Value-Semantics-Aware Metamorphic Testing for Detecting Logical Bugs in DBMSs》被第20届USENIX ...

Operating systems are the backbone of modern computing and play a crucial role in managing the resources of a computer. The design and implementation of an operating system involve a wide range of ...

Aditya Akella leads the project that aims to boost performance of OSes and help enable assistant robots, autonomous vehicles and smart cities. Research that will use artificial intelligence to boost ...