conf.researchr.org / Zilin Chen

Registered user since Sun 9 Jul 2017

Name: Zilin Chen

Affiliation: UNSW, Australia

Contributions

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