BibTeX records: Paul Govereau

• > Home > Persons > Paul Govereau

@inproceedings{DBLP:conf/pldi/TristanGM11,
  author       = {Jean{-}Baptiste Tristan and
                  Paul Govereau and
                  Greg Morrisett},
  editor       = {Mary W. Hall and
                  David A. Padua},
  title        = {Evaluating value-graph translation validation for {LLVM}},
  booktitle    = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
                  June 4-8, 2011},
  pages        = {295--305},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1993498.1993533},
  doi          = {10.1145/1993498.1993533},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/TristanGM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/NanevskiGM09,
  author       = {Aleksandar Nanevski and
                  Paul Govereau and
                  Greg Morrisett},
  editor       = {Andrew Kennedy and
                  Amal Ahmed},
  title        = {Towards type-theoretic semantics for transactional concurrency},
  booktitle    = {Proceedings of TLDI'09: 2009 {ACM} {SIGPLAN} International Workshop
                  on Types in Languages Design and Implementation, Savannah, GA, USA,
                  January 24, 2009},
  pages        = {79--90},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481861.1481872},
  doi          = {10.1145/1481861.1481872},
  timestamp    = {Tue, 05 Jul 2022 08:30:25 +0200},
  biburl       = {https://dblp.org/rec/conf/tldi/NanevskiGM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/NanevskiMSGB08,
  author       = {Aleksandar Nanevski and
                  Greg Morrisett and
                  Avraham Shinnar and
                  Paul Govereau and
                  Lars Birkedal},
  editor       = {James Hook and
                  Peter Thiemann},
  title        = {Ynot: dependent types for imperative programs},
  booktitle    = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
                  Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
                  20-28, 2008},
  pages        = {229--240},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1411204.1411237},
  doi          = {10.1145/1411204.1411237},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/NanevskiMSGB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/RamseyFG05,
  author       = {Norman Ramsey and
                  Kathleen Fisher and
                  Paul Govereau},
  editor       = {Olivier Danvy and
                  Benjamin C. Pierce},
  title        = {An expressive language of signatures},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
                  2005},
  pages        = {27--40},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1086365.1086371},
  doi          = {10.1145/1086365.1086371},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/RamseyFG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}