Zhenjiang Hu
Identifiers
No identifiers captured yet.
Papers (6)
- QCP: A Practical Separation Logic-based C Program Verification Tool cs.PL · 2025 · author #14
- Blockchain-based Bidirectional Updates on Fine-grained Medical Data cs.SE · 2019 · author #3
- Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels cs.DC · 2018 · author #2
- Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data - cs.DB · 2018 · author #3
- A View-based Programmable Architecture for Controlling and Integrating Decentralized Data cs.DB · 2018 · author #3
- Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access cs.DC · 2017 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- Hsiang-Shang Ko 3 shared papers
- Masatoshi Yoshikawa 3 shared papers
- Hiroyuki Kato 2 shared papers
- Kanae Tsushima 2 shared papers
- Keisuke Nakano 2 shared papers
- Makoto Onizuka 2 shared papers
- Soichiro Hidaka 2 shared papers
- Toshiyuki Shimizu 2 shared papers
- Yasuhito Asano 2 shared papers
- Yasunori Ishihara 2 shared papers
- Yongzhe Zhang 2 shared papers
- Yuya Sasaki 2 shared papers
- Chengxi Yang 1 shared papers
- Chunmiao Li 1 shared papers
- Hongyi Zhong 1 shared papers
- Juanru Li 1 shared papers
- Kan Liu 1 shared papers
- Lihan Xie 1 shared papers
- Naijun Zhan 1 shared papers
- Qinxiang Cao 1 shared papers