Mon 15 Jun 2015 14:25 - 14:50 at PLDI Main RED (Portland 256) - Correctness Chair(s): Jens Palsberg

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 Jun

pldi2015-papers
14:00 - 15:40: Research Papers - Correctness at PLDI Main RED (Portland 256)
Chair(s): Jens PalsbergUniversity of California, Los Angeles
pldi2015-papers14:00 - 14:25
Talk
Maarten FaddegonUniversity of Kent, UK, Olaf ChitilUniversity of Kent, UK
Media Attached
pldi2015-papers14:25 - 14:50
Talk
Media Attached
pldi2015-papers14:50 - 15:15
Talk
Peng LiuPurdue University, Xiangyu ZhangPurdue University, Omer TrippIBM Thomas J. Watson Research Center, Yunhui ZhengIBM T.J. Watson Research Center
Media Attached
pldi2015-papers15:15 - 15:40
Talk
Nathan ChongUniversity College London, Alastair DonaldsonImperial College London, Andrei LascuImperial College London, Christopher LidburyImperial College London
Media Attached