Joshua Hoke Davis

About me.

I am a senior undergraduate computer science student at the University of Delaware and prospective PhD student for Fall 2021. I plan to graduate with a B.S. in Computer Science as well as a B.A. in Philosophy and minor in Mathematics in May 2021.

Broadly, I am interested in the intersection of high-performance computing with formal methods and programming languages. Computational scientists depend on useful programming abstractions to extract fast, correct performance out of modern supercomputers, which use highly complex underlying computational technologies. I plan to develop improvements to existing programming models, and develop new tools that interact with these models, to tackle challenges in performance portability and correctness in HPC applications.

Currently, I work with the Computational Research and Programming Lab and the Verified Software Lab at UD on projects related to these topics. First and foremost, I am a developer for the SOLLVE OpenMP V&V test suite, part of the Exascale Computing Project (ECP). To see the latest results from the V&V suite, check out our website. My second main project at the moment is automatically formally verifying data structures from The Art of Multiprocessor Programming, using CIVL. The source code for that project can be found here.

My CV is available here.