\bibitem{Cousot-CMACS-2009-10-31}
P.~Cousot.
\newblock Scaling up in static analysis by abstract interpretation.
\newblock \emph{CMACS Kickoff Meeting}, Carnegie Mellon, Pittsburgh, PA, USA.
          October 31${^\mathrm{st}}$ 2009.

@inProceedings{Cousot-CMACS-2009-10-31
   author =    {P{.} Cousot},
   title =     {Scaling up in static analysis by abstract interpretation},
   booktitle = {CMACS Kickoff Meeting},
   address =   {Carnegie Mellon, Pittsburgh, PA, USA},
   month =     {31 October},
   year =      {2009},
}