[www-pubs] r213666 - Added the paper "Proving Termination and Memory Safety for Programs with
John Criswell
criswell at uiuc.edu
Tue Jul 22 08:53:06 PDT 2014
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",
More information about the llvm-commits
mailing list