Zilin Chen

Cogent

Sidney Amani, Alex Hixon, Zilin Chen et al. · 2016 · 67 citations · Full text

Program Checking, Engineering, Verification +16

Refinement through restraint: bringing down the cost of verification

Liam O’Connor, Zilin Chen, Christine Rizkallah et al. · 2016 · 26 citations · Full text

Program Checking, Engineering, Verification +20

File systems deserve verification too!

Gabriele Keller, Toby Murray, Sidney Amani et al. · 2013 · 20 citations

Distributed File System, Engineering, Information Security +23

Cogent: uniqueness types and certifying compilation

Liam O’Connor, Zilin Chen, Christine Rizkallah et al. · Journal of Functional Programming · 2021 · 18 citations · Full text

Program Checking, Engineering, Verification +22

PolarDB-X: An Elastic Distributed Relational Database for Cloud-Native Applications

Wei Cao, Feifei Li, Gui Huang et al. · 2022 IEEE 38th International Conference on Data Engineering (ICDE) · 2022 · 18 citations

Cluster Computing, Engineering, Cloud Database +18