CSAIL Technical Reports (July 1, 2003 - present): Recent submissions

Now showing items 97-99 of 776

    • Spectral Alignment of Networks 

      Feizi, Soheil; Quon, Gerald; Medard, Muriel; Kellis, Manolis; Jadbabaie, Ali (2015-02-18)
      Network alignment refers to the problem of finding a bijective mapping across vertices of two or more graphs to maximize the number of overlapping edges and/or to minimize the number of mismatched interactions across ...

    • Automatic Program Repair with Condition Synthesis and Compound Mutations 

      Long, Fan; Qi, Zichao; Achour, Sara; Rinard, Martin (2015-02-12)
      We present PCR, a new automatic patch generation system. PCR uses a new condition synthesis technique to efficiently discover logical expressions that generate desired control- flow transfer patterns. Presented with a set ...

    • An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems 

      Qi, Zichao; Long, Fan; Achour, Sara; Rinard, Martin (2015-02-10)
      We analyze reported patches for three prior generate-and-validate patch generation systems (GenProg, RSRepair, and AE). Because of experimental error, the majority of the reported patches violate the basic principle behind ...