Author Info
Name
Affiliation
Papers
ZILIN CHEN
NICTA, Sydney, Australia and University of New South Wales, Australia
6
Collaborators
Citations 
PageRank 
13
23
2.53
Referers 
Referees 
References 
70
155
80
Search Limit
100155
Title
Citations
PageRank
Year
Bringing Effortless Refinement of Data Layouts to Cogent.10.352018
The Cogent Case for Property-Based Testing.00.342017
COGENT: Certified Compilation for a Functional Systems Language.10.362016
Refinement through restraint: bringing down the cost of verification.80.552016
A Framework For The Automatic Formal Verification Of Refinement From Cogent To C30.392016
File systems deserve verification too!100.542014