<?xml version="1.0" encoding="utf-8" ?> 
<?xml-stylesheet type="text/xsl" href="courses.xsl" ?>
<courses name="Fawcett">

  <btitle>Research</btitle>
  <theme src="ResearchTheme.css" />

  <visible>
  <title>Research and Development</title>
  <revised>08 June 2011</revised>
  
  <hnav/>
  <cnav/>

  <hilight>
    <ifile title="Project Topics">Projects.xml</ifile>&#32;
    <ifile title="Master's Projects">MastersProjects.xml</ifile>&#32;
    <ifile title="Master's Theses">MastersTheses.xml</ifile>&#32;
    <ifile title="Research">research.xml</ifile>&#32;
    <ifile title="References">references.xml</ifile>&#32;
    <ifile title="Cloner">Cloner.xml</ifile>&#32;
    <ifile title="Software Foundry">Foundry.xml</ifile>&#32;
  </hilight>

  <images>
    <imageItem src=".\students\ResearchGroup1.jpg" size="250" />
    <imageItem src=".\students\GraceXue.jpg" size="250" />
    <imageItem src="..\research\goddard\goddard.jpg" size="250" /><br/>
    <caption>Members of Research Group: Mehmet Kaya, Kanat Bolazar, Phil Pratt-Szeliga, and Grace Xue</caption>
    <p/>
    <imageItem src="students/MuratGungor2.jpg" size="250" />
<!--    <imageItem src="students/Murat.jpg" size="250"/>  -->
    <imageItem src="students/IyerAndKaramov.jpg" size="250"/>
    <imageItem src="students/Seraji.jpg" size="250"/>
<!--    <imageItem src="students/KanatAndArun.jpg" size="250" /> -->
  </images>
  <caption>Former Members: Murat Gungor, Sergey Karamov, Arun Iyer, and Kambiz Seraji</caption>
  <caption>DOPL Lab - CST 4-116</caption>

  <quote source="Anonymous">
    The gap between theory and practice in theory<br/>
    is nowhere near as big as<br/>the gap between
    theory and practice in practice.
  </quote>

<!--
  <quote source="Albert Einstein (1879-1955)">  
    If we knew what it was we were doing, it would not be called research, would it?.
  </quote>

  <quote source="J.B.S. Haldane, Journal of Genetics, #58">
    Four stages of acceptance:<br/>
    <olist>      
      <litem>this is worthless nonsense;</litem>
      <litem>this is an interesting, but perverse, point of view;</litem>
      <litem>this is true, but quite unimportant;</litem>
      <litem>I always said so.</litem>
    </olist>
  </quote>
