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/04/15 14:53]
root [Recent News]
start [2019/07/23 15:53] (current)
root [Recent News]
Line 22: Line 22:
  
 ====== Recent News ====== ====== Recent News ======
 +  * [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**).  ​   * [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**).  ​
   * [Publication] March, 2019. Our paper "XPC: Architectural Support for Secure and Efficient Cross Process Call" has been accepted by The 46th International Symposium on Computer Architecture (**ISCA 2019**). Congratulations to Dong and Zhichao.   * [Publication] March, 2019. Our paper "XPC: Architectural Support for Secure and Efficient Cross Process Call" has been accepted by The 46th International Symposium on Computer Architecture (**ISCA 2019**). Congratulations to Dong and Zhichao.
start.1555311212.txt.gz ยท Last modified: 2019/04/15 14:53 by root