Paul Raff

Publication Activity (10 Years)

Years Active: 2005-2018
Publications (10 Years): 3

Top Topics

Test Data Generation

Embedded Software

Anatomical Structures

Top Venues

Publications

Somit Gupta, Lucy Ulanova, Sumit Bhardwaj, Pavel A. Dmitriev, Paul Raff, Aleksander Fabijan
The Anatomy of a Large-Scale Experimentation Platform. ICSA (2018)
Alex Deng, Pavel A. Dmitriev, Somit Gupta, Ron Kohavi, Paul Raff, Lukas Vermeer
A/B Testing at Scale: Accelerating Software Innovation. SIGIR (2017)
Paul Raff, Ze Jin
The difference-of-datasets framework: A statistical method to discover insight. IEEE BigData (2016)
Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff
A formally verified proof of the prime number theorem. ACM Trans. Comput. Log. 9 (1) (2007)
Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff
A formally verified proof of the prime number theorem CoRR (2005)