Publication "Proving Termination and Memory Safety for Programs with Pointer Arithmetic" at IJCAR 2014

Project Infrastructure LLVM Dev List Archives
1

Dear all,

We have recently published a paper at the International Joint Conference on Automated Reasoning (IJCAR) being held in Vienna, Austria in July 2014 as part of the Vienna Summer of Logic (VSL, http://vsl2014.at/) on fully automated termination and memory-safety analysis of programs involving pointer arithmetic based on LLVM. The title is "Proving Termination and Memory Safety for Programs with Pointer Arithmetic" and the authors are Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, and Peter Schneider-Kamp. You can find the paper at this link:

A preprint is also available at our own website:

We would be happy if you could add this paper to the list of LLVM Related Publications.

Thank you very much,

   Thomas

2

Dear Thomas,

I've added your paper to the Publications page. I used the link to the preprint copy as that one should be available to everyone. If you'd prefer the link to point to the Springer page, please let me know.

Regards,

John Criswell