-->

  <hr/>
  <lhilight>
    Ph.D. Dissertations:<br/>
    <ifile title="Structure Models for Large Software Systems">../research/MuratsResearch/MuratsDefense/StructuralModelsforLargeSoftwareSystems.htm</ifile>, 
  </lhilight>
  <lhilight>
    M.S. Theses:<br/>
    <ifile title="Software Matrix">softwarematrix.xml</ifile>, 
    <ifile title="Aspect Oriented Programming">AspectOrientedProgramming.xml</ifile>, 
    <ifile title="Self Healing Systems">SelfHealingSoftwareMatrix.xml</ifile>, 
    <ifile title="Cross-Platform development">SWMatrixCrossPlatformDev.xml</ifile><br/>
    <ifile title="Model-Driven development">SWMatrixModelDrivenDev.xml</ifile>, 
    <ifile title="Software Restructuring">SoftwareRestructuring.xml</ifile><br/>
  </lhilight>
  <lhilight>
    Papers:<br/>
    <ifile title="Measuring Specification Concordance with Semantic Mutation Testing, CATA 2011">../research/Bolazar/SemanticMutationTesting.pdf</ifile>, 
    <ifile title="Verdicts, SEDE 2006">..\Research\Bolazar\papers\Debugging_by_Visualization_and_Contract_Discovery_4pp_v11.pdf</ifile>, 
    <ifile title="Software Risk Model, SERP05">../research/papersWithMurat/Paper-RiskModelForSERP05_Ver8-SER3093.pdf</ifile>, 
    <ifile title="Software Risk Model, IPSI05">../research/papersWithMurat/Paper-RiskModelForIPSI-2005-MIT_Ver7.pdf</ifile>, 
    <ifile title="Structure of Large Software Systems, SERP05">../research/papersWithMurat/DepAnal4SERP05_Ver10-SER3092.pdf</ifile>, 
    <ifile title="Metrics and Change, SERP05">../research/papersWithMurat/CATA-2005-MetricChange.pdf</ifile>, 
  </lhilight>
  <lhilight>
    Advisee Research Pages:<br/>
    <ifile title="Kanat Bolazar">../research/bolazar/index.html</ifile>,
    <ifile title="Phil Pratt-Szeliga">http://pcpratts.mysite.syr.edu/</ifile>,
    <ifile title="Mehmet Kaya">../research/kaya/MehmetKaya.htm</ifile>,
    <ifile title="Marty Goddard">../research/Goddard/goddard.html</ifile>
  </lhilight>
  <lhilight>
    Useful Links:<br/>
    <ilink title="Science of Scientific Writing">www.americanscientist.org/template/AssetDetail/assetid/23947?fulltext=true&amp;print=yes</ilink>, 
    <ilink title="fallacies">www.nizkor.org/features/fallacies/index.html</ilink>, 
    <ilink title="Craft of Research">www.amazon.com/exec/obidos/ASIN/0226065847/104-4213919-4855959</ilink> ,
    <ilink title="Prepare Dissertation Proposal">www.syracuseuniversitypress.syr.edu/fall-2004-catalog/prepare-dissertation.html</ilink> 
  </lhilight>
  <lhilight>
    Student Projects:<br/>
    <ifile title="Unfunded research and project activities">StudentProjects.xml</ifile>
  </lhilight>
  <html><a name="contents"/></html>
  <section title="Research">
    <p/>
    I have recently started a small research group that focuses on software complexity, accessibility
    and reuse.  Some of this work centers around the analysis and evaluation of large software systems using grammar-based static
    dependency analyses (<ifile title="Research Statement">ResearchStatement.htm</ifile>).  We are also interested in the notion of a Software Foundry and an associated
    Foundry Object Model, developing tools to support understanding large systems, and using distributed and massively parallel machinery to
    solve challenging engineering and scientific problems.  The research group currently consists of four Doctoral students, several students preparing Master's
    Theses under my direction, and a number of students doing Independent Studies.
    <p/>
    In the photos above, Kanat Bolazar is working on ideas and tools to investigate the behavior of large existing software systems, Phil Pratt-Szeliga
    is interested in distributed and parallel means to attack challenging computational problems, Mehmet Kaya is currently preparing for his qualifying 
    examinations, and then expects to work on restructuring software, and Grace Xue is working on software development process models.
<!--
    started working on Analysis Metrics with the
    goal of re-engineering legacy code to fit within the software foundry model while studing for his qualifying examinations.  
