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 ...
  • Deng, Shuo; Sivaraman, Anirudh; Balakrishnan, Hari (2016-02-25)
    This paper presents Delphi, a mobile software controller that helps applications select the best network among available choices for their data transfers. Delphi optimizes a specified objective such as transfer completion ...
  • Long, Fan; Rinard, Martin (2016-02-18)
    We present the first systematic analysis of the characteristics of patch search spaces for automatic patch generation systems. We analyze the search spaces of two current state-of- the-art systems, SPR and Prophet, with ...
  • Pit--Claudel, Clément; Mariet, Zelda; Harding, Rachael; Madden, Sam (2016-02-08)
    Rapidly developing areas of information technology are generating massive amounts of data. Human errors, sensor failures, and other unforeseen circumstances unfortunately tend to undermine the quality and consistency of ...
  • McCutchen, Richard Matthew; Itzhaky, Shachar; Jackson, Daniel (2016-01-12)
    There is a growing demand for data-driven web applications that help automate organizational and business processes of low to medium complexity by letting users view and update structured data in controlled ways. We present ...
  • Shen, Jiasi; Rinard, Martin (2015-12-27)
    We present a new language construct, filtered iterators, for safe and robust input processing. Filtered iterators are designed to eliminate many common input-processing errors while enabling robust continued execution. The ...
  • Beckmann, Nathan; Sanchez, Daniel (2015-12-19)
    Much prior work has studied processor cache replacement policies, but a large gap remains between theory and practice. The optimal policy (MIN) requires unobtainable knowledge of the future, and prior theoretically-grounded ...
  • Beckmann, Nathan; Tsai, Po-An; Sanchez, Daniel (2015-12-19)
    Conventional memory systems are organized as a rigid hierarchy, with multiple levels of progressively larger and slower memories. Hierarchy allows a simple, fixed design to benefit a wide range of applications, because ...
  • Beckmann, Nathan; Sanchez, Daniel (2015-12-19)
    Caches are critical to performance, yet their behavior is hard to understand and model. In particular, prior work does not provide closed-form solutions of cache performance, i.e. simple expressions for the miss rate of a ...
  • Finlayson, Mark Alan (2015-12-02)
    This archive contains the supplementary material for the journal article "ProppLearner: Deeply Annotating a Corpus of Russian Folktales to Enable the Machine Learning of a Russian Formalist Theory", published in the Journal ...
  • Zewdie, Dawit H.; Konidaris, George (2015-11-24)
    Recent years have seen increased interest in non-parametric reinforcement learning. There are now practical kernel-based algorithms for approximating value functions; however, kernel regression requires that the underlying ...
  • Battle, Leilani; Chang, Remco; Stonebraker, Michael (2015-10-19)
    In this paper, we present ForeCache, a general-purpose tool for exploratory browsing of large datasets. ForeCache utilizes a client-server architecture, where the user interacts with a lightweight client-side interface to ...
  • Bruce, Elizabeth; Sollins, Karen; Vernon, Mona; Weitzner, Danny (2015-10-01)
    This paper is the first in a series on privacy in Big Data. As an outgrowth of a series of workshops on the topic, the Big Data Privacy Working Group undertook a study of a series of use scenarios to highlight the challenges ...
  • Chen, Tiffany Yu-Han; Sivaraman, Anirudh; Das, Somak; Ravindranath, Lenin; Balakrishnan, Hari (2015-09-24)
    This paper describes the design, implementation, and evaluation of Amoeba, a context-sensitive context detection service for mobile devices. Amoeba exports an API that allows a client to express interest in one or more ...
  • Feizi, Soheil; Makhdoumi, Ali; Duffy, Ken; Kellis, Manolis; Medard, Muriel (2015-09-21)
    Identifying nonlinear relationships in large datasets is a daunting task particularly when the form of the nonlinearity is unknown. Here, we introduce Network Maximal Correlation (NMC) as a fundamental measure to capture ...
  • Long, Fan; Rinard, Martin (2015-07-13)
    We present Prophet, a novel patch generation system that learns a probabilistic model over candidate patches from a database of past successful patches. Prophet defines the probabilistic model as the combination of a ...
  • Abelson, Harold; Anderson, Ross; Bellovin, Steven M.; Benaloh, Josh; Diffie, Whitfield; Gilmore, John; Green, Matthew; Neumann, Peter G.; Landau, Susan; Rivest, Ronald L.; Schiller, Jeffrey I.; Schneier, Bruce; Specter, Michael; Weitzner, Daniel J.; Blaze, Matt (2015-07-06)
    Twenty years ago, law enforcement organizations lobbied to require data and communication services to engineer their products to guarantee law enforcement access to all data. After lengthy debate and vigorous predictions ...
  • Gombolay, Matthew C. (2015-07-02)
    Resource optimization in health care, manufacturing, and military operations requires the careful choreography of people and equipment to effectively fulfill the responsibilities of the profession. However, resource ...
  • 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 ...
MIT-Mirage