Laure Thompson

Cornell University

237 Gates Hall

laurejt [at] cs [dot] cornell [dot] edu

I am a PhD student in Computer Science at Cornell University. My research interests are in the areas of natural language processing and digital humanities.

My advisor is David Mimno. I develop NLP tools for the digital humanities, with a particular emphasis on classics and classical archaeology. Currently, I am working on masking unsupervised NLP models to known structure.

I am a recipient of a NSF Graduate Research Fellowship and Cornell University Fellowship.

Publications

The Strange Geometry of Skip-Gram with Negative Sampling.
David Mimno and Laure Thompson.
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2017.
[pdf]

Qunatifying the Effects of Text Duplicatin on Semantic Models.
Alexandra Schofield, Laure Thompson, and David Mimno.
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2017.
[pdf]

Vale: Verifying High-Performance Crytographic Assembly Code.
Barry Bond, Chris Hawblitzel, Manos Kapritsos, Rustan Leino, Jay Lorch, Bryan Parno,
Ashay Rane, Srinath Setty, and Laure Thompson.
USENIX Security Symposium, 2017. Distinguished Paper Award.
[pdf]

A Coalgebraic Decision Procedure for NetKAT.
Nate Foster, Dexter Kozen, Matthew Milano, Alexandra Silva, and Laure Thompson.
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2015.
[pdf]

Talks

Measuring Oracular Authenticity: Distinguishing the Historical from the Legendary in the Oracles of Delphi.
LAWDNY Digital Antiquity Workshop 2016 at ISAW.

A Coalgebraic Decision Procedure for NetKAT.
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2015.

Teaching Assistantships

Cornell University

Text Mining for History and Literature (INFO 3350 / INFO 6350): Fall 2017, instructor: David Mimno

System Security (CS 5430): Spring 2015, instructor: Michael Clarkson

University of Washington

Introduction to Compiler Construction (CSE401): Winter 2013, instructor: Michael Ringenburg

Software Design and Implementation (CSE331): Winter 2012, instructor: Hal Perkins

Last updated August 2017.

I stole this page from Franzi Roesner.