Zilin Chen

According to our database, Zilin Chen authored at least 16 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Dargent: A Silver Bullet for Verified Data Layout Refinement.

Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah

Proc. ACM Program. Lang., January, 2023

Towards A Practical High-Assurance Systems Programming Language.

Zilin Chen

PhD thesis, 2023

2022

Property-Based Testing: Climbing the Stairway to Verification.

Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller

Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

An empirical study on the behavior pattern of intercity shared mobility.

Zilin Chen, Jing Fang, Jianru Xiao, Yuhao Liang, Yilong Ren, Runkun Liu

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

A Hoare logic style refinement types formalisation.

Zilin Chen

Proceedings of the TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, 2022

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

Wei Cao, Feifei Li, Gui Huang, Jianghang Lou, Jianwei Zhao, Dengcheng He, Mengshi Sun, Yingqiang Zhang, Sheng Wang, Xueqiang Wu, Han Liao, Zilin Chen, Xiaojian Fang, Mo Chen, Chenghui Liang, Yanxin Luo, Huanming Wang, Songlei Wang, Zhanfeng Ma, Xinjun Yang, Xiang Peng, Yubin Ruan, Yuhui Wang, Jie Zhou, Jianying Wang, Qingda Hu, Junbin Kang

Proceedings of the 38th IEEE International Conference on Data Engineering, 2022

2021

Cogent: uniqueness types and certifying compilation.

Liam O'Connor, Zilin Chen, Christine Rizkallah, Vincent Jackson, Sidney Amani, Gerwin Klein, Toby Murray, Thomas Sewell, Gabriele Keller

J. Funct. Program., 2021

Exploring the Factors of Intercity Ridesplitting Based on Observed and GIS Data: A Case Study in China.

Jincheng Wang, Qunqi Wu, Zilin Chen, Yilong Ren, Yaqun Gao

ISPRS Int. J. Geo Inf., 2021

Eye Movement Event Detection Based onPath Signature.

Haidong Gao, Yinwei Zhan, Fuyu Ma, Zilin Chen

Proceedings of the Image and Graphics - 11th International Conference, 2021

2018

Bringing Effortless Refinement of Data Layouts to Cogent.

Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017

The Cogent Case for Property-Based Testing.

Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser

Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

2016

COGENT: Certified Compilation for a Functional Systems Language.

Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby C. Murray, Gerwin Klein

CoRR, 2016

A Framework for the Automatic Formal Verification of Refinement from Cogent to C.

Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby C. Murray, Gabriele Keller, Gerwin Klein

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

Refinement through restraint: bringing down the cost of verification.

Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

CoGENT: Verifying High-Assurance File System Implementations.

Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby C. Murray, Gerwin Klein, Gernot Heiser

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2014

File systems deserve verification too!

Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser

ACM SIGOPS Oper. Syst. Rev., 2014