User Tools

Site Tools


start

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
start [2019/12/01 09:53]
root
start [2020/07/06 08:39] (current)
root [Recent News]
Line 11: Line 11:
  
 We have built a number of systems to address the scalability and 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. 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 ====== ====== Recent News ======
 +  * [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. 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. 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.
start.1575165215.txt.gz ยท Last modified: 2019/12/01 09:53 by root