Hampton Smith

According to our database, Hampton Smith authored at least 8 papers between 2009 and 2013.

Collaborative distances:

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

2013

A Language for Building Verified Software Components.

Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai

Proceedings of the Safe and Secure Software Reuse, 2013

2012

The Location Linking Concept: A Basis for Verification of Code Using Pointers.

Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, Joseph E. Hollingsworth

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

A Case Study in Verification of Embedded Network Software.

Kalyan C. Regula, Hampton Smith, Heather Keown, Jason O. Hallstrom, Nigamanth Sridhar, Murali Sitaraman

Proceedings of the NASA Formal Methods, 2012

Specification engineering and modular verification using a web-integrated verifying compiler.

Charles T. Cook, Heather K. Harton, Hampton Smith, Murali Sitaraman

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Building a push-button RESOLVE verifier: Progress and challenges.

Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide

Formal Aspects Comput., 2011

Robust, generic, modularly-verified map: a software verification challenge problem.

Derek Bronish, Hampton Smith

Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, 2011

2009

Generating Verified Java Components through RESOLVE.

Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?

Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009