kunz.bib

@INPROCEEDINGS{Barthe:Gregoire:Kunz:Rezk:sas06,
  author = {G. Barthe and B. Gr{\'e}goire and C. Kunz 
            and T. Rezk},
  title = {Certificate Translation for Optimizing Compilers},
  booktitle = {Proceedings of the 13th International Static Analysis 
               Symposium (SAS)},
  year = {2006},
  publisher = {Springer-Verlag},
  series = {LNCS},
  address = {Seoul, Korea},
  month = {August},
  pdfurl = {http://www-sop.inria.fr/everest/personnel/Cesar.Kunz/publications/certtrans-SAS06.pdf},
  topics = {team}
}

@INPROCEEDINGS{Barthe:Kunz:esop08,
  author = {G. Barthe and C. Kunz},
  title = {Certificate Translation in Abstract Interpretation},
  booktitle = {Proceedings of the 17th European Symposium on Programming (ESOP)},
  year = {2008},
  publisher = {Springer-Verlag},
  series = {LNCS},
  address = {Budapest, Hungary},
  month = {March-April},
  pdfurl = {http://www-sop.inria.fr/everest/personnel/Cesar.Kunz/publications/ESOP08.pdf},
  topics = {team}
}

@INPROCEEDINGS{Barthe:Kunz:foal08,
  author = {G. Barthe and C. Kunz},
  title = {Certificate Translation for Specification-Preserving Advices},
  booktitle = {Proceedings of the Foundations of Aspect-Oriented Languages Workshop (FOAL)},
  year = {2008},
  publisher = {ACM},
  series = {},
  address = {Brussels, Belgium},
  month = {April},
  pdfurl = {http://www-sop.inria.fr/everest/personnel/Cesar.Kunz/publications/FOAL08.pdf},
  topics = {team}
}

This file has been generated by bibtex2html 1.87.