[www-pubs] r211387 - Added papers on Revgen, S2E, and SecondWrite (all of which use LLVM).

[John Criswell]

Dear All,

I'm probably being a bit pedantic, but could someone please review the 
following commits to pubs.js:

r211387
r211365
r211364
r210341
r209535
r205239

Thanks in advance,

John Criswell


On 6/20/14, 1:36 PM, John Criswell wrote:
> Author: criswell
> Date: Fri Jun 20 13:36:50 2014
> New Revision: 211387
>
> URL: http://llvm.org/viewvc/llvm-project?rev=211387&view=rev
> Log:
> Added papers on Revgen, S2E, and SecondWrite (all of which use LLVM).
>
> Modified:
>      www-pubs/trunk/pubs.js
>
> Modified: www-pubs/trunk/pubs.js
> URL: http://llvm.org/viewvc/llvm-project/www-pubs/trunk/pubs.js?rev=211387&r1=211386&r2=211387&view=diff
> ==============================================================================
> --- www-pubs/trunk/pubs.js (original)
> +++ www-pubs/trunk/pubs.js Fri Jun 20 13:36:50 2014
> @@ -90,6 +90,14 @@ var PUBS =
>       year: 2013,
>     },
>   
> +  { url: "http://dl.acm.org/citation.cfm?id=2465380",
> +    author: "Kapil Anand, Matthew Smithson, Khaled Elwazeer, Aparna Kotha, Jim Gruen, Nathan Giles, and Rajeev Barua",
> +    title: "A Compiler-Level Intermediate Representation Based Binary Analysis and Rewriting System",
> +    published: "Proceedings of the Eighth ACM European Conference on Computer Systems (Eurosys 2013)",
> +    month: 4,
> +    year: 2013,
> +  },
> +
>     { url: "http://dl.acm.org/citation.cfm?id=2451131",
>       author: "Swarup Kumar Sahoo, John Criswell, Chase Geigle, and Vikram Adve",
>       title: "Using Likely Invariants for Automated Software Fault Localization",
> @@ -307,6 +315,14 @@ var PUBS =
>       year: 2011,
>     },
>   
> +  { url: "http://dslab.epfl.ch/pubs/revgen.pdf",
> +    author: "Vitaly Chipounov and George Candea",
> +    title: "Enabling Sophisticated Analysis of x86 Binaries with RevGen",
> +    published: "Seventh Workshop on Hot Topics in System Dependability (HotDep)",
> +    month: 6,
> +    year: 2011,
> +  },
> +
>     { url: "http://llvm-md.org/pldi.pdf",
>       author: "Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett",
>       title: "Evaluating Value-Graph Translation Validation for LLVM",
> @@ -372,6 +388,14 @@ var PUBS =
>       year: 2011,
>     },
>   
> +  { url: "http://dslab.epfl.ch/pubs/s2e.pdf",
> +    author: "Vitaly Chipounov, Volodymyr Kuznetsov, and George Candea",
> +    title: "S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems",
> +    published: "Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011)",
> +    month: 3,
> +    year: 2011,
> +  },
> +
>     { url: "http://dx.doi.org/10.1002/spe.1059",
>       author: "James Stanier and Des Watson",
>       title: "A study of irreducibility in C programs",
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits