Clark L. Coleman

According to our database, Clark L. Coleman authored at least 6 papers between 2001 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A Proof Infrastructure for Binary Programs.

Ashlie B. Hocking, Benjamin D. Rodes, John C. Knight, Jack W. Davidson, Clark L. Coleman

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

A System for the Security Protection of Embedded Binary Programs.

Jack W. Davidson, Jason D. Hiser, Anh Nguyen-Tuong, Clark L. Coleman, William H. Hawkins, John C. Knight, Benjamin D. Rodes, Ashlie B. Hocking

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

2014

A Framework for Creating Binary Rewriting Tools (Short Paper).

Jason Hiser, Anh Nguyen-Tuong, Michele Co, Benjamin D. Rodes, Matthew Hall, Clark L. Coleman, John C. Knight, Jack W. Davidson

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

2009

MEDS: The Memory Error Detection System.

Jason Hiser, Clark L. Coleman, Michele Co, Jack W. Davidson

Proceedings of the Engineering Secure Software and Systems, 2009

2008

Defense against the dark arts.

Mark W. Bailey, Clark L. Coleman, Jack W. Davidson

Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

2001

Automatic memory hierarchy characterization.

Clark L. Coleman, Jack W. Davidson

Proceedings of the 2001 IEEE International Symposium on Performance Analysis of Systems and Software, 2001