[PPL-devel] [GIT] ppl/ppl(master): Added Fu14b.
Roberto Bagnara
roberto.bagnara at bugseng.com
Sun Dec 29 12:16:32 CET 2013
Module: ppl/ppl
Branch: master
Commit: 753472710977408c9937bf2951901b330840c13e
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=753472710977408c9937bf2951901b330840c13e
Author: Roberto Bagnara <roberto.bagnara at 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."
}
- at Inproceedings{Fu14,
+ at 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."
}
+ at 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:
More information about the PPL-devel
mailing list