Search
Now showing items 1621-1630 of 1850
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 ...
Deep Learning without Poor Local Minima
(2016-05-23)
In this paper, we prove a conjecture published in 1989 and also partially address an open problem announced at the Conference on Learning Theory (COLT) 2015. For an expected loss function of a deep nonlinear neural network, ...
An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems
(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 ...
Delphi: A Software Controller for Mobile Network Selection
(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 ...
Jenga: Harnessing Heterogeneous Memories through Reconfigurable Cache Hierarchies
(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 ...
Outlier Detection in Heterogeneous Datasets using Automatic Tuple Expansion
(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 ...
Initial report on Object Spreadsheets
(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 ...
Bridging Theory and Practice in Cache Replacement
(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 ...
Cache Calculus: Modeling Caches through Differential Equations
(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 ...
Filtered Iterators For Safe and Robust Programs in RIFL
(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 ...