My name is Dong Du, a PhD student @ Shanghai Jiao Tong University. My research interests include operating systems, virtualization and HW/SW co-design. I have built several systems including OS, compiler, and RISC-V processor (XPC on RISC-V)
Dong Du, Tianyi Yu, Yubin Xia, Binyu Zang, Guanglu Yan, Chenggang Qin, Qixuan Wu, Haibo Chen. Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting. In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’20)
Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu and Haibo Chen. Using Concurrent Relational Logic with Helpers for Verifying the AtomFS File System. Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP ‘19). Huntsville, Ontario, October 27-30, Canada, 2019
Dong Du, Zhichao Hua, Yubin Xia, Binyu Zang, and Haibo Chen. 2019. XPC: architectural support for secure and efficient cross process call. In Proceedings of the 46th International Symposium on Computer Architecture (ISCA ‘19). ACM, New York, NY, USA, 671-684.
Zhichao Hua, Dong Du, Yubin Xia, Haibo Chen, and Binyu Zang. 2018. EPTI: efficient defence against meltdown attack for unpatched VMs. In Proceedings of the 2018 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC ‘18). USENIX Association, Berkeley, CA, USA, 255-266.
Liu, Yu-Tao, Dong Du, Yu-Bin Xia, Hai-Bo Chen, Bin-Yu Zang, and Zhenkai Liang. “SplitPass: a mutually distrusting Two-Party password manager.” Journal of Computer Science and Technology 33, no. 1 (2018): 98-115.
If you have any question, please contact me through my email.
Email: dd_nirvana at sjtu.edu.cn