The MIT Libraries is completing a major upgrade to DSpace@MIT. Starting May 5 2026, DSpace will remain functional, viewable, searchable, and downloadable, however, you will not be able to edit existing collections or add new material. We are aiming to have full functionality restored by May 18, 2026 but intermittent service interruptions may occur. Please email dspace-lib@mit.edu with any questions. Thank you for your patience as we implement this important upgrade.

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 ...