Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Roland Zumkeller
Maximilian Dürr
Liangliang Shang
Chen Ma
Zhu Yuesheng
Yuliang Bai
Mingxia Wei
Home
/
Author
/
LIAM O'CONNOR
Author Info
Open Visualization
Name
Affiliation
Papers
LIAM O'CONNOR
NICTA, Sydney, Australia and University of New South Wales, Australia
12
Collaborators
Citations
PageRank
23
44
5.02
Referers
Referees
References
115
220
121
Search Limit
100
220
Publications (12 rows)
Collaborators (23 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Overcoming restraint: composing verification of foreign functions with cogent
0
0.34
2022
Overcoming restraint: composing verification of foreign functions with cogent
0
0.34
2022
Deferring the details and deriving programs.
0
0.34
2019
Bringing Effortless Refinement of Data Layouts to Cogent.
1
0.35
2018
The Cogent Case for Property-Based Testing.
0
0.34
2017
Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML.
1
0.37
2016
COGENT: Certified Compilation for a Functional Systems Language.
1
0.36
2016
Refinement through restraint: bringing down the cost of verification.
8
0.55
2016
A Framework For The Automatic Formal Verification Of Refinement From Cogent To C
3
0.39
2016
Applications of applicative proof search.
1
0.36
2016
Cogent: verifying high-assurance file system implementations
19
0.74
2016
File systems deserve verification too!
10
0.54
2014
1