PLDI 2015 (series) / Research Papers /
Automatic Error Elimination by Multi-Application Code Transfer
We present Code Phage (CP), a system for automatically trans- ferring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using six donor applications to eliminate nine errors in six recipient applications highlight the ability of CP to transfer code across applications to eliminate otherwise fatal integer and buffer overflow errors. Because CP works with binary donors with no need for source code or symbolic information, it supports a wide range of use cases. To the best of our knowledge, CP is the first system to eliminate soft- ware errors via the successful transfer of correct code across applications.
Mon 15 JunDisplayed time zone: Tijuana, Baja California change
Mon 15 Jun
Displayed time zone: Tijuana, Baja California change
14:00 - 15:40 | CorrectnessResearch Papers at PLDI Main RED (Portland 256) Chair(s): Jens Palsberg University of California, Los Angeles | ||
14:00 25mTalk | Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack Research Papers Media Attached | ||
14:25 25mTalk | Automatic Error Elimination by Multi-Application Code Transfer Research Papers Stelios Sidiroglou-Douskos MIT CSAIL, Eric Lahtinen MIT CSAIL, Fan Long MIT CSAIL, Martin C. Rinard MIT Media Attached | ||
14:50 25mTalk | Light: Replay via Tightly Bounded Recording Research Papers Peng Liu Purdue University, Xiangyu Zhang Purdue University, Omer Tripp IBM Thomas J. Watson Research Center, Yunhui Zheng IBM Research Media Attached | ||
15:15 25mTalk | Many-Core Compiler Fuzzing Research Papers Nathan Chong University College London, Alastair F. Donaldson Imperial College London, Andrei Lascu Imperial College London, Christopher Lidbury Imperial College London Media Attached |