Differences

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

--- start [2019/05/06 22:10]
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.
+  * [Award] October, 2019. Haibo was named 2019 ACM Distinguished Scientist.
+  * [Paper] July, 2019. Two papers "Performance and Protection in the ZoFS User-space NVM File System" and "Using Concurrent Relational Logic with Helper for Verifying the AtomFS File System", have been accepted by 27th ACM Symposium on Operating System Principles (**SOSP 2019**). Congratulations to Mingkai, Heng, Jifei and Benchao for the ZoFS paper and Mo, Haoran and Dong for the AtomFS paper. Thank also our collaborators Ming and Ronghui for help on the AtomFS paper.
   * [Paper] May, 2019. Our paper "On the parallels between Paxos and Raft" has been accepted by 38th Annual ACM Symposium on Principles of Distributed Computing (**PODC 2019**). Congratulations to Zhaoguo and thanks to our collaborators Changgeng, Jinyang and Shuai.
   * [Award] April, 2019. Our paper "TEEv: Virtualizing Trusted Execution Environments on Mobile Platforms" received the **Best Paper Award** from 2019 ACM International Conferencce on Virtual Execution Environments (**VEE 2019**).

IPADS

User Tools

Site Tools

Differences

Page Tools