{"id":1489,"date":"2018-04-15T19:27:43","date_gmt":"2018-04-16T00:27:43","guid":{"rendered":"https:\/\/www.cs.mum.edu\/mum\/?page_id=1489"},"modified":"2024-11-12T11:24:23","modified_gmt":"2024-11-12T17:24:23","slug":"clyde-ruby","status":"publish","type":"page","link":"https:\/\/www.cs.miu.edu\/mum\/clyde-ruby\/","title":{"rendered":"Clyde Ruby"},"content":{"rendered":"<div style=\"width: 100%; height: 200px;\">\n<div style=\"float: left;\">\n<h3>Education<\/h3>\n<ul>\n<li>BA, Pepperdine University<\/li>\n<li>MA, Maharishi International University<\/li>\n<li>MS, Maharishi International University<\/li>\n<li>PhD, Iowa State University<\/li>\n<\/ul>\n<\/div>\n<div style=\"float: right; width: 200px; height: 146px; margin: 0px; padding-right: 10px;\">\n<p><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter\" title=\"Dr. Clyde Ruby\" src=\"https:\/\/www.cs.miu.edu\/images\/faculty_photo_ruby_clyde.jpg\" alt=\"Dr. Clyde Ruby\" width=\"132\" height=\"146\" \/><\/p>\n<p style=\"text-align: center;\"><strong>Associate Professor of Computer Science<\/strong><\/p>\n<\/div>\n<\/div>\n<div style=\"clear: both;\"><\/div>\n<h3 style=\"clear: both;\"><strong>Research Interests<\/strong><\/h3>\n<div>Programming language semantics (especially for object-oriented languages), programming methodology, specification (Larch\/C++, Java Modeling Language [JML]), and verification.<\/div>\n<div><\/div>\n<h3><strong>Publications\u00a0<\/strong><\/h3>\n<div style=\"width: 100%;\">\n<p>Clyde Ruby. Modular subclass verification: Safely creating correct subclasses without superclass code. PhD Thesis, Iowa State University, 2006. Technical Report TR #06-34<\/p>\n<p><a href=\"http:\/\/www.eecs.ucf.edu\/~leavens\/\">Gary T. Leavens<\/a>, <a href=\"https:\/\/www.linkedin.com\/pub\/albert-baker\/5\/445\/11b\">Albert L. Baker<\/a>, and Clyde Ruby. <a href=\"http:\/\/www.eecs.ucf.edu\/~leavens\/JML\/prelimdesign\/prelimdesign_toc.html\">Preliminary Design of JML: A Behavioral Interface Specification Language for Java<\/a>. <a href=\"http:\/\/www.sigsoft.org\/SEN\/\">ACM SIGSOFT Software Engineering Notes<\/a>, 31(3):1-38, March 2006. <a href=\"http:\/\/dl.acm.org\/citation.cfm?doid=1127878.1127884\">http:\/\/doi.acm.org\/10.1145\/1127878.1127884<\/a>\u00a0[<a href=\"http:\/\/dl.acm.org\/citation.cfm?id=1127884&amp;dl=ACM&amp;coll=DL\">PDF<\/a>]. Preliminary version: Iowa State University, Department of Computer Science, TR #98\u201306k, July 2000.<\/p>\n<p><a href=\"http:\/\/www.eecs.ucf.edu\/~leavens\/\">Gary T. Leavens<\/a>, <a href=\"http:\/\/www.cs.utep.edu\/cheon\/\">Yoonsik Cheon<\/a>, <a href=\"http:\/\/curtclifton.net\/about\/\">Curtis Clifton<\/a>, 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.<a href=\"http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642304001509\"> http:\/\/dx.doi.org\/10.1016\/j.scico.2004.05.015<\/a>. Preprint: Department of Computer Science, Iowa State University, TR #03-04a, revised March 2004.<\/p>\n<p>Clyde Ruby and <a href=\"http:\/\/www.eecs.ucf.edu\/~leavens\/\">Gary T. Leavens<\/a>. Safely Creating Correct Subclasses without Seeing Superclass Code. In OOPSLA 2000 Conference Proceedings, pages 208\u2013228. 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.<\/p>\n<p>Clyde Ruby. Safely Creating Correct Subclasses without Seeing Superclass Code. In OOPSLA 2000 Companion: Doctoral Symposium, Minneapolis, Minnesota, October 2000, pages 155\u2013156.<\/p>\n<p><a href=\"http:\/\/www.eecs.ucf.edu\/~leavens\/\">Gary T. Leavens<\/a>, <a href=\"http:\/\/research.microsoft.com\/en-us\/um\/people\/leino\/\">K. Rustan M. Leino<\/a>, <a href=\"http:\/\/www.cs.ru.nl\/~erikpoll\/\">Erik Poll<\/a>, Clyde Ruby, and <a href=\"http:\/\/www.cs.ru.nl\/~bart\/\">Bart Jacobs<\/a>. JML: notations and tools supporting detailed design in Java. In OOPSLA \u201900 Companion, Minneapolis, Minnesota, pp. 105-106. Copyright <a href=\"http:\/\/www.acm.org\/\">ACM<\/a>, 2000. Also Department of Computer Science, Iowa State University, TR #00-15, August 2000.<\/p>\n<p><a href=\"http:\/\/www.eecs.ucf.edu\/~leavens\/\">Gary T. Leavens<\/a> and <a href=\"https:\/\/www.linkedin.com\/pub\/albert-baker\/5\/445\/11b\">Albert L. Baker<\/a> 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\u2013188.<\/p>\n<p><a href=\"http:\/\/www.eecs.ucf.edu\/~leavens\/\">Gary T. Leavens<\/a> and <a href=\"https:\/\/www.linkedin.com\/pub\/albert-baker\/5\/445\/11b\">Albert L. Baker<\/a> and Clyde Ruby. JML: a Java Modeling Language, in Formal Underpinnings of Java Workshop (at OOPSLA \u201998), October 1998. [html]<\/p>\n<p><a href=\"http:\/\/www.eecs.ucf.edu\/~leavens\/\">Gary T. Leavens<\/a> 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\u201304, January 1997.<\/p>\n<p>More Information<\/p>\n<ul>\n<li>The Java Modeling Language Project: [<a href=\"http:\/\/www.eecs.ucf.edu\/~leavens\/JML\/index.shtml\">JML<\/a>]<\/li>\n<li>Larch: [<a href=\"http:\/\/www.eecs.ucf.edu\/~leavens\/larchc++.html\">Larch\/C++<\/a>] [<a href=\"http:\/\/www.eecs.ucf.edu\/~leavens\/larch-faq.html\">Larch FAQ<\/a>]<\/li>\n<\/ul>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Education BA, Pepperdine University MA, Maharishi International University MS, Maharishi International University PhD, Iowa State University Associate Professor of Computer Science Research Interests Programming language semantics (especially for object-oriented languages), programming methodology, specification (Larch\/C++, Java Modeling Language [JML]), and verification. <a href=\"https:\/\/www.cs.miu.edu\/mum\/clyde-ruby\/\" class=\"read-more\">Read More &#8230;<\/a><\/p>\n","protected":false},"author":4,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1489","page","type-page","status-publish","hentry"],"rttpg_featured_image_url":null,"rttpg_author":{"display_name":"CS Admin","author_link":"https:\/\/www.cs.miu.edu\/mum\/author\/csnetadmin\/"},"rttpg_comment":0,"rttpg_category":null,"rttpg_excerpt":"Education BA, Pepperdine University MA, Maharishi International University MS, Maharishi International University PhD, Iowa State University Associate Professor of Computer Science Research Interests Programming language semantics (especially for object-oriented languages), programming methodology, specification (Larch\/C++, Java Modeling Language [JML]), and verification. Read More ...","_links":{"self":[{"href":"https:\/\/www.cs.miu.edu\/mum\/wp-json\/wp\/v2\/pages\/1489","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.cs.miu.edu\/mum\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.cs.miu.edu\/mum\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.cs.miu.edu\/mum\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/www.cs.miu.edu\/mum\/wp-json\/wp\/v2\/comments?post=1489"}],"version-history":[{"count":12,"href":"https:\/\/www.cs.miu.edu\/mum\/wp-json\/wp\/v2\/pages\/1489\/revisions"}],"predecessor-version":[{"id":3325,"href":"https:\/\/www.cs.miu.edu\/mum\/wp-json\/wp\/v2\/pages\/1489\/revisions\/3325"}],"wp:attachment":[{"href":"https:\/\/www.cs.miu.edu\/mum\/wp-json\/wp\/v2\/media?parent=1489"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}