Education

• B.A. (cum laude) Mathematics, Pepperdine University, Malibu, California
• M.A. Science of Creative Intelligence, Maharishi International University
• M.S. Computer Science, Maharishi University of Management
• Ph.D. Computer Science, Iowa State University

Research Interests

Programming language semantics (especially for object-oriented languages), programming methodology, specification (Larch/C++, Java Modeling Language [JML]), and verification.

Publications:

Clyde Ruby. Modular subclass verification: Safely creating correct subclasses without superclass code. Ph.D. Thesis, Iowa State University, 2006. Technical Report TR #06-34 [abstract][PDF]

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, and David R. Cok. How the design of JML accommodates both runtime assertion checking and formal verification. Science of Computer Programming, 55(1-3):185-205, Elsevier, 2005. http://dx.doi.org/10.1016/j.scico.2004.05.015. Preprint: Department of Computer Science, Iowa State University, TR #03-04a, revised March 2004. [abstract][PDF]

Clyde Ruby and Gary T. Leavens. Safely Creating Correct Subclasses without Seeing Superclass Code. In OOPSLA 2000 Conference Proceedings, pages 208–228. Volume 35, number 10 of ACM SIGPLAN Notices, October 2000. Also Department of Computer Science, Iowa State University, TR #00-05d, April 2000, revised April, June, July 2000. [abstract][postscript]

Clyde Ruby. Safely Creating Correct Subclasses without Seeing Superclass Code. In OOPSLA 2000 Companion: Doctoral Symposium, Minneapolis, Minnesota, October 2000, pages 155–156.

Gary T. Leavens and K. Rustan M. Leino and Erik Poll and Clyde Ruby and Bart Jacobs. JML: Notations and Tools Supporting Detailed Design in Java, OOPSLA 2000 Companion, Minneapolis, Minnesota, October 2000, pages 105–106, ACM.

Gary T. Leavens and Albert L. Baker and Clyde Ruby. JML: A Notation for Detailed Design in Behavioral Specifications of Businesses and Systems, Editors: Haim Kilov and Bernhard Rumpe and Ian Simmonds, 1999, Kluwer Academic Publishers, Boston, pages 175–188.

Gary T. Leavens and Albert L. Baker and Clyde Ruby. Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Iowa State University, Department of Computer Science, TR #98–06k, July 2000. [postscript]

Gary T. Leavens and Albert L. Baker and Clyde Ruby. JML: a Java Modeling Language, Formal Underpinnings of Java Workshop (at OOPSLA ’98), October 1998.[html]

Gary T. Leavens and Clyde Ruby. Specification Facets for More Precise, Focused Documentation. In the Proceedings of the Eighth Annual Workshop on Software Reuse (WISR8), Columbus, Ohio, March 1997. Also Department of Computer Science, Iowa State University, TR #97–04, January 1997. [abstract] [postscript]

More Information

• The Java Modeling Language Project: [JML]
• Larch: [Larch/C++] [Larch FAQ]