David S. Hardin - Citegraph

Author Info

Name	Affiliation	Papers
DAVID S. HARDIN	Rockwell Collins, Cedar Rapids, IA, USA	6
Collaborators	Citations	PageRank
7	27	3.90
Referers	Referees	References
79	120	48

Search Limit

100120

Publications (6 rows)

Collaborators (7 rows)

Referers (79 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Reasoning About Llvm Code Using Codewalker	0	0.34	2015
Acl2 Meets The Gpu: Formalizing A Cuda- Based Parallelizable All-Pairs Shortest Path Algorithm In Acl2	2	0.39	2013
The Specification, Verification, and Implementation of a High-Assurance Data Structure: An ACL2 Approach	0	0.34	2013
A DSL for cross-domain security	0	0.34	2012
Invited Tutorial: Considerations In The Design And Verification Of Microprocessors For Safety-Critical And Security-Critical Applications	2	0.44	2008
A robust machine code proof framework for highly secure applications	23	2.05	2006

1