Module: ppl/ppl Branch: master Commit: 753472710977408c9937bf2951901b330840c13e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7534727109774...
Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Dec 29 12:04:28 2013 +0100
Added Fu14b.
---
doc/ppl_citations.bib | 29 ++++++++++++++++++++++++++++- 1 files changed, 28 insertions(+), 1 deletions(-)
diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 4e47958..3bbf21c 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -2233,7 +2233,7 @@ Summarizing: system benchmark from the literature." }
-@Inproceedings{Fu14, +@Inproceedings{Fu14a, Author = "Z. Fu", Title = "Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java", Booktitle = "Verification, Model Checking, and Abstract Interpretation: @@ -2242,6 +2242,7 @@ Summarizing: Editor = "K. McMillan and X. Rival", Publisher = "Springer-Verlag, Berlin", Year = 2014, + Note = "To appear", Abstract = "This paper contributes to a new abstract domain that combines static numeric analysis and points-to analysis. One particularity of this abstract domain lies @@ -2258,6 +2259,32 @@ Summarizing: separately." }
+@Inproceedings{Fu14b, + Author = "Z. Fu", + Title = "Targeted Update -- Aggressive Memory Abstraction Beyond Common + Sense and its Application on Static Numeric Analysis", + Booktitle = "Proceedings of the 23rd European Symposium on Programming + (ESOP'14)", + Address = "Grenoble, France", + Editor = "Z. Shao", + Publisher = "Springer-Verlag, Berlin", + Year = 2014, + Note = "To appear", + Abstract = "Summarizing techniques are widely used in the reasoning + of unbounded data structures. These techniques prohibit + strong update unless certain restricted safety + conditions are satisfied. We find that by setting and + enforcing the analysis boundaries to a limited scope of + program identifiers, called targets in this paper, more + cases of strong update can be shown sound, not with + regard to the entire heap, but with regard to the + targets. We have implemented the analysis for inferring + numeric properties in Java programs. The experimental + results show a tangible precision enhancement compared + with classical approaches while preserving high + scalability." +} + @Article{GallardoP13, Author = "M.-d.-M. Gallardo and L. Panizo", Title = "Extending Model Checkers for Hybrid System Verification: