Graham Hughes
7340A Lowell Way
Goleta, CA 93117 USA
Contact information
Telephone: 805-689-1451 (cell)
Email:
Web: http://www.sigwinch.org/Graham/

Summary

I have extensive experience with Java, Ruby, and C, and experience with C++ and Python. I have extensive development experience on Linux specifically and most Unixes in general; I also have sysadmin experience on Linux and MacOS X.

Education

B.A. Computer Science and Mathematics
University of California, Santa Barbara 		1999
Ph.D. Computer Science
University of California, Santa Barbara 		2009

Professional Experience

Software Developer
RightScale, Inc., Santa Barbara, CA 		August 2010 – October 2011 Software developer focusing on backend work. Developed very reliable caching servers that became critical infrastructure. Worked extensively to bring testing and modern design methodologies to legacy codebases. Extensive Ruby and Rails experience.
Application Programmer
Acelot, Inc., Santa Barbara, CA 		December 2008 – June 2010 Research scientist and lead developer. Main emphasis is in cheminformatics, with a focus on representing molecules as graphs, but substantial sideline in statistical analysis and Bayesian networks.
Graduate Student
University of California, Santa Barbara, Santa Barbara, CA 		September 2001 – December 2008 Continuing education, with a focus on work in software verification and modeling.
Intern
Research Institute for Advanced Computer Science, San Jose, CA 		September 2005 – November 2005 Research intern investigating automated analysis of concurrent software.
Intern
Fujitsu Research Labs of America, San Jose, CA 		September 2004 – May 2005 Research intern investigating automated analysis of preexisting concurrent software.
Programmer
Lynda.com, Ojai, CA 		July 1999 – September 2001 Primary programmer and backup sysadmin; developed online registration system for FlashForward conferences including an integrated ecommerce system.

Selected Publications

  1. S. Halle, G. Hughes, T. Bultan, and M. Alkhalaf. Generating Interface Grammars from WSDL for Automated Verification of Web Services. Proceedings of the 7th International Conference on Service Oriented Computing (ICSOC 2009), pp. 516–530, Stockholm, Sweden, November 24–27, 2009.
  2. G. Hughes and T. Bultan. Automated Verification of Access Control Policies Using a SAT Solver. International Journal on Software Tools for Technology Transfer (STTT), special issue on selected papers from the Workshop on Web Quality, Verification and Validation (WQVV 2007) vol. 10, no. 6, pp. 473–534, December 2008.
  3. G. Hughes, T. Bultan and M. Alkhalaf. Client and Server Verification for Web Services Using Interface Grammars. Proceedings of the Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2008), pp. 40–46, Seattle, Washington, July 21, 2008.
  4. G. Hughes and T. Bultan. Extended Interface Grammars for Automated Stub Generation. Proceedings of the Automated Formal Methods Workshop (AFM 2007), pp. 41–54, Atlanta, Georgia, November 6, 2007
  5. G. Hughes and T. Bultan. Automated verification of XACML policies using a SAT solver. In Proceedings of the Workshop on Web Quality, Verification and Validation (WQVV ’07), 2007.
  6. G. Hughes and T. Bultan. Interface grammars for modular software model checking. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA ’07), 2007.
  7. G. Hughes, S. P. Rajan, T. Sidle, and K. Swenson. Error detection in concurrent Java programs. In Proceedings of the Workshop on Software Model Checking (SoftMC 2005), volume 144, pages 45–58. Electronic Notes in Theoretical Computer Science, February 2006. Issue 3.

Tags