BibTeX records: Laure Thompson

download as .bib file

@inproceedings{DBLP:conf/coling/ThompsonM18,
  author    = {Laure Thompson and
               David Mimno},
  title     = {Authorless Topic Models: Biasing Models Away from Known Structure},
  booktitle = {Proceedings of the 27th International Conference on Computational
               Linguistics, {COLING} 2018, Santa Fe, New Mexico, USA, August 20-26,
               2018},
  pages     = {3903--3914},
  year      = {2018},
  crossref  = {DBLP:conf/coling/2018},
  url       = {https://aclanthology.info/papers/C18-1329/c18-1329},
  timestamp = {Wed, 15 Aug 2018 11:10:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coling/ThompsonM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/SchofieldTM17,
  author    = {Alexandra Schofield and
               Laure Thompson and
               David M. Mimno},
  title     = {Quantifying the Effects of Text Duplication on Semantic Models},
  booktitle = {Proceedings of the 2017 Conference on Empirical Methods in Natural
               Language Processing, {EMNLP} 2017, Copenhagen, Denmark, September
               9-11, 2017},
  pages     = {2737--2747},
  year      = {2017},
  crossref  = {DBLP:conf/emnlp/2017},
  url       = {https://aclanthology.info/papers/D17-1290/d17-1290},
  timestamp = {Tue, 30 Jan 2018 13:42:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/emnlp/SchofieldTM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/MimnoT17,
  author    = {David M. Mimno and
               Laure Thompson},
  title     = {The strange geometry of skip-gram with negative sampling},
  booktitle = {Proceedings of the 2017 Conference on Empirical Methods in Natural
               Language Processing, {EMNLP} 2017, Copenhagen, Denmark, September
               9-11, 2017},
  pages     = {2873--2878},
  year      = {2017},
  crossref  = {DBLP:conf/emnlp/2017},
  url       = {https://aclanthology.info/papers/D17-1308/d17-1308},
  timestamp = {Tue, 30 Jan 2018 13:42:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/emnlp/MimnoT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/BhargavanBDFHHI17,
  author    = {Karthikeyan Bhargavan and
               Barry Bond and
               Antoine Delignat{-}Lavaud and
               C{\'{e}}dric Fournet and
               Chris Hawblitzel and
               Catalin Hritcu and
               Samin Ishtiaq and
               Markulf Kohlweiss and
               Rustan Leino and
               Jay R. Lorch and
               Kenji Maillard and
               Jianyang Pan and
               Bryan Parno and
               Jonathan Protzenko and
               Tahina Ramananandro and
               Ashay Rane and
               Aseem Rastogi and
               Nikhil Swamy and
               Laure Thompson and
               Peng Wang and
               Santiago Zanella B{\'{e}}guelin and
               Jean Karim Zinzindohoue},
  title     = {Everest: Towards a Verified, Drop-in Replacement of {HTTPS}},
  booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
               7-10, 2017, Asilomar, CA, {USA}},
  pages     = {1:1--1:12},
  year      = {2017},
  crossref  = {DBLP:conf/snapl/2017},
  url       = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.1},
  doi       = {10.4230/LIPIcs.SNAPL.2017.1},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/snapl/BhargavanBDFHHI17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/BondHKLLPRST17,
  author    = {Barry Bond and
               Chris Hawblitzel and
               Manos Kapritsos and
               K. Rustan M. Leino and
               Jacob R. Lorch and
               Bryan Parno and
               Ashay Rane and
               Srinath T. V. Setty and
               Laure Thompson},
  title     = {Vale: Verifying High-Performance Cryptographic Assembly Code},
  booktitle = {26th {USENIX} Security Symposium, {USENIX} Security 2017, Vancouver,
               BC, Canada, August 16-18, 2017.},
  pages     = {917--934},
  year      = {2017},
  crossref  = {DBLP:conf/uss/2017},
  url       = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond},
  timestamp = {Fri, 01 Sep 2017 12:24:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/BondHKLLPRST17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FosterKM0T15,
  author    = {Nate Foster and
               Dexter Kozen and
               Matthew Milano and
               Alexandra Silva and
               Laure Thompson},
  title     = {A Coalgebraic Decision Procedure for NetKAT},
  booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  pages     = {343--355},
  year      = {2015},
  crossref  = {DBLP:conf/popl/2015},
  url       = {https://doi.org/10.1145/2676726.2677011},
  doi       = {10.1145/2676726.2677011},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/FosterKM0T15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coling/2018,
  editor    = {Emily M. Bender and
               Leon Derczynski and
               Pierre Isabelle},
  title     = {Proceedings of the 27th International Conference on Computational
               Linguistics, {COLING} 2018, Santa Fe, New Mexico, USA, August 20-26,
               2018},
  publisher = {Association for Computational Linguistics},
  year      = {2018},
  url       = {https://aclanthology.info/volumes/proceedings-of-the-27th-international-conference-on-computational-linguistics},
  isbn      = {978-1-948087-50-6},
  timestamp = {Wed, 15 Aug 2018 11:10:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coling/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emnlp/2017,
  editor    = {Martha Palmer and
               Rebecca Hwa and
               Sebastian Riedel},
  title     = {Proceedings of the 2017 Conference on Empirical Methods in Natural
               Language Processing, {EMNLP} 2017, Copenhagen, Denmark, September
               9-11, 2017},
  publisher = {Association for Computational Linguistics},
  year      = {2017},
  url       = {https://aclanthology.info/volumes/proceedings-of-the-2017-conference-on-empirical-methods-in-natural-language-processing},
  isbn      = {978-1-945626-83-8},
  timestamp = {Tue, 30 Jan 2018 13:42:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/emnlp/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snapl/2017,
  editor    = {Benjamin S. Lerner and
               Rastislav Bod{\'{\i}}k and
               Shriram Krishnamurthi},
  title     = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
               7-10, 2017, Asilomar, CA, {USA}},
  series    = {LIPIcs},
  volume    = {71},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-032-3},
  isbn      = {978-3-95977-032-3},
  timestamp = {Mon, 29 May 2017 16:05:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/snapl/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uss/2017,
  editor    = {Engin Kirda and
               Thomas Ristenpart},
  title     = {26th {USENIX} Security Symposium, {USENIX} Security 2017, Vancouver,
               BC, Canada, August 16-18, 2017},
  publisher = {{USENIX} Association},
  year      = {2017},
  url       = {https://www.usenix.org/conference/usenixsecurity17},
  timestamp = {Fri, 01 Sep 2017 12:24:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2015,
  editor    = {Sriram K. Rajamani and
               David Walker},
  title     = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2676726},
  isbn      = {978-1-4503-3300-9},
  timestamp = {Sat, 20 Dec 2014 16:56:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier