Zilin Chen -

Registered user since Sun 9 Jul 2017

Name:Zilin Chen

Country:Australia

Affiliation:Data61, CSIRO and UNSW

Personal website:http://ts.data61.csiro.au/people/?cn=Zilin+Chen

Contributions

ICFP 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PriSC 2019	Author of A Data Layout Description Language for Cogent within the PriSC 2019-track
ICFP 2019	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
TyDe 2017	Author of Cogent⇑: giving systems engineers a stepping stone within the TyDe 2017-track
ICFP 2016	Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track