Hampton Smith
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2009–2013
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICSR | 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 |
| 2012 | ICSE | Specification engineering and modular verification using a web-integrated verifying compiler. | Charles T. Cook, Heather K. Harton, Hampton Smith, Murali Sitaraman |
| 2009 | ICSR | 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 |
| 2009 | ICSR | Generating Verified Java Components through RESOLVE. | Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman |