Alibaba Cloud’s DNS Formal Verification Paper Selected for ACM SOSP’23

October 27, 2023 – Recently, a collaborative research paper between Alibaba Cloud (Alibaba’s cloud computing subsidiary) and Peking University titled “Automated Verification of an In-Production DNS Authoritative Engine” has been accepted for presentation at the prestigious ACM Symposium on Operating Systems Principles (SOSP) 2023. This paper introduces a groundbreaking approach to formal verification technology, which…

Read More

Samsung Initiates OneUI 5.1.1 Beta Testing Program: Galaxy Tab S8 Series and Z Fold4 Users Get a Sneak Peek

July 4, 2023 – Samsung Officially Announces OneUI 5.1.1 Testing Samsung, the renowned technology giant, made an official announcement today, signaling the commencement of the much-anticipated OneUI 5.1.1 testing phase. This latest version, based on the Android 13 operating system, is set to bring a myriad of exciting enhancements to Samsung device users. Initially, the…

Read More