[PPL-devel] [GIT] ppl/ppl(master): Reference added.

[Patricia Hill]

Module: ppl/ppl
Branch: master
Commit: 50a8c521d0fd13b0bb4f09d0a670e4e2d79ee2a7
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50a8c521d0fd13b0bb4f09d0a670e4e2d79ee2a7

Author: Patricia Hill <patricia.hill at bugseng.com>
Date:   Sat Jan  4 07:09:46 2014 +0000

Reference added.

---

 doc/ppl_citations.bib |   27 ++++++++++++++++++++++++++-
 1 files changed, 26 insertions(+), 1 deletions(-)

diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib
index 4293763..995ce7a 100644
--- a/doc/ppl_citations.bib
+++ b/doc/ppl_citations.bib
@@ -3064,7 +3064,7 @@ Summarizing:
               been made available online for demonstration."
 }
 
- at Inproceedings{HenryMM12,
+ at Inproceedings{HenryMM12a,
   Author = "J. Henry and D. Monniaux and M. Moy",
   Title = "Succinct Representations for Abstract Interpretation",
   Booktitle = "Static Analysis:
@@ -3098,6 +3098,31 @@ Summarizing:
               ones, on a variety of open-source packages."
 }
 
+ at Article{HenryMM12b,
+  Author = "J. Henry and D. Monniaux and M. Moy",
+  Title = "{PAGAI}: a path sensitive static analyzer",
+  Journal = "Electronic Notes in Theoretical Computer Science",
+  Publisher = "Elsevier Science Publishers B.V. Amsterdam, The Netherlands",
+  Volume = 289,
+  Year = 2012,
+  ISSN = "1571-0661",
+  Pages = "15--25",
+  Abstract = "We describe the design and the implementation of PAGAI,
+              a new static analyzer working over the LLVM compiler
+              infrastructure, which computes inductive invariants on
+              the numerical variables of the analyzed program. PAGAI
+              implements various state-of-the-art algorithms combining
+              abstract interpretation and decision procedures
+              (SMT-solving), focusing on distinction of paths inside
+              the control flow graph while avoiding systematic
+              exponential enumerations. It is parametric in the
+              abstract domain in use, the iteration algorithm, and the
+              decision procedure. We compared the time and precision
+              of various combinations of analysis algorithms and
+              abstract domains, with extensive experiments both on
+              personal benchmarks and widely available GNU programs."
+}
+
 @Inproceedings{HoweK12,
   Author = "J. M. Howe and A. King",
   Title = "Polyhedral Analysis Using Parametric Objectives",