CSAIL Digital Archive: Recent submissions

Now showing items 103-105 of 807

    • On the Formal Semantics of the Cognitive Middleware AWDRAT 

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

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