Merge branch 'master' of github.com:squaresLab/genprog-code

squaresLab · Jun 4, 2017 · f7917c2 · f7917c2
2 parents fe497d3 + 4cd55ce
commit f7917c2
Show file tree

Hide file tree

Showing 2 changed files with 47 additions and 2 deletions.
diff --git 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
@@ -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
+
+
+<p>This Summer 2012 teaser video highlights GenProg repairing
+55 out of 105 bugs for $8 each: </p> 
+
+<center>
+<iframe width="480" height="360" src="http://www.youtube.com/embed/Z3itydu_rjo?rel=0" frameborder="0" allowfullscreen></iframe>
+
+</center>
+
+<p>This Summer 2012 teaser video highlights a human study of 
+GenProg patch maintainability: </p> 
+<center>
+<iframe width="480" height="360" src="http://www.youtube.com/embed/OlvcDOputnA" frameborder="0" allowfullscreen></iframe>
+</center>
+
+<p>This December 2011 video demonstrates GenProg running
+on a smartphone embedded devices and discusses the associated challenges: </p> 
+
+<center>
+<iframe width="480" height="360"
+src="http://www.youtube.com/embed/95N0Yokm6Bk" frameborder="0"
+allowfullscreen></iframe>
+</center> 
+