-->
    <p/>
    Only students, known to me through work in one of my courses, are accepted into this group. Because of
    my teaching load I do not seek outside funding, although we occasionally work on funded
    projects that happen to come our way.  
    I fund Doctoral and Master's Thesis students by making them Teaching Assistants in my courses.
    For the reasons, cited above, I do not reply to external requests for funded research under my direction.
  </section>
  
  <section title="Software Accessiblity">
  We are building the infrastructure to re-engineer software reuse processes.  
  Our goals are to make accessible, for reuse, not only code, but also 
  documentation and test products, from a globally accessible place.  This place could
  be a project server on a local area network or a corporate software resource server, 
  accessible over the internet as a web service.
  <p/>
  A major concern of ours is to honor the connectedness of software.  That is, we provide
  accessiblity to code, its documentation, and test drivers, for any component, including
  any lower level components on which it may depend.  The implications are that code, 
  documentation, and test are distributed across a network of components and are reusable 
  at any level of the distribution graph.
  <p/>
  Some of this research extends into the classroom.  Recently (Fall '02), for example, the 
  <ifile title="CSE784 - Software Studio">CSE784.xml</ifile> class developed a 
  <ifile title="Software Foundry">Foundry.xml</ifile> 
  that implements some of the software accessibility ideas we are exploring.
  </section>
  
  <section title="Master's Theses">
    Research for a <ifile title="Master's Thesis">MastersTheses.xml</ifile> is smaller in scope and 
    requires fewer original contributions than
    a Doctoral Dissertation.  However it is a significant piece of work, requiring perhaps six months 
    of half time work.  Here are some current thesis activities carried out by my students:
    <olist>
      <litem>
        <ifile title="Software Restructuring">SoftwareRestructuring.xml</ifile>,
        Santosh Singh Kesar : Automatic extraction of functions from large weakly structured code. Driven by rule-based static analysis.
        Completed October 8, 2008. 
      </litem>
      <litem>
        <ifile title="Model-Driven Development using the Software Matrix Technology">SWMatrixModelDrivenDev.xml</ifile>,
        Tilak Patel : Model-Driven development generates code from UML style models.  This becomes much more than a code generation
        wizard when there is a strong concept of components, the Software Matrix, used as an integral part of this process.
        Completed December 21, 2007.
      </litem>
      <litem>
        <ifile title="Cross-Platform Development using the Software Matrix Technology">SWMatrixCrossPlatformDev.xml</ifile>,
        Vijay Appadurai : Cross-Platform Development targets flexible implementation on more than one platform.  Vijay used Linux
        and Windows platforms for his demonstration.  Completed March 23, 2007.
      </litem>
      <litem>
        <ifile title="Self-Healing Systems using the Software Matrix Technology">SelfHealingSoftwareMatrix.xml</ifile>,
        Anirudha Krishna : a self-healing framework using the Software Matrix structure.  It is effective and remarkably
        simple.  Completed December 9, 2005.
      </litem>
      <litem>
       <ifile title="Aspect Oriented Programming">AspectOrientedProgramming.xml</ifile>, Ramaswamy Krishnan-Chittur : explores
       several interesting applications supported by .Net interception.  Completed April 19, 2005.
      </litem>
      <litem>
        <ifile title="Software Matrix">SoftwareMatrix.xml</ifile>, Riddhiman Ghosh : an experiment
        using message-passing and broad use of the observer pattern
        to make software salvage a useful paradigm.  By salvage, we mean the lifting of a significant
        block of one system to be used within another without terminal arterial bleeding.  Completed December 15, 2004.
      </litem>
      <litem>
        C++ Beans, An Experiment in Simplification, Siddhartha Azad, completed October 2002
      </litem>
      <litem>
        Dynamic Internet Communities : A Comparison between Grid and Peer-to-Peer Computing,
        Shawn Dahlen <!-- <ilink title="Shawn Dahlen">www.paragonProject.com/~smdahlen</ilink> --> [converted to an
        independent study - September 2003].
      </litem>
      <litem>
        Performance Comparison of .Net and J2EE for some typical remoting and web service applications,
        Srinivas Shilagani [converted to an independent study - May 2004].
      </litem>
    </olist>
  </section>
  
  <section title="Development Projects">
  Occasionally we have worked on funded projects for local companies, usually under the 
  <ilink title="CASE Center">www.case.syr.edu</ilink> umbrella.
  </section>
<!--
  <section title="The DOPL Lab">
    <html><hr/></html>
    <images>
      <imageItem src="students/KanatSergeyAndMurat.jpg" size="200"/>
      <imageItem src="inLab3.jpg" size="200"/>
    </images>
    <html><hr/></html>
  </section>
-->
  <p/><hr/><p/>
  </visible>
</courses>
