Advanced Search
DSpace@MIT

Browsing CSAIL Digital Archive by Issue Date

Research and Teaching Output of the MIT Community

Browsing CSAIL Digital Archive by Issue Date

Sort by: Order: Results:

  • Gil, Stephanie; Kumar, Swarun; Mazumder, Mark; Katabi, Dina; Rus, Daniela (July 2015)
    Multi-robot networks use wireless communication to provide wide-ranging services such as aerial surveillance and unmanned delivery. However, effective coordination between multiple robots requires trust, making them ...
  • Stanley-Marbell, Phillip; Rinard, Martin (2015-06-04)
    Transferring data between ICs accounts for a growing proportion of system power in wearable and mobile systems. Reducing signal transitions reduces the dynamic power dissipated in this data transfer, but traditional ...
  • Qi, Zichao; Long, Fan; Achour, Sara; Rinard, Martin (2015-05-29)
    We analyze reported patches for three existing generate-and-validate patch generation systems (GenProg, RSRepair, and AE). The basic principle behind generate-and-validate systems is to accept only plausible patches that ...
  • Kjolstad, Fredrik; Kamil, Shoaib; Ragan-Kelley, Jonathan; Levin, David I.W.; Sueda, Shinjiro; Chen, Desai; Vouga, Etienne; Kaufman, Danny M.; Kanwar, Gurtej; Matusik, Wojciech; Amarasinghe, Saman (2015-05-26)
    Using existing programming tools, writing high-performance simulation code is labor intensive and requires sacrificing readability and portability. The alternative is to prototype simulations in a high-level language like ...
  • Long, Fan; Rinard, Martin (2015-05-26)
    We present Prophet, a novel patch generation system that learns a probabilistic model over candidate patches from a large code database that contains many past successful human patches. It defines the probabilistic model ...
  • Sidiroglou-Douskos, Stelios; Lahtinen, Eric; Rinard, Martin (2015-05-26)
    We present Targeted Automatic Patching (TAP), an automatic buffer and integer overflow discovery and patching system. Starting with an application and a seed input that the application processes correctly, TAP dynamically ...
  • Qi, Zichao; Long, Fan; Achour, Sara; Rinard, Martin (2015-05-26)
    We analyze reported patches for three existing generate-and-validate patch generation systems (GenProg, RSRepair, and AE). The basic principle behind generate-and-validate systems is to accept only plausible patches that ...
  • Qi, Zichao; Long, Fan; Achour, Sara; Rinard, Martin (2015-05-21)
    We analyze reported patches for three prior generate-and-validate patch generation systems (GenProg, RSRepair, and AE). Because of errors in the patch evaluation infrastructure, the majority of the reported patches violate ...
  • Lynch, Nancy; Newport, Calvin (2015-05-18)
    In this paper, we implement an efficient local broadcast service for the dual graph model, which describes communication in a radio network with both reliable and unreliable links. Our local broadcast service offers ...
  • Rubin, Julia; Gordon, Michael I.; Nguyen, Nguyen; Rinard, Martin (2015-05-04)
    This paper studies communication patterns in mobile applications. Our analysis shows that 65% of the HTTP, socket, and RPC communication in top-popular Android applications from Google Play have no effect on the user-observable ...
  • Richter, Charles; Vega-Brown, William; Roy, Nicholas (2015-04-27)
    We document two environment-generating distributions used for sampling random 2D maps. The first generates random hallway environments based on a Markov chain and the second generates random forest environments based on ...
  • Sidiroglou-Douskos, Stelios; Lahtinen, Eric; Long, Fan; Rinard, Martin (2015-04-15)
    We present Code Phage (CP), a system for automatically transferring correct code from donor applications into recipient applications that process the same inputs to successfully eliminate errors in the recipient. Experimental ...
  • Sidiroglou-Douskos, Stelios; Davis, Eli; Rinard, Martin (2015-04-14)
    We present a new horizontal code transfer technique, program fracture and recombination, for automatically replacing, deleting, and/or combining code from multiple applications. Benefits include automatic generation of new ...
  • Beckmann, Nathan; Sanchez, Daniel (2015-04-09)
    Modern processors use high-performance cache replacement policies that outperform traditional alternatives like least-recently used (LRU). Unfortunately, current cache models use stack distances to predict LRU or its ...
  • Kim, Been; Glassman, Elena; Johnson, Brittney; Shah, Julie (2015-04-01)
    Clustering methods optimize the partitioning of data points with respect to an internal metric, such as likelihood, in order to approximate the goodness of clustering. However, this internal metric does not necessarily ...
  • Borchardt, Gary C. (2015-03-30)
    This report presents a set of software techniques that support the tasks of event recognition, summarization of event sequences, explanation of recognized events, explanation of non-recognized events, prediction of event ...
  • 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 ...
  • Long, Fan; Rinard, Martin (2015-03-05)
    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 ...
  • 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 ...
  • 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 ...
MIT-Mirage