Zilin Chen

22 papers A* 2A 1B 2Misc 1Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Tensile property prediction of titanium and aluminum alloys dissimilar joint by plasma plume characteristics based on a multi-stage cascade model.
Eng. Appl. Artif. Intell.
Chuang Cai, Fashuai Xiong, Zilin Chen, Hui Chen, Ping Tang, Xuanyu Jin, Zejun Xian, Hua Tang
2025 J jnl
AVPDN: Learning Motion-Robust and Scale-Adaptive Representations for Video-Based Polyp Detection.
CoRR
Zilin Chen, Shengnan Lu
2025 Misc conf
CAF-YOLO: A Robust Framework for Multi-Scale Lesion Detection in Biomedical Imagery.
ICASSP
Zilin Chen, Shengnan Lu
2025 J jnl
Optimization Method of Calibration Cycle Based on State Evaluation Results of Electric Energy Meters.
Scalable Comput. Pract. Exp.
Ying Zhang, Wenjing Wang, Shi Chen, Zilin Chen, Shu Cao, Yinting Guo
2024 J jnl
CAF-YOLO: A Robust Framework for Multi-Scale Lesion Detection in Biomedical Imagery.
CoRR
Zilin Chen, Shengnan Lu
2023 J jnl
Dargent: A Silver Bullet for Verified Data Layout Refinement.
Proc. ACM Program. Lang.
Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah
2023 — —
Towards A Practical High-Assurance Systems Programming Language.
Zilin Chen
2022 — conf
A Hoare logic style refinement types formalisation.
TyDe@ICFP
Zilin Chen
2022 — conf
An empirical study on the behavior pattern of intercity shared mobility.
ITSC
Zilin Chen, Jing Fang, Jianru Xiao, Yuhao Liang, Yilong Ren, Runkun Liu
2022 A* conf
PolarDB-X: An Elastic Distributed Relational Database for Cloud-Native Applications.
ICDE
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
2022 B conf
Property-Based Testing: Climbing the Stairway to Verification.
SLE
Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller
2021 J jnl
Cogent: uniqueness types and certifying compilation.
J. Funct. Program.
Liam O'Connor, Zilin Chen, Christine Rizkallah, Vincent Jackson, Sidney Amani, Gerwin Klein, Toby Murray, Thomas Sewell, Gabriele Keller
2021 J jnl
Exploring the Factors of Intercity Ridesplitting Based on Observed and GIS Data: A Case Study in China.
ISPRS Int. J. Geo Inf.
Jincheng Wang, Qunqi Wu, Zilin Chen, Yilong Ren, Yaqun Gao
2021 — conf
Eye Movement Event Detection Based onPath Signature.
ICIG (2)
Haidong Gao, Yinwei Zhan, Fuyu Ma, Zilin Chen
2018 — conf
Bringing Effortless Refinement of Data Layouts to Cogent.
ISoLA (1)
Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller
2017 — conf
The Cogent Case for Property-Based Testing.
PLOS@SOSP
Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser
2016 B conf
A Framework for the Automatic Formal Verification of Refinement from Cogent to C.
ITP
Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby C. Murray, Gabriele Keller, Gerwin Klein
2016 J jnl
COGENT: Certified Compilation for a Functional Systems Language.
CoRR
Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby C. Murray, Gerwin Klein
2016 A* conf
CoGENT: Verifying High-Assurance File System Implementations.
ASPLOS
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
2016 A conf
Refinement through restraint: bringing down the cost of verification.
ICFP
Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein
2014 J jnl
File systems deserve verification too!
ACM SIGOPS Oper. Syst. Rev.
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
2013 — conf
File systems deserve verification too!
PLOS@SOSP
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser