CSAIL Technical Reports (July 1, 2003 - present): Recent submissions
Now showing items 76-78 of 776
-
Prophet: Automatic Patch Generation via Learning from Successful Patches
(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 ... -
Keys Under Doormats: Mandating insecurity by requiring government access to all data and communications
(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 ... -
PhD Thesis Proposal: Human-Machine Collaborative Optimization via Apprenticeship Scheduling
(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 ...
