• Sign in
  • Sign up
conf.researchr.org / Zilin Chen
  • ICFP 2016 profile
  • ICFP 2017 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • POPL 2019 profile
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

Share
xThu 30 Jun 06:04
using conf.researchr.org (v1.56.1)
Support page
Sign Up