Advanced Search

CSAIL Technical Reports (July 1, 2003 - present)

Research and Teaching Output of the MIT Community

CSAIL Technical Reports (July 1, 2003 - present)


The CSAIL Technical Reports series includes:

  • Articles (previous published or unpublished)
  • Ph.D., M.Eng., and S.M. theses
  • Technical Reports or memoranda
  • UROP or AUP report advised by a CSAIL member
For more information, contact

Recent Submissions

  • Long, Fan; Rinard, Martin (2015-03-11)
    We present SPR, a new program repair system that uses condition synthesis to instantiate transformation schemas to repair program defects. SPR s staged repair strategy combines a rich space of potential repairs with a ...
  • Lynch, Nancy; Sastry, Srikanth (2015-03-02)
    The FLP result shows that crash-tolerant consensus is impossible to solve in asynchronous systems, and several solutions have been proposed for crash-tolerant consensus under alternative (stronger) models. One popular ...
  • Khan, Muhammad Taimoor; Serpanos, Dimitrios; Shrobe, Howard (2015-03-03)
    The purpose of this work is two fold: on one hand we want to formalize the behavior of critical components of the self generating and adapting cognitive middleware AWDRAT such that the formalism not only helps to understand ...
  • 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 ...
  • 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 ...