User Tools

Site Tools


pub:members:mo_zou

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
pub:members:mo_zou [2019/07/31 15:58]
root
pub:members:mo_zou [2019/07/31 16:08] (current)
root
Line 17: Line 17:
  
 ===== Publications ===== ===== Publications =====
-  * [**VEE**] ScissorGC: Scalable and Efficient Compaction ​for Java Full Garbage CollectionHaoyu Li, **Mingyu Wu**, Binyu Zang, and Haibo Chen. Proceedings of ACM SIGPLAN/​SIGOPS International Conference ​on Virtual Execution Environments (VEE), 2019+  * [**SOSP**] Using Concurrent Relational Logic with Helpers ​for Verifying the AtomFS File System. **Mo Zou**, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, and Haibo Chen. In SOSP ’19: ​ACM Symposium ​on Operating Systems Principles, October 27–30, 2019, Huntsville,​Ontario,​ Canada. ACM, New York, NY, USA
pub/members/mo_zou.txt · Last modified: 2019/07/31 16:08 by root