[www-pubs] r213666 - Added the paper "Proving Termination and Memory Safety for Programs with

[John Criswell]

Dear All,

I'd appreciate a five second post-commit review.

Thanks in advance,

John Criswell

On 7/22/14, 10:53 AM, John Criswell wrote:
> Author: criswell
> Date: Tue Jul 22 10:53:06 2014
> New Revision: 213666
>
> URL: http://llvm.org/viewvc/llvm-project?rev=213666&view=rev
> Log:
> Added the paper "Proving Termination and Memory Safety for Programs with
> Pointer Arithmetic."
>
> 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=213666&r1=213665&r2=213666&view=diff
> ==============================================================================
> --- www-pubs/trunk/pubs.js (original)
> +++ www-pubs/trunk/pubs.js Tue Jul 22 10:53:06 2014
> @@ -2,6 +2,14 @@
>   // the page in the order listed.
>   var PUBS =
>   [
> +  { url: "http://verify.rwth-aachen.de/giesl/papers/IJCAR14-LLVM.pdf",
> +    author: "Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, and Peter Schneider-Kamp",
> +    title: "Proving Termination and Memory Safety for Programs with Pointer Arithmetic",
> +    published: "Proceedings of the Seventh International Joint Conference on Automated Reasoning (IJCAR 2014)",
> +    month: 7,
> +    year: 2014,
> +  },
> +
>     { url: "http://soarlab.org/2014/05/smack-decoupling-source-language-details-from-verifier-implementations",
>       author: "Zvonimir Rakamaric and Michael Emmi",
>       title: "SMACK: Decoupling Source Language Details from Verifier Implementations",
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits