\bibitem{CousotCousotLogozzo-POPL11}
P.~Cousot and R.~Cousot and F.~Logozzo.
\newblock A Parametric Segmentation Functor for Fully Automatic and 
          Scalable Array Content Analysis.
\newblock In \emph{Conference Record of the 38$^{\mathrm{th}}$ Annual ACM
  SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  pages 105--118, Austin, Texas, January 14-16, 2011. ACM Press, New York,
  NY.

@inproceedings{CousotCousotLogozzo-POPL11,
   author =    {P.~Cousot and R.~Cousot and F.~Logozzo},
   title =     {A Parametric Segmentation Functor for Fully Automatic and 
                Scalable Array Content Analysis},
   pages =     {105--118},
   booktitle = {Conference Record of the 38$^{\mathrm{th}}$ Annual ACM 
                SIGPLAN-SIGACT Symposium on Principles of Programming 
                Languages},
   pages =     {105--118},
   address =   {Austin, Texas},
   publisher = {ACM Press, New York},
   month =     jan # " 26-28",
   year =      2011,
}