Differences

This shows you the differences between two versions of the page.

--- start [2019/11/19 19:25]
root
+++ start [2020/11/26 17:29] (current)
root
@@ Line 11: / Line 11: @@
 We have built a number of systems to address the scalability and
-dependability issues of computer systems. Examples include Examples include a trusted cloud platform that addresses the trustworthiness of multi-tenant cloud (CloudVisor), a reader-writer lock that provides scalable read-side performance and small writer latency (Prwlock), a portable parallel full-system emulator for several hundreds of cores (COREMU), fast graph query and processing frameworks (Wukong and PowerLyra), an in-memory transaction processing framework supported by hardware features such as HTM, RDMA and NVM (DrTM), and a dependable and hardened hypervisor with small TCB (Nexen).
+dependability issues of computer systems. Examples include a trusted cloud platform that addresses the trustworthiness of multi-tenant cloud (CloudVisor), a reader-writer lock that provides scalable read-side performance and small writer latency (Prwlock), a portable parallel full-system emulator for several hundreds of cores (COREMU), fast graph query and processing frameworks (Wukong and PowerLyra), an in-memory transaction processing framework supported by hardware features such as HTM, RDMA and NVM (DrTM), and a dependable and hardened hypervisor with small TCB (Nexen).
 Our current research focus is in providing system support for large-scale computing systems, scaling existing software stack to future computing platforms with ultra-low latency, high-bandwidth networking and non-volatile memory, and providing hardware and software solutions to dependable computing environments in both mobile and cloud platforms.
@@ Line 22: / Line 22: @@
 ====== Recent News ======
+  * [Award] October, 2020. Haibo was awarded with **China Youth Science and Technology Award**, only 100 awardees among all disciplines across China were selected to get this award biennially.
+  * [Award] September, 2020. Our research achievement "Efficient Data Processing System based on New Heterogeneous Hardware" received Huawei **OlympusMons Pioneer Award**. Congratulations to Rong, Zhaoguo, Binyu, Xingda, and Mingkai. [[https://e.huawei.com/topic/olympus-mons-awards-2020/en/index.html|Link]]
+  * [Paper] August, 2020. Our paper "Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache" was accepted by 14th USENIX Symposium on Operating Systems Design and Implementation (**OSDI 2020**). Congratulations to Xingda.
+  * [Paper] August, 2020. Our paper "Characterizing Serverless Platforms with ServerlessBench" was accepted by 2020 ACM Symposium on Cloud Computing (**SoCC 2020**). Congratulations to Tianyi, Qingyuan and Dong.
+  * [Paper] July, 2020. Our paper "Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp" was accepted by 2021 USENIX Symposium on Networked Systems Design and Implementation (**NSDI 2021**). Congratulations to Xingda and Zhenhan.
+  * [Paper] April, 2020. Two papers, "Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication" and "Platinum: A CPU-Efficient Concurrent Garbage Collector for Tail-Reduction of Interactive Services", were accepted by **Usenix ATC 2020**. Congratulations to Jinyu, Xinyue, Wentai, Nian, Zeyu, and Mingyu, Ziming, Yanfei, Haoyu.
+  * [Award] April, 2020. Haibo has been presented the **Presidential Award of SJTU** at the 124th anniversary of SJTU. Only 8 individuals among all SJTU faculties, doctors, and staffs. Congratulations to Haibo.
+  * [Paper] November, 2019. Our paper "(Mostly) Exitless VM Protection from Untrusted Hypervisor through Disaggregated Nested Virtualization" have been accepted by The 29th Usenix Security Symposium (**Usenix Security 2020**). Congratulations to Zeyu and Dingji.
   * [Paper] November, 2019. Two papers "No Barrier in the Road: A Comprehensive Study and Optimization of ARM Barriers" and "XIndex: A Scalable Learned Index for Multicore Data Storage" have been accepted by The 25th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (**PPoPP 2020**). Congratulations to Nian, Chuzhe,Youyun and Gansen and thanks our collaborator Mingzhe for collaborating on the second paper.
   * [Paper] November, 2019. Our paper "Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting" has been accepted by The 25th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (**ASPLOS 2020**). Congratulations to Dong and Tianyi and thanks our collaborators from  Ant Financial.

IPADS

User Tools

Site Tools

Differences

Page Tools