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

Now showing items 94-96 of 776

    • Staged Program Repair in SPR 

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

    • Consensus using Asynchronous Failure Detectors 

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

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