Zilin Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICASSP | CAF-YOLO: A Robust Framework for Multi-Scale Lesion Detection in Biomedical Imagery. | Zilin Chen, Shengnan Lu |
| 2022 | ICDE | 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 |
| 2022 | ICFP | A Hoare logic style refinement types formalisation. | Zilin Chen |
| 2022 | SLE | Property-Based Testing: Climbing the Stairway to Verification. | Zilin Chen, Christine Rizkallah, Liam O'Connor, Partha Susarla, Gerwin Klein, Gernot Heiser, Gabriele Keller |
| 2021 | ICIG | Eye Movement Event Detection Based onPath Signature. | Haidong Gao, Yinwei Zhan, Fuyu Ma, Zilin Chen |
| 2018 | ISoLA | Bringing Effortless Refinement of Data Layouts to Cogent. | Liam O'Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller |
| 2017 | SOSP | The Cogent Case for Property-Based Testing. | Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser |
| 2016 | ASPLOS | 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 |
| 2016 | ICFP | 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 |
| 2016 | ITP | 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 |
| 2013 | SOSP | File systems deserve verification too! | Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser |