![]() |
ZHANG, MingxingPostdoc Researcher @ Graduate School at Shenzhen, Tsinghua UniversityChief Algorithm Expert @ Sangfor Innovation Institute Email: zhang.mingxing(at)outlook.com [ Education | Publications ] |
I'm currently a Postdoc Researcher (assistant researcher) of Graduate School at Shenzhen, Tsinghua University.
Simultaneously, I'm also the Chief Algorithm Expert of Sangfor Innovation Institute.
I'm interested in building systems for supporting data analyzing algorithms and designing new analyzing algorithm if it does not exist yet.
My current research focuses on abnormal detection, especially in fields like cloud management and cyber security.
Sangfor Technologies is a leading vendor of enterprise-level network security and private cloud. As an excellent employer of China elected by the FORTUNE magazine,
we are contiguously hiring and soliciting external collaborations. Please contact me if you are interested.
Education
- 2017 Tsinghua University Computer Science & Technology Ph.D.
- 2008 Beijing University of Posts and Telecommunications Computer Science & Technology B.S.
Selected Publications
2018
-
Wonderland: A Novel Abstraction-Based Out-Of-Core Graph Processing System
,
23rd Architectural Support for Programming Languages and Operating Systems (ASPLOS 2018)
-
GraphP: Reducing Communication of PIM-based Graph Processing with Efficient Data Partition
,
24th IEEE International Symposium on High-Performance Computer Architecture (HPCA 2018)
-
DudeTx: Durable Transactions Made Decoupled
,
ACM Transactions on Storage (ToS), January 2018
2017
-
Squeezing out All the Value of Loaded Data: An Out-of-core Graph Processing System with Reduced Disk I/O
,
2017 USENIX Annual Technical Conference (ATC 2017)
-
RFP: When RPC is Faster than Server-Bypass with RDMA
,
12th European Conference on Computer Systems Systems (EuroSys 2017)
-
High Performance Graph Processing with Locality Oriented Design
,
IEEE Transactions on Computers (ToC), 2017
-
DudeTM: Building Durable Transactions with Decoupling for Persistent Memory
,
22nd Architectural Support for Programming Languages and Operating Systems (ASPLOS 2017)
2016
-
Exploring the Hidden Dimension in Graph Processing
,
12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2016)
-
Measuring and Optimizing Distributed Array Programs
,
42nd International Conference on Very Large Data Bases (VLDB 2016)
-
A Lightweight System for Detecting and Tolerating Concurrency Bugs
,
IEEE Transactions on Software Engineering (TSE), 2016, Vol. 42, Issue 10, pp.899-917
2015
-
What is Wrong With the Transmission? — A Comprehensive Study on Message Passing Related Bugs
,
44th International Conference on Parallel Processing (ICPP 2015)
2014
-
AI: A Lightweight System for Tolerating Concurrency Bugs (ACM SIGSOFT 2014 Distinguished Paper Award)
,
22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2014)