[PPL-devel] PPL and integer programming

[Roberto Bagnara]

Andy Moser wrote:
> It would be really great if we could get the CVS version of the PPL from
> you!
> 
> We have a paper deadline coming very soon so maybe you could give us a
> snapshot as soon as possible? :) We don't mind if it's not perfect, we
> just want to see if it works with the tool we developed as soon as
> possible.

Dear Andy,

a snapshot of what will become PPL 0.10 is available from

     ftp://ftp.cs.unipr.it/pub/ppl/snapshots

Notice that it is advisable to run a `make check', especially if you use
an old compiler (the PPL code seems to be particularly good at triggering
compiler bugs).  Please, let us know of any anomalies and do not hesitate
to come back to us if you need advice on how to use the MIP_Problem class.
Please, direct all correspondence to ppl-devel at cs.unipr.it.
All the best,

     Roberto

P.S. Concerning the paper and your research on malware detection, we are
      very curious about it.  When the paper is finished, please send us one
      copy.  We also have a web page where we list applications of the PPL:
      is is at http://www.cs.unipr.it/ppl/Applications/
      If you find the PPL useful for your research purposes, we would
      appreciate a citation of the original paper about the library:

@InProceedings{BagnaraRZH02,
   Author = "R. Bagnara and E. Ricci and E. Zaffanella and P. M. Hill",
   Title = "Possibly Not Closed Convex Polyhedra
            and the {Parma Polyhedra Library}",
   Booktitle = "Static Analysis:
                Proceedings of the 9th International Symposium",
   Address = "Madrid, Spain",
   Editor = "M. V. Hermenegildo and G. Puebla",
   Publisher = "Springer-Verlag, Berlin",
   Series = "Lecture Notes in Computer Science",
   Volume = 2477,
   ISBN = "3-540-44235-9",
   Pages = "213--229",
   Year = 2002,
   URL = "http://www.cs.unipr.it/ppl/Documentation/BagnaraRZH02.pdf"
}

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it