Laure Thompson

Laure Thompson

University of Massachusetts Amherst - Amherst / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1304651
person_outline Laure Thompson's MOST POPULAR ARTICLES
1-) Vale: Verifying High-Performance Cryptographic Assembly CodeB Bond, C Hawblitzel, M Kapritsos, KRM Leino, JR Lorch, B Parno, ...26th USENIX Security Symposium (USENIX Security 17), 917-934, 20171462017
2-) The strange geometry of skip-gram with negative samplingD Mimno, L ThompsonProceedings of the 2017 Conference on Empirical Methods in Natural Language …, 20171152017
3-) A coalgebraic decision procedure for NetKATN Foster, D Kozen, M Milano, A Silva, L ThompsonProceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 20151142015
4-) Everest: Towards a verified, drop-in replacement of HTTPSK Bhargavan, B Bond, A Delignat-Lavaud, C Fournet, C Hawblitzel, ...2nd Summit on Advances in Programming Languages, 2017962017
5-) Understanding Text Pre-Processing for Latent Dirichlet AllocationA Schofield, M Magnusson, L Thompson, D MimnoWiNLP, 2017882017