Search
Now showing items 191-200 of 221
A Cache Model for Modern Processors
(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 ...
Horizontal Code Transfer via Program Fracture and Recombination
(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 ...
Staged Program Repair in SPR (Supplementary Material)
(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 ...
A Suite of Techniques for Describing Activity in Terms of Events
(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 ...
Staged Program Repair in SPR
(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
(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 ...
Automatic Error Elimination by Horizontal Code Transfer Across Multiple Applications
(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 ...
Non-Essential Communication in Mobile Applications
(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 ...
Markov Chain Hallway and Poisson Forest Environment Generating Distributions
(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 ...
Simit: A Language for Physical Simulation
(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 ...