Zilin Chen -

Registered user since Sun 9 Jul 2017

Name:Zilin Chen

Country:Australia

Affiliation:UNSW

Personal website: https://trustworthy.systems/people/?cn=Zilin+Chen

Contributions

2023

POPL

Author of Dargent: A Silver Bullet for Verified Data Layout Refinement within the POPL-track

2022

SLE

Author of Property-Based Testing: Climbing the Stairway to Verification within the SLE 2022-track

TyDe

Author of A Hoare-Logic Style Refinement Types Formalisation within the TyDe 2022-track

2020

ICFP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2019

ICFP

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

PriSC

Author of A Data Layout Description Language for Cogent within the PriSC 2019-track

2017

TyDe

Author of Cogent⇑: giving systems engineers a stepping stone within the TyDe 2017-track

2016

ICFP

Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track