From 3a0d41849207d8a2266cce59b88e24b16148c3ea Mon Sep 17 00:00:00 2001 From: Claire Date: Sat, 3 Jun 2017 12:11:15 -0400 Subject: [PATCH] start of pubs and videos --- docs/publications.md | 12 ++++++++++-- docs/videos.md | 37 +++++++++++++++++++++++++++++++++++++ 2 files changed, 47 insertions(+), 2 deletions(-) create mode 100644 docs/videos.md diff --git a/docs/publications.md b/docs/publications.md index 782ab692..345532bc 100644 --- a/docs/publications.md +++ b/docs/publications.md @@ -1,10 +1,18 @@ --- layout: page title: "Publications" -description: "GenProg or GenProg-related publications" -header-img: "img/home-bg.jpg" +description: "GenProg-related publications" --- +This page lists GenProg-specific publications, focusing primarily on those whose +data and experiments were implemented on top of the GenProg codebase by researchers +related to the core GenProg team. program-repair.org provides a much more +complete, community-supported list of papers related to program repair +generally, including papers that build upon or compare to GenProg. + +This page is sorted topically: + + Claire Le Goues, Neal Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar Devanbu, Stephanie Forrest, Westley Weimer: The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs. IEEE Transactions on Software diff --git a/docs/videos.md b/docs/videos.md new file mode 100644 index 00000000..de348929 --- /dev/null +++ b/docs/videos.md @@ -0,0 +1,37 @@ +--- +layout: page +title: "Videos" +description: "Videos and demonstrations" +--- + + +https://www.youtube.com/watch?v=sRkfMe0_5cA&index=4&list=PLGRqfvsPiRShwIXMA5P3WR_9LgBOAdvw4&t=1s + +Info: http://pwlconf.org/claire-legoues/ +Slides: http://bit.ly/2d13UGY +Transcription: http://bit.ly/2diQXWP + + +

This Summer 2012 teaser video highlights GenProg repairing +55 out of 105 bugs for $8 each:

+ +
+ + +
+ +

This Summer 2012 teaser video highlights a human study of +GenProg patch maintainability:

+
+ +
+ +

This December 2011 video demonstrates GenProg running +on a smartphone embedded devices and discusses the associated challenges:

+ +
+ +
+