Demo Data from EDBT 2026 / reviewers in the wild / expert
Laure Thompson
dblp:155/8149
· DBLP profile ↗
7ranked-venue papers
1as first author
2since 2021 · last 2022
0000-0001-5752-054XORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 5 · 1 first-author · 2 since 2021Security and privacy · 1Software engineering, systems software and programming languages · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
3 papers |
Representation and self-supervised learning · 74% Information extraction and text analysis · 26% | |
| Network and information security
1 paper |
Cryptographic primitives and cryptanalysis · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Program verification · 100% | |
| Computer networks
1 paper |
Network management and operations · 100% | |
| Theoretical computer science
1 paper |
Logic in computer science · 100% |
Topics — the 8 heaviest of 10, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Natural language and speech › Information extraction and text analysis
topic model |
0.6 | 2 | 2021 | Phrase-BERT: Improved Phrase Embeddings from BERT with an Application to Corpus Exploration · EMNLP (1) 2021 Quantifying the Effects of Text Duplication on Semantic Models · EMNLP 2017 |
Machine learning › Representation and self-supervised learning › word representation
word embedding |
0.6 | 2 | 2017 | Quantifying the Effects of Text Duplication on Semantic Models · EMNLP 2017 The strange geometry of skip-gram with negative sampling · EMNLP 2017 |
Machine learning › Representation and self-supervised learning › text embedding
phrase embedding |
0.5 | 1 | 2021 | Phrase-BERT: Improved Phrase Embeddings from BERT with an Application to Corpus Exploration · EMNLP (1) 2021 |
Machine learning › Representation and self-supervised learning › representation learning › representation geometry
embedding geometry |
0.3 | 1 | 2017 | The strange geometry of skip-gram with negative sampling · EMNLP 2017 |
Machine learning › Representation and self-supervised learning › word representation › word embedding
skip-gram negative sampling |
0.3 | 1 | 2017 | The strange geometry of skip-gram with negative sampling · EMNLP 2017 |
Cryptographic primitives and cryptanalysis › cryptographic implementation
cryptographic implementation verification |
0.3 | 1 | 2017 | Vale: Verifying High-Performance Cryptographic Assembly Code · USENIX Security Symposium 2017 |
Network management and operations
network verification |
0.2 | 1 | 2015 | A Coalgebraic Decision Procedure for NetKAT · POPL 2015 |
Logic in computer science › algebraic logic › kleene algebra
kleene algebra with tests |
0.2 | 1 | 2015 | A Coalgebraic Decision Procedure for NetKAT · POPL 2015 |
Methods — techniques the papers use, named apart from their topics
formal verification · 0.6nearest neighbor search · 0.5contrastive fine-tuning · 0.5autoencoder · 0.5decision procedure · 0.4coalgebra · 0.4negative sampling · 0.3latent semantic analysis · 0.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Modeling Exemplification in Long-form Question Answering via RetrievalabstractShufan Wang, Fangyuan Xu, Laure Thompson, Eunsol Choi, Mohit Iyyer. Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. 2022. Shufan Wang, Laure Thompson, Eunsol Choi, Mohit Iyyer |
NAACL-HLT | 3 |
| 2021 | Phrase-BERT: Improved Phrase Embeddings from BERT with an Application to Corpus ExplorationabstractPhrase representations derived from BERT often do not exhibit complex phrasal compositionality, as the model relies instead on lexical similarity to determine semantic relatedness.In this paper, we propose a contrastive fine-tuning objective that enables BERT to produce more powerful phrase embeddings.Our approach (Phrase-BERT) relies on a dataset of diverse phrasal paraphrases, which is automatically generated using a paraphrase generation model, as well as a large-scale dataset of phrases in context mined from the Books3 corpus.Phrase-BERT outperforms baselines across a variety of phrase-level similarity tasks, while also demonstrating increased lexical diversity between nearest neighbors in the vector space.Finally, as a case study, we show that Phrase-BERT embeddings can be easily integrated with a simple autoencoder to build a phrase-based neural topic model that interprets topics as mixtures of words and phrases by performing a nearest neighbor search in the embedding space.Crowdsourced evaluations demonstrate that this phrase-based topic model produces more coherent and meaningful topics than baseline word and phrase-level topic models, further validating the utility of Phrase-BERT. Shufan Wang, Laure Thompson, Mohit Iyyer |
EMNLP (1) | 2 |
| 2018 | Authorless Topic Models: Biasing Models Away from Known StructureabstractMost previous work in unsupervised semantic modeling in the presence of metadata has assumed that our goal is to make latent dimensions more correlated with metadata, but in practice the exact opposite is often true. Some users want topic models that highlight differences between, for example, authors, but others seek more subtle connections across authors. We introduce three metrics for identifying topics that are highly correlated with metadata, and demonstrate that this problem affects between 30 and 50% of the topics in models trained on two real-world collections, regardless of the size of the model. We find that we can predict which words cause this phenomenon and that by selectively subsampling these words we dramatically reduce topic-metadata correlation, improve topic stability, and maintain or even improve model quality. Laure Thompson, David M. Mimno |
COLING | 1 |
| 2017 | The strange geometry of skip-gram with negative samplingabstractDespite their ubiquity, word embeddings trained with skip-gram negative sampling (SGNS) remain poorly understood.We find that vector positions are not simply determined by semantic similarity, but rather occupy a narrow cone, diametrically opposed to the context vectors.We show that this geometric concentration depends on the ratio of positive to negative examples, and that it is neither theoretically nor empirically inherent in related embedding algorithms. David M. Mimno, Laure Thompson |
EMNLP | 2 |
| 2017 | Quantifying the Effects of Text Duplication on Semantic ModelsabstractDuplicate documents are a pervasive problem in text datasets and can have a strong effect on unsupervised models.Methods to remove duplicate texts are typically heuristic or very expensive, so it is vital to know when and why they are needed.We measure the sensitivity of two latent semantic methods to the presence of different levels of document repetition.By artificially creating different forms of duplicate text we confirm several hypotheses about how repeated text impacts models.While a small amount of duplication is tolerable, substantial over-representation of subsets of the text may overwhelm meaningful topical patterns. Alexandra Schofield, Laure Thompson, David M. Mimno |
EMNLP | 2 |
| 2017 | Vale: Verifying High-Performance Cryptographic Assembly Code
Barry Bond, Chris Hawblitzel, Manos Kapritsos, K. Rustan M. Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath Setty, Laure Thompson |
USENIX Security Symposium | 9 |
| 2015 | A Coalgebraic Decision Procedure for NetKATabstractNetKAT is a domain-specific language and logic for specifying and verifying network packet-processing functions. It consists of Kleene algebra with tests (KAT) augmented with primitives for testing and modifying packet headers and encoding network topologies. Previous work developed the design of the language and its standard semantics, proved the soundness and completeness of the logic, defined a PSPACE algorithm for deciding equivalence, and presented several practical applications. Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva 0001, Laure Thompson |
POPL | 5 |