A formally verified proof of the prime number theorem. - Jeremy Avigad; Kevin Donnelly; David Gray; Paul Raff (ACM Trans. Comput. Log., 2007)

The difference-of-datasets framework: A statistical method to discover insight. - Paul Raff; Ze Jin (IEEE BigData, 2016)

A/B Testing at Scale: Accelerating Software Innovation. - Alex Deng; Pavel A. Dmitriev; Somit Gupta; Ron Kohavi; Paul Raff; Lukas Vermeer (SIGIR, 2017)

The Anatomy of a Large-Scale Experimentation Platform. - Somit Gupta; Lucy Ulanova; Sumit Bhardwaj; Pavel A. Dmitriev; Paul Raff; Aleksander Fabijan (ICSA, 2018)