Browsing CSAIL Technical Reports (July 1, 2003 - present) by Title
Now showing items 75-94 of 775
-
Automatic Discovery and Patching of Buffer and Integer Overflow Errors
(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 ... -
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 ... -
Automatic Error Elimination by Multi-Application Code Transfer
(2014-10-02)We present pDNA, a system for automatically transfer- ring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using six donor applications ... -
Automatic Error Elimination by Multi-Application Code Transfer
(2014-09-30)We present pDNA, a system for automatically transfer- ring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using six donor applications ... -
Automatic Error Elimination by Multi-Application Code Transfer
(2014-08-11)We present pDNA, a system for automatically transferring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using three donor applications ... -
Automatic Error Elimination by Multi-Application Code Transfer
(2014-10-02)We present Code Phage (CP), a system for automatically transferring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using six donor ... -
Automatic Error Finding in Access-Control Policies
(2010-05-05)Access-control policies are a key infrastructural technology for computer security. However, a significant problem is that system administrators need to be able to automatically verify whether their policies capture the ... -
Automatic Exploitation of Fully Randomized Executables
(2019-06-11)We present Marten, a new end to end system for automatically discovering, exploiting, and combining information leakage and buffer overflow vulnerabilities to derandomize and exploit remote, fully randomized processes. ... -
Automatic Inference of Code Transforms and Search Spaces for Automatic Patch Generation Systems
(2016-07-08)We present a new system, Genesis, that processes sets of human patches to automatically infer code transforms and search spaces for automatic patch generation. We present results that characterize the effectiveness of the ... -
Automatic Inference of Code Transforms and Search Spaces for Automatic Patch Generation Systems
(2016-07-08)We present a new system, Genesis, that processes sets of human patches to automatically infer code transforms and search spaces for automatic patch generation. We present results that characterize the effectiveness of the ... -
Automatic Input Rectification
(MIT CSAIL, 2011-10-03)We present a novel technique, automatic input rectification, and a prototype implementation called SOAP. SOAP learns a set of constraints characterizing typical inputs that an application is highly likely to process ... -
Automatic Parallelization With Statistical Accuracy Bounds
(2010-02-10)Traditional parallelizing compilers are designed to generate parallel programs that produce identical outputs as the original sequential program. The difficulty of performing the program analysis required to satisfy this ... -
Automatic Program Repair with Condition Synthesis and Compound Mutations
(2015-02-12)We present PCR, a new automatic patch generation system. PCR uses a new condition synthesis technique to efficiently discover logical expressions that generate desired control- flow transfer patterns. Presented with a set ... -
Automatic shaping and decomposition of reward functions
(2007-02-13)This paper investigates the problem of automatically learning how torestructure the reward function of a Markov decision process so as tospeed up reinforcement learning. We begin by describing a method thatlearns a shaped ... -
Automatic Software Upgrades for Distributed Systems
(2005-11-30)Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes may be unavailable and halting the system for an ... -
Automatic Software Upgrades for Distributed Systems
(2005-10-06)Upgrading the software of long-lived, highly-available distributedsystems is difficult. It is not possible to upgrade all the nodes in asystem at once, since some nodes may be unavailable and halting thesystem for an ... -
Automatic Software Upgrades for Distributed Systems (PhD thesis)
(2005-10-06)Upgrading the software of long-lived, highly-available distributedsystems is difficult. It is not possible to upgrade all the nodes in asystem at once, since some nodes may be unavailable and halting thesystem for an ... -
Automatic Test Factoring for Java
(2005-06-08)Test factoring creates fast, focused unit tests from slow system-widetests; each new unit test exercises only a subset of the functionalityexercised by the system test. Augmenting a test suite with factoredunit tests ... -
Autonomous COLREGS Modes and Velocity Functions
(2017-05-16)This paper concerns an implementation of an autonomy system for unmanned surface vessels operating in accordance with the Coast Guard Collision Regulations (COLREGS). The autonomy system is implemented by associating a ... -
Autonomous Virtual Mobile Nodes
(2005-06-15)This paper presents a new abstraction for virtual infrastructure in mobile ad hoc networks. An AutonomousVirtual Mobile Node (AVMN) is a robust and reliable entity that is designed to cope with theinherent difficulties ...