Zilin Chen
Zilin Chen
Verified email at - Homepage
Cited by
Cited by
Cogent: Verifying high-assurance file system implementations
S Amani, A Hixon, Z Chen, C Rizkallah, P Chubb, L O'Connor, J Beeren, ...
ACM SIGARCH Computer Architecture News 44 (2), 175-188, 2016
Refinement through restraint: Bringing down the cost of verification
L O'Connor, Z Chen, C Rizkallah, S Amani, J Lim, T Murray, Y Nagashima, ...
ACM SIGPLAN Notices 51 (9), 89-102, 2016
File systems deserve verification too!
G Keller, T Murray, S Amani, L O'Connor, Z Chen, L Ryzhyk, G Klein, ...
Proceedings of the Seventh Workshop on Programming Languages and Operating …, 2013
A Framework for the Automatic Formal Verification of Refinement from Cogent to C
C Rizkallah, J Lim, Y Nagashima, T Sewell, Z Chen, L O’Connor, T Murray, ...
International Conference on Interactive Theorem Proving, 323-340, 2016
Cogent: uniqueness types and certifying compilation
L O’CONNOR, Z Chen, C Rizkallah, V Jackson, S Amani, G Klein, ...
Journal of Functional Programming 31, e25, 2021
COGENT: certified compilation for a functional systems language
L O'Connor, C Rizkallah, Z Chen, S Amani, J Lim, Y Nagashima, T Sewell, ...
arXiv preprint arXiv:1601.05520, 2016
The Cogent case for property-based testing
Z Chen, L O'Connor, G Keller, G Klein, G Heiser
Proceedings of the 9th Workshop on Programming Languages and Operating …, 2017
Bringing Effortless Refinement of Data Layouts to Cogent
L O’Connor, Z Chen, P Susarla, C Rizkallah, G Klein, G Keller
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
Dargent: a silver bullet for verified data layout refinement
Z Chen, A Lafont, L O'Connor, G Keller, C McLaughlin, V Jackson, ...
Proceedings of the ACM on Programming Languages 7 (POPL), 1369-1395, 2023
CDSL version 1: Simplifying verification with linear types
L O'Connor-Davis, G Keller, S Amani, T Murray, G Klein, Z Chen, ...
Property-based testing: Climbing the stairway to verification
Z Chen, C Rizkallah, L O'Connor, P Susarla, G Klein, G Heiser, G Keller
Proceedings of the 15th ACM SIGPLAN International Conference on Software …, 2022
COGENT⇑: Giving systems engineers a stepping stone
Z Chen
The 2017 ACM SIGPLAN Workshop on Type-driven Development (ICFP TyDe 17), 2017
A Hoare logic style refinement types formalisation
Z Chen
Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven …, 2022
A data layout description language for cogent
Z Chen, M Di Meglio, L O’Connor, P Susarla, C Rizkallah, G Keller
Proc. PriSC, 1-3, 2019
Towards A Practical High-Assurance Systems Programming Language
Z Chen
UNSW Sydney, 2023
Combining Testing With Formal Verification in COGENT
Z Chen
Simplifying Verification with Linear Types
L O’Connor, G Keller, S Amani, T Murray, G Klein, Z Chen, C Rizkallah
The system can't perform the operation now. Try again later.
Articles 1